{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:O4BLM4LL7ZH2JHQWU6DB43ZRD4","short_pith_number":"pith:O4BLM4LL","schema_version":"1.0","canonical_sha256":"7702b6716bfe4fa49e16a7861e6f311f19aa4f6e612ff3a03332e7e6d2d7db25","source":{"kind":"arxiv","id":"1207.5841","version":1},"attestation_state":"computed","paper":{"title":"Structural connections between a forcing class and its modal logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Benedikt L\\\"owe, George Leibman, Joel David Hamkins","submitted_at":"2012-07-24T22:30:08Z","abstract_excerpt":"The modal logic of forcing arises when one considers a model of set theory in the context of all its forcing extensions, interpreting necessity as \"in all forcing extensions\" and possibility as \"in some forcing extension\". In this modal language one may easily express sweeping general forcing principles, such as the assertion that every possibly necessary statement is necessarily possible, which is valid for forcing, or the assertion that every possibly necessary statement is true, which is the maximality principle, a forcing axiom independent of but equiconsistent with ZFC (Stavi-V\\\"a\\\"an\\\"an"},"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":"1207.5841","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-07-24T22:30:08Z","cross_cats_sorted":[],"title_canon_sha256":"583f3b38d00102c119a268f6f3478e34543ba365fcdd5370a6f7a40737eac580","abstract_canon_sha256":"a5db713948260d8e6cb01c207efcf178b8850cea66929dd12ac6eb00772318a0"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:50:10.171797Z","signature_b64":"Q3ExBvNi5ttyXD/7MH66AVUec0gui4FHr1ElwLJ0SZ7V22aPjP0dAHxtj/J0cSG0axe/xv+fk25jcTBfsq6EBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7702b6716bfe4fa49e16a7861e6f311f19aa4f6e612ff3a03332e7e6d2d7db25","last_reissued_at":"2026-05-18T03:50:10.171062Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:50:10.171062Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Structural connections between a forcing class and its modal logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Benedikt L\\\"owe, George Leibman, Joel David Hamkins","submitted_at":"2012-07-24T22:30:08Z","abstract_excerpt":"The modal logic of forcing arises when one considers a model of set theory in the context of all its forcing extensions, interpreting necessity as \"in all forcing extensions\" and possibility as \"in some forcing extension\". In this modal language one may easily express sweeping general forcing principles, such as the assertion that every possibly necessary statement is necessarily possible, which is valid for forcing, or the assertion that every possibly necessary statement is true, which is the maximality principle, a forcing axiom independent of but equiconsistent with ZFC (Stavi-V\\\"a\\\"an\\\"an"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.5841","kind":"arxiv","version":1},"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":"1207.5841","created_at":"2026-05-18T03:50:10.171159+00:00"},{"alias_kind":"arxiv_version","alias_value":"1207.5841v1","created_at":"2026-05-18T03:50:10.171159+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.5841","created_at":"2026-05-18T03:50:10.171159+00:00"},{"alias_kind":"pith_short_12","alias_value":"O4BLM4LL7ZH2","created_at":"2026-05-18T12:27:16.716162+00:00"},{"alias_kind":"pith_short_16","alias_value":"O4BLM4LL7ZH2JHQW","created_at":"2026-05-18T12:27:16.716162+00:00"},{"alias_kind":"pith_short_8","alias_value":"O4BLM4LL","created_at":"2026-05-18T12:27:16.716162+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/O4BLM4LL7ZH2JHQWU6DB43ZRD4","json":"https://pith.science/pith/O4BLM4LL7ZH2JHQWU6DB43ZRD4.json","graph_json":"https://pith.science/api/pith-number/O4BLM4LL7ZH2JHQWU6DB43ZRD4/graph.json","events_json":"https://pith.science/api/pith-number/O4BLM4LL7ZH2JHQWU6DB43ZRD4/events.json","paper":"https://pith.science/paper/O4BLM4LL"},"agent_actions":{"view_html":"https://pith.science/pith/O4BLM4LL7ZH2JHQWU6DB43ZRD4","download_json":"https://pith.science/pith/O4BLM4LL7ZH2JHQWU6DB43ZRD4.json","view_paper":"https://pith.science/paper/O4BLM4LL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1207.5841&json=true","fetch_graph":"https://pith.science/api/pith-number/O4BLM4LL7ZH2JHQWU6DB43ZRD4/graph.json","fetch_events":"https://pith.science/api/pith-number/O4BLM4LL7ZH2JHQWU6DB43ZRD4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/O4BLM4LL7ZH2JHQWU6DB43ZRD4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/O4BLM4LL7ZH2JHQWU6DB43ZRD4/action/storage_attestation","attest_author":"https://pith.science/pith/O4BLM4LL7ZH2JHQWU6DB43ZRD4/action/author_attestation","sign_citation":"https://pith.science/pith/O4BLM4LL7ZH2JHQWU6DB43ZRD4/action/citation_signature","submit_replication":"https://pith.science/pith/O4BLM4LL7ZH2JHQWU6DB43ZRD4/action/replication_record"}},"created_at":"2026-05-18T03:50:10.171159+00:00","updated_at":"2026-05-18T03:50:10.171159+00:00"}