{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:6KV4XNSL7JTKN3OOVGJCSP5CG4","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":"a4753e7c4755a39f322602319342e15dffb6dfd3e9dce863e8a840770cf47b29","cross_cats_sorted":["math.GN"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-10-27T12:38:52Z","title_canon_sha256":"0dea331e3aa3f6f60c276e412cf2989b167ed6e0a72415c1f0f8aa23056f00c7"},"schema_version":"1.0","source":{"id":"1210.7317","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.7317","created_at":"2026-05-18T03:42:10Z"},{"alias_kind":"arxiv_version","alias_value":"1210.7317v1","created_at":"2026-05-18T03:42:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.7317","created_at":"2026-05-18T03:42:10Z"},{"alias_kind":"pith_short_12","alias_value":"6KV4XNSL7JTK","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_16","alias_value":"6KV4XNSL7JTKN3OO","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_8","alias_value":"6KV4XNSL","created_at":"2026-05-18T12:26:56Z"}],"graph_snapshots":[{"event_id":"sha256:0bc2c2de9728f5dfe1461a1a89298a708c054cfece69a0b58a9937d13434b1fa","target":"graph","created_at":"2026-05-18T03:42:10Z","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":"Provability logic concerns the study of modality $\\Box$ as provability in formal systems such as Peano arithmetic. Natural, albeit quite surprising, topological interpretation of provability logic has been found in the 1970's by Harold Simmons and Leo Esakia. They have observed that the dual $\\Diamond$ modality, corresponding to consistency in the context of formal arithmetic, has all the basic properties of the topological derivative operator acting on a scattered space. The topic has become a long-term project for the Georgian school of logic led by Esakia, with occasional contributions from","authors_text":"David Gabelaia, Lev Beklemishev","cross_cats":["math.GN"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-10-27T12:38:52Z","title":"Topological interpretations of provability logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.7317","kind":"arxiv","version":1},"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:adbb2638c6a27c152592c829af4a1cb9808a2eb5b304493f55728ca0445965d9","target":"record","created_at":"2026-05-18T03:42:10Z","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":"a4753e7c4755a39f322602319342e15dffb6dfd3e9dce863e8a840770cf47b29","cross_cats_sorted":["math.GN"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-10-27T12:38:52Z","title_canon_sha256":"0dea331e3aa3f6f60c276e412cf2989b167ed6e0a72415c1f0f8aa23056f00c7"},"schema_version":"1.0","source":{"id":"1210.7317","kind":"arxiv","version":1}},"canonical_sha256":"f2abcbb64bfa66a6edcea992293fa23729edb47acf033758ffd82b864764601a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f2abcbb64bfa66a6edcea992293fa23729edb47acf033758ffd82b864764601a","first_computed_at":"2026-05-18T03:42:10.510072Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:42:10.510072Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BwgAbWNkg5j9ez83USMKhWEmmmMdp5pemE5Vza1vzNO7Iaoe1RM24Ir3d4RuylPbu9pJ5oSoc7TdnQGZTO4JDw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:42:10.510786Z","signed_message":"canonical_sha256_bytes"},"source_id":"1210.7317","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:adbb2638c6a27c152592c829af4a1cb9808a2eb5b304493f55728ca0445965d9","sha256:0bc2c2de9728f5dfe1461a1a89298a708c054cfece69a0b58a9937d13434b1fa"],"state_sha256":"03d63fb1b277338bf4d0e300d5478c530f4dc9a66d22b10c4b2af11da07d9985"}