{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:2VAKB5BKGBSXCKZU5O72D55SA2","short_pith_number":"pith:2VAKB5BK","schema_version":"1.0","canonical_sha256":"d540a0f42a3065712b34ebbfa1f7b206a30b3c16ccb504e5f50855883f06f9bb","source":{"kind":"arxiv","id":"1708.08167","version":2},"attestation_state":"computed","paper":{"title":"Subcomplete forcing principles and definable well-orders","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Gunter Fuchs","submitted_at":"2017-08-28T02:42:56Z","abstract_excerpt":"It is shown that the boldface maximality principle for subcomplete forcing, together with the assumption that the universe has only set-many grounds, implies the existence of a (parameter-free) definable well-ordering of $\\mathcal{P}(\\omega_1)$. The same conclusion follows from the boldface maximality for subcomplete forcing, assuming there is no inner model with an inaccessible limit of measurable cardinals. Similarly, the bounded subcomplete forcing axiom, together with the assumption that $x^\\#$ does not exist, for some $x\\subseteq\\omega_1$, implies the existence of a well-order of $\\mathca"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1708.08167","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-08-28T02:42:56Z","cross_cats_sorted":[],"title_canon_sha256":"6387056866dfd180c351ca4e5152596cee908db7c0af2621fbbe3a2250d5df5e","abstract_canon_sha256":"3cbf6b40d90e1103da0c5bf519f24b15122c675dd70501635425c9a4aacecb41"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:23:23.111298Z","signature_b64":"PkQ5IBb0Mv7LfiUouuaPtPCG2ebGH1PGrsggRXEHzrOaAZo7AQVJWThKXzltEEFOcZaMToA1zphKWED4bjrPDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d540a0f42a3065712b34ebbfa1f7b206a30b3c16ccb504e5f50855883f06f9bb","last_reissued_at":"2026-05-18T00:23:23.110512Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:23:23.110512Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Subcomplete forcing principles and definable well-orders","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Gunter Fuchs","submitted_at":"2017-08-28T02:42:56Z","abstract_excerpt":"It is shown that the boldface maximality principle for subcomplete forcing, together with the assumption that the universe has only set-many grounds, implies the existence of a (parameter-free) definable well-ordering of $\\mathcal{P}(\\omega_1)$. The same conclusion follows from the boldface maximality for subcomplete forcing, assuming there is no inner model with an inaccessible limit of measurable cardinals. Similarly, the bounded subcomplete forcing axiom, together with the assumption that $x^\\#$ does not exist, for some $x\\subseteq\\omega_1$, implies the existence of a well-order of $\\mathca"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.08167","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1708.08167","created_at":"2026-05-18T00:23:23.110637+00:00"},{"alias_kind":"arxiv_version","alias_value":"1708.08167v2","created_at":"2026-05-18T00:23:23.110637+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.08167","created_at":"2026-05-18T00:23:23.110637+00:00"},{"alias_kind":"pith_short_12","alias_value":"2VAKB5BKGBSX","created_at":"2026-05-18T12:30:55.937587+00:00"},{"alias_kind":"pith_short_16","alias_value":"2VAKB5BKGBSXCKZU","created_at":"2026-05-18T12:30:55.937587+00:00"},{"alias_kind":"pith_short_8","alias_value":"2VAKB5BK","created_at":"2026-05-18T12:30:55.937587+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/2VAKB5BKGBSXCKZU5O72D55SA2","json":"https://pith.science/pith/2VAKB5BKGBSXCKZU5O72D55SA2.json","graph_json":"https://pith.science/api/pith-number/2VAKB5BKGBSXCKZU5O72D55SA2/graph.json","events_json":"https://pith.science/api/pith-number/2VAKB5BKGBSXCKZU5O72D55SA2/events.json","paper":"https://pith.science/paper/2VAKB5BK"},"agent_actions":{"view_html":"https://pith.science/pith/2VAKB5BKGBSXCKZU5O72D55SA2","download_json":"https://pith.science/pith/2VAKB5BKGBSXCKZU5O72D55SA2.json","view_paper":"https://pith.science/paper/2VAKB5BK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1708.08167&json=true","fetch_graph":"https://pith.science/api/pith-number/2VAKB5BKGBSXCKZU5O72D55SA2/graph.json","fetch_events":"https://pith.science/api/pith-number/2VAKB5BKGBSXCKZU5O72D55SA2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2VAKB5BKGBSXCKZU5O72D55SA2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2VAKB5BKGBSXCKZU5O72D55SA2/action/storage_attestation","attest_author":"https://pith.science/pith/2VAKB5BKGBSXCKZU5O72D55SA2/action/author_attestation","sign_citation":"https://pith.science/pith/2VAKB5BKGBSXCKZU5O72D55SA2/action/citation_signature","submit_replication":"https://pith.science/pith/2VAKB5BKGBSXCKZU5O72D55SA2/action/replication_record"}},"created_at":"2026-05-18T00:23:23.110637+00:00","updated_at":"2026-05-18T00:23:23.110637+00:00"}