{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:XWINTFWX5Q7BFKZAZIJ4YV75MQ","short_pith_number":"pith:XWINTFWX","canonical_record":{"source":{"id":"1510.01977","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-10-07T15:03:04Z","cross_cats_sorted":[],"title_canon_sha256":"d9c3c7626a890c0ea3ffed85a5121506c381cade4300f9712e6d4dec1a3401c9","abstract_canon_sha256":"2f9070c253660ef4b684de44b44c9cf360b0caea35f067edeb9b0ace3c79aa2e"},"schema_version":"1.0"},"canonical_sha256":"bd90d996d7ec3e12ab20ca13cc57fd643136c249adeeed9a785526e50e176cbb","source":{"kind":"arxiv","id":"1510.01977","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.01977","created_at":"2026-05-18T01:17:18Z"},{"alias_kind":"arxiv_version","alias_value":"1510.01977v4","created_at":"2026-05-18T01:17:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.01977","created_at":"2026-05-18T01:17:18Z"},{"alias_kind":"pith_short_12","alias_value":"XWINTFWX5Q7B","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"XWINTFWX5Q7BFKZA","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"XWINTFWX","created_at":"2026-05-18T12:29:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:XWINTFWX5Q7BFKZAZIJ4YV75MQ","target":"record","payload":{"canonical_record":{"source":{"id":"1510.01977","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-10-07T15:03:04Z","cross_cats_sorted":[],"title_canon_sha256":"d9c3c7626a890c0ea3ffed85a5121506c381cade4300f9712e6d4dec1a3401c9","abstract_canon_sha256":"2f9070c253660ef4b684de44b44c9cf360b0caea35f067edeb9b0ace3c79aa2e"},"schema_version":"1.0"},"canonical_sha256":"bd90d996d7ec3e12ab20ca13cc57fd643136c249adeeed9a785526e50e176cbb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:17:18.640833Z","signature_b64":"0w00QeVR01JEQ5ynLAIPd0NU7Jc8MUMthShVM7vI0UvVm5F344QnrrXpCZpy45EYoBgKip3aemoFTou7ny4BCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bd90d996d7ec3e12ab20ca13cc57fd643136c249adeeed9a785526e50e176cbb","last_reissued_at":"2026-05-18T01:17:18.640353Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:17:18.640353Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1510.01977","source_version":4,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:17:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fXKf0g2BY5al7HzgaVpepa4CK45EkDITzK0sIGYQ4H8KUgPG4jzsjZWsW9M4V5YZuW6epQ6mjgQUR+mTI73EBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T01:21:55.939938Z"},"content_sha256":"6a1f13a892023c3743387e4364cd16ba1c1d59612028aa2f84776b125a1252b6","schema_version":"1.0","event_id":"sha256:6a1f13a892023c3743387e4364cd16ba1c1d59612028aa2f84776b125a1252b6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:XWINTFWX5Q7BFKZAZIJ4YV75MQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Realizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Benjamin G. Rin, Sean Walsh","submitted_at":"2015-10-07T15:03:04Z","abstract_excerpt":"A semantics for quantified modal logic is presented that is based on Kleene's notion of realizability. This semantics generalizes Flagg's 1985 construction of a model of a modal version of Church's Thesis and first-order arithmetic. While the bulk of the paper is devoted to developing the details of the semantics, to illustrate the scope of this approach, we show that the construction produces (i) a model of a modal version of Church's Thesis and a variant of a modal set theory due to Goodman and Scedrov, (ii) a model of a modal version of Troelstra's generalized continuity principle together "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.01977","kind":"arxiv","version":4},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:17:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"X21GG+9QWg7uLM7UzuwZ7WVs3hIc0fwR86UujlHxATFTHyQJ6o82ax9GtTXOtQT7MaGhzP9orbnrKQiz/iP+Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T01:21:55.940635Z"},"content_sha256":"e2382eacf81191c6bfbf752f72b1eb1eca5503d24fa1467774ab894cfe669bf0","schema_version":"1.0","event_id":"sha256:e2382eacf81191c6bfbf752f72b1eb1eca5503d24fa1467774ab894cfe669bf0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XWINTFWX5Q7BFKZAZIJ4YV75MQ/bundle.json","state_url":"https://pith.science/pith/XWINTFWX5Q7BFKZAZIJ4YV75MQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XWINTFWX5Q7BFKZAZIJ4YV75MQ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-27T01:21:55Z","links":{"resolver":"https://pith.science/pith/XWINTFWX5Q7BFKZAZIJ4YV75MQ","bundle":"https://pith.science/pith/XWINTFWX5Q7BFKZAZIJ4YV75MQ/bundle.json","state":"https://pith.science/pith/XWINTFWX5Q7BFKZAZIJ4YV75MQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XWINTFWX5Q7BFKZAZIJ4YV75MQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:XWINTFWX5Q7BFKZAZIJ4YV75MQ","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"2f9070c253660ef4b684de44b44c9cf360b0caea35f067edeb9b0ace3c79aa2e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-10-07T15:03:04Z","title_canon_sha256":"d9c3c7626a890c0ea3ffed85a5121506c381cade4300f9712e6d4dec1a3401c9"},"schema_version":"1.0","source":{"id":"1510.01977","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.01977","created_at":"2026-05-18T01:17:18Z"},{"alias_kind":"arxiv_version","alias_value":"1510.01977v4","created_at":"2026-05-18T01:17:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.01977","created_at":"2026-05-18T01:17:18Z"},{"alias_kind":"pith_short_12","alias_value":"XWINTFWX5Q7B","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"XWINTFWX5Q7BFKZA","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"XWINTFWX","created_at":"2026-05-18T12:29:50Z"}],"graph_snapshots":[{"event_id":"sha256:e2382eacf81191c6bfbf752f72b1eb1eca5503d24fa1467774ab894cfe669bf0","target":"graph","created_at":"2026-05-18T01:17:18Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"A semantics for quantified modal logic is presented that is based on Kleene's notion of realizability. This semantics generalizes Flagg's 1985 construction of a model of a modal version of Church's Thesis and first-order arithmetic. While the bulk of the paper is devoted to developing the details of the semantics, to illustrate the scope of this approach, we show that the construction produces (i) a model of a modal version of Church's Thesis and a variant of a modal set theory due to Goodman and Scedrov, (ii) a model of a modal version of Troelstra's generalized continuity principle together ","authors_text":"Benjamin G. Rin, Sean Walsh","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-10-07T15:03:04Z","title":"Realizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.01977","kind":"arxiv","version":4},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:6a1f13a892023c3743387e4364cd16ba1c1d59612028aa2f84776b125a1252b6","target":"record","created_at":"2026-05-18T01:17:18Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"2f9070c253660ef4b684de44b44c9cf360b0caea35f067edeb9b0ace3c79aa2e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-10-07T15:03:04Z","title_canon_sha256":"d9c3c7626a890c0ea3ffed85a5121506c381cade4300f9712e6d4dec1a3401c9"},"schema_version":"1.0","source":{"id":"1510.01977","kind":"arxiv","version":4}},"canonical_sha256":"bd90d996d7ec3e12ab20ca13cc57fd643136c249adeeed9a785526e50e176cbb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bd90d996d7ec3e12ab20ca13cc57fd643136c249adeeed9a785526e50e176cbb","first_computed_at":"2026-05-18T01:17:18.640353Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:17:18.640353Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0w00QeVR01JEQ5ynLAIPd0NU7Jc8MUMthShVM7vI0UvVm5F344QnrrXpCZpy45EYoBgKip3aemoFTou7ny4BCA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:17:18.640833Z","signed_message":"canonical_sha256_bytes"},"source_id":"1510.01977","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6a1f13a892023c3743387e4364cd16ba1c1d59612028aa2f84776b125a1252b6","sha256:e2382eacf81191c6bfbf752f72b1eb1eca5503d24fa1467774ab894cfe669bf0"],"state_sha256":"96f5c626d1e44a3430cb1db8fdca1a4c4549bb6c1164d16466bc824aebbe705d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uFKqwHebaAhcwwZRLpjXX5wQ4MgLNa7o3pugAJye2U4LASWXlwJVLu76mhuT+vayz/1ctcZBLDvZgaYOIKZpBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T01:21:55.944581Z","bundle_sha256":"7aeec61802e6003078dc311357c49678bd54fe10239897ddfbf53489e96072d3"}}