{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:D37W3TO7CPS5AGMQPESSATUVU3","short_pith_number":"pith:D37W3TO7","schema_version":"1.0","canonical_sha256":"1eff6dcddf13e5d019907925204e95a6f8991e6c7dbe49f0e0cb74912b01f6cb","source":{"kind":"arxiv","id":"1404.4004","version":1},"attestation_state":"computed","paper":{"title":"One-dimensional fragment of first-order logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Antti Kuusisto, Lauri Hella","submitted_at":"2014-04-15T18:14:52Z","abstract_excerpt":"We introduce a novel decidable fragment of first-order logic. The fragment is one-dimensional in the sense that quantification is limited to applications of blocks of existential (universal) quantifiers such that at most one variable remains free in the quantified formula. The fragment is closed under Boolean operations, but additional restrictions (called uniformity conditions) apply to combinations of atomic formulae with two or more variables. We argue that the notions of one-dimensionality and uniformity together offer a novel perspective on the robust decidability of modal logics. We also"},"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":"1404.4004","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-04-15T18:14:52Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"ae4ec33e4ed23627c2a3fc49c94515a21f0f8d8ec156ebf6d02e56e6cf44327c","abstract_canon_sha256":"7b051fd717b036f0e9c42a55ee7afecb420351bda0a1df82470e2078a06c8127"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:54:13.165976Z","signature_b64":"WRgTGqBy+ZBLx6zdlwM8Yn+YD82g8/HQk+pKuCDPspwxa2qljzwRrHj8oIF7G4q5h6glpcrEynKxfmDN4f19DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1eff6dcddf13e5d019907925204e95a6f8991e6c7dbe49f0e0cb74912b01f6cb","last_reissued_at":"2026-05-18T02:54:13.165407Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:54:13.165407Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"One-dimensional fragment of first-order logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Antti Kuusisto, Lauri Hella","submitted_at":"2014-04-15T18:14:52Z","abstract_excerpt":"We introduce a novel decidable fragment of first-order logic. The fragment is one-dimensional in the sense that quantification is limited to applications of blocks of existential (universal) quantifiers such that at most one variable remains free in the quantified formula. The fragment is closed under Boolean operations, but additional restrictions (called uniformity conditions) apply to combinations of atomic formulae with two or more variables. We argue that the notions of one-dimensionality and uniformity together offer a novel perspective on the robust decidability of modal logics. We also"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.4004","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":"1404.4004","created_at":"2026-05-18T02:54:13.165504+00:00"},{"alias_kind":"arxiv_version","alias_value":"1404.4004v1","created_at":"2026-05-18T02:54:13.165504+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.4004","created_at":"2026-05-18T02:54:13.165504+00:00"},{"alias_kind":"pith_short_12","alias_value":"D37W3TO7CPS5","created_at":"2026-05-18T12:28:25.294606+00:00"},{"alias_kind":"pith_short_16","alias_value":"D37W3TO7CPS5AGMQ","created_at":"2026-05-18T12:28:25.294606+00:00"},{"alias_kind":"pith_short_8","alias_value":"D37W3TO7","created_at":"2026-05-18T12:28:25.294606+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/D37W3TO7CPS5AGMQPESSATUVU3","json":"https://pith.science/pith/D37W3TO7CPS5AGMQPESSATUVU3.json","graph_json":"https://pith.science/api/pith-number/D37W3TO7CPS5AGMQPESSATUVU3/graph.json","events_json":"https://pith.science/api/pith-number/D37W3TO7CPS5AGMQPESSATUVU3/events.json","paper":"https://pith.science/paper/D37W3TO7"},"agent_actions":{"view_html":"https://pith.science/pith/D37W3TO7CPS5AGMQPESSATUVU3","download_json":"https://pith.science/pith/D37W3TO7CPS5AGMQPESSATUVU3.json","view_paper":"https://pith.science/paper/D37W3TO7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1404.4004&json=true","fetch_graph":"https://pith.science/api/pith-number/D37W3TO7CPS5AGMQPESSATUVU3/graph.json","fetch_events":"https://pith.science/api/pith-number/D37W3TO7CPS5AGMQPESSATUVU3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/D37W3TO7CPS5AGMQPESSATUVU3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/D37W3TO7CPS5AGMQPESSATUVU3/action/storage_attestation","attest_author":"https://pith.science/pith/D37W3TO7CPS5AGMQPESSATUVU3/action/author_attestation","sign_citation":"https://pith.science/pith/D37W3TO7CPS5AGMQPESSATUVU3/action/citation_signature","submit_replication":"https://pith.science/pith/D37W3TO7CPS5AGMQPESSATUVU3/action/replication_record"}},"created_at":"2026-05-18T02:54:13.165504+00:00","updated_at":"2026-05-18T02:54:13.165504+00:00"}