{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:IJJKH7B3QFT4CXMAMYPGZ3OMLO","short_pith_number":"pith:IJJKH7B3","schema_version":"1.0","canonical_sha256":"4252a3fc3b8167c15d80661e6cedcc5b9768cd117d2261fad136092a8bc944f3","source":{"kind":"arxiv","id":"1510.05679","version":3},"attestation_state":"computed","paper":{"title":"Borel Complexity and Potential Canonical Scott Sentences","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Douglas Ulrich, Michael C. Laskowski, Richard Rast","submitted_at":"2015-10-19T20:45:09Z","abstract_excerpt":"We define and investigate HC-forcing invariant formulas of set theory, whose interpretations in the hereditarily countable sets are well behaved under forcing extensions. This leads naturally to a notion of cardinality ||Phi|| for sentences Phi of $L_{\\omega_1,\\omega}$, which counts the number of sentences of $L_{\\infty,\\omega}$ that, in some forcing extension, become a canonical Scott sentence of a model of Phi. We show this cardinal bounds the complexity of (Mod(Phi), iso), the class of models of Phi with universe omega, by proving that (Mod(Phi),iso) is not Borel reducible to (Mod(Psi),iso)"},"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":"1510.05679","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-10-19T20:45:09Z","cross_cats_sorted":[],"title_canon_sha256":"3616bf3d8e37a4e7f40ec90ed447500146c7e410eb593237b82547504d48f1f6","abstract_canon_sha256":"eed59b971973a543576e4fafefd5b80f2307d9b256217cb6c5e5a7b721c7d7c8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:58:55.463432Z","signature_b64":"uSGMMwXsbwc9m2zZoQ7IF00d9JvfMgCHHj2EzrCEbqieL67GmcMDfOCYPZKqRaxbJUV/+mNlmDUoa7UFM5SbAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4252a3fc3b8167c15d80661e6cedcc5b9768cd117d2261fad136092a8bc944f3","last_reissued_at":"2026-05-18T00:58:55.462879Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:58:55.462879Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Borel Complexity and Potential Canonical Scott Sentences","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Douglas Ulrich, Michael C. Laskowski, Richard Rast","submitted_at":"2015-10-19T20:45:09Z","abstract_excerpt":"We define and investigate HC-forcing invariant formulas of set theory, whose interpretations in the hereditarily countable sets are well behaved under forcing extensions. This leads naturally to a notion of cardinality ||Phi|| for sentences Phi of $L_{\\omega_1,\\omega}$, which counts the number of sentences of $L_{\\infty,\\omega}$ that, in some forcing extension, become a canonical Scott sentence of a model of Phi. We show this cardinal bounds the complexity of (Mod(Phi), iso), the class of models of Phi with universe omega, by proving that (Mod(Phi),iso) is not Borel reducible to (Mod(Psi),iso)"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.05679","kind":"arxiv","version":3},"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":"1510.05679","created_at":"2026-05-18T00:58:55.462966+00:00"},{"alias_kind":"arxiv_version","alias_value":"1510.05679v3","created_at":"2026-05-18T00:58:55.462966+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.05679","created_at":"2026-05-18T00:58:55.462966+00:00"},{"alias_kind":"pith_short_12","alias_value":"IJJKH7B3QFT4","created_at":"2026-05-18T12:29:25.134429+00:00"},{"alias_kind":"pith_short_16","alias_value":"IJJKH7B3QFT4CXMA","created_at":"2026-05-18T12:29:25.134429+00:00"},{"alias_kind":"pith_short_8","alias_value":"IJJKH7B3","created_at":"2026-05-18T12:29:25.134429+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/IJJKH7B3QFT4CXMAMYPGZ3OMLO","json":"https://pith.science/pith/IJJKH7B3QFT4CXMAMYPGZ3OMLO.json","graph_json":"https://pith.science/api/pith-number/IJJKH7B3QFT4CXMAMYPGZ3OMLO/graph.json","events_json":"https://pith.science/api/pith-number/IJJKH7B3QFT4CXMAMYPGZ3OMLO/events.json","paper":"https://pith.science/paper/IJJKH7B3"},"agent_actions":{"view_html":"https://pith.science/pith/IJJKH7B3QFT4CXMAMYPGZ3OMLO","download_json":"https://pith.science/pith/IJJKH7B3QFT4CXMAMYPGZ3OMLO.json","view_paper":"https://pith.science/paper/IJJKH7B3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1510.05679&json=true","fetch_graph":"https://pith.science/api/pith-number/IJJKH7B3QFT4CXMAMYPGZ3OMLO/graph.json","fetch_events":"https://pith.science/api/pith-number/IJJKH7B3QFT4CXMAMYPGZ3OMLO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/IJJKH7B3QFT4CXMAMYPGZ3OMLO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/IJJKH7B3QFT4CXMAMYPGZ3OMLO/action/storage_attestation","attest_author":"https://pith.science/pith/IJJKH7B3QFT4CXMAMYPGZ3OMLO/action/author_attestation","sign_citation":"https://pith.science/pith/IJJKH7B3QFT4CXMAMYPGZ3OMLO/action/citation_signature","submit_replication":"https://pith.science/pith/IJJKH7B3QFT4CXMAMYPGZ3OMLO/action/replication_record"}},"created_at":"2026-05-18T00:58:55.462966+00:00","updated_at":"2026-05-18T00:58:55.462966+00:00"}