{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:B77AAEKAHD3N7IP5MJEZ4COI6A","short_pith_number":"pith:B77AAEKA","schema_version":"1.0","canonical_sha256":"0ffe00114038f6dfa1fd62499e09c8f038cf86824761a064a8627a5c1d0be4a5","source":{"kind":"arxiv","id":"1401.1156","version":1},"attestation_state":"computed","paper":{"title":"Algebraisable versions of predicate topological logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Tarek Sayed Ahmed","submitted_at":"2014-01-06T17:57:53Z","abstract_excerpt":"Motivated by questions like: which spatial structures may be characterized by means of modal logic, what is the logic of space, how to encode in modal logic different geometric relations, topological logic provides a framework for studying the confluence of the topological semantics for $\\sf S4$ modalities, based on topological spaces rather than Kripke frames.\n  Following research initiated by Sgro, and further pursued algebraically by Georgescu, we prove an interpolation theorem and an omitting types theorem for various extensions of predicate topological logic and Chang's modal logic. Our p"},"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":"1401.1156","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-01-06T17:57:53Z","cross_cats_sorted":[],"title_canon_sha256":"e1cdba032420dd82b804298efdbe2e1c3b144e1ac61d2f4524811e0a05be33a1","abstract_canon_sha256":"478454f009b5c391805cb761aaae8eebcb991da1da26c8d50e2776893e182e60"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:03:10.779454Z","signature_b64":"LU9teqKLL6XmKkj0dmNERIMNSvTpWvgK1HRXpLBbPTcluc0dbBZmIGI4/hhPbGc3cP8fd2DxRLa2NruFh6YaBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0ffe00114038f6dfa1fd62499e09c8f038cf86824761a064a8627a5c1d0be4a5","last_reissued_at":"2026-05-18T03:03:10.778667Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:03:10.778667Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Algebraisable versions of predicate topological logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Tarek Sayed Ahmed","submitted_at":"2014-01-06T17:57:53Z","abstract_excerpt":"Motivated by questions like: which spatial structures may be characterized by means of modal logic, what is the logic of space, how to encode in modal logic different geometric relations, topological logic provides a framework for studying the confluence of the topological semantics for $\\sf S4$ modalities, based on topological spaces rather than Kripke frames.\n  Following research initiated by Sgro, and further pursued algebraically by Georgescu, we prove an interpolation theorem and an omitting types theorem for various extensions of predicate topological logic and Chang's modal logic. Our p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.1156","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":"1401.1156","created_at":"2026-05-18T03:03:10.778779+00:00"},{"alias_kind":"arxiv_version","alias_value":"1401.1156v1","created_at":"2026-05-18T03:03:10.778779+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.1156","created_at":"2026-05-18T03:03:10.778779+00:00"},{"alias_kind":"pith_short_12","alias_value":"B77AAEKAHD3N","created_at":"2026-05-18T12:28:22.404517+00:00"},{"alias_kind":"pith_short_16","alias_value":"B77AAEKAHD3N7IP5","created_at":"2026-05-18T12:28:22.404517+00:00"},{"alias_kind":"pith_short_8","alias_value":"B77AAEKA","created_at":"2026-05-18T12:28:22.404517+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/B77AAEKAHD3N7IP5MJEZ4COI6A","json":"https://pith.science/pith/B77AAEKAHD3N7IP5MJEZ4COI6A.json","graph_json":"https://pith.science/api/pith-number/B77AAEKAHD3N7IP5MJEZ4COI6A/graph.json","events_json":"https://pith.science/api/pith-number/B77AAEKAHD3N7IP5MJEZ4COI6A/events.json","paper":"https://pith.science/paper/B77AAEKA"},"agent_actions":{"view_html":"https://pith.science/pith/B77AAEKAHD3N7IP5MJEZ4COI6A","download_json":"https://pith.science/pith/B77AAEKAHD3N7IP5MJEZ4COI6A.json","view_paper":"https://pith.science/paper/B77AAEKA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1401.1156&json=true","fetch_graph":"https://pith.science/api/pith-number/B77AAEKAHD3N7IP5MJEZ4COI6A/graph.json","fetch_events":"https://pith.science/api/pith-number/B77AAEKAHD3N7IP5MJEZ4COI6A/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/B77AAEKAHD3N7IP5MJEZ4COI6A/action/timestamp_anchor","attest_storage":"https://pith.science/pith/B77AAEKAHD3N7IP5MJEZ4COI6A/action/storage_attestation","attest_author":"https://pith.science/pith/B77AAEKAHD3N7IP5MJEZ4COI6A/action/author_attestation","sign_citation":"https://pith.science/pith/B77AAEKAHD3N7IP5MJEZ4COI6A/action/citation_signature","submit_replication":"https://pith.science/pith/B77AAEKAHD3N7IP5MJEZ4COI6A/action/replication_record"}},"created_at":"2026-05-18T03:03:10.778779+00:00","updated_at":"2026-05-18T03:03:10.778779+00:00"}