{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:CMOYEYP3FUQHU3IBQVEV4URILR","short_pith_number":"pith:CMOYEYP3","schema_version":"1.0","canonical_sha256":"131d8261fb2d207a6d0185495e52285c7afc9f2356f3be3f03e5f70591896227","source":{"kind":"arxiv","id":"1511.05221","version":1},"attestation_state":"computed","paper":{"title":"Weak Godel's incompleteness property for some decidable versions of first order logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Mohamed Khaled","submitted_at":"2015-11-16T23:38:54Z","abstract_excerpt":"The founding of the theory of cylindric algebras, by Alfred Tarski, was a conscious effort to create algebras out of first order predicate calculus. Let $n\\in\\omega$. The classes of non-commutative cylindric algebras ($NCA_n$) and weakened cylindric algebras ($WCA_n$) were shown, by Istv\\'an N\\'emeti, to be examples of decidable versions of first order logic with $n$ variables. In this article, we give new proofs for the decidability of the equational theories of these classes. We also give an answer to the open problem, posed by N\\'emeti in 1985, addressing the atomicity of the finitely gener"},"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":"1511.05221","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-11-16T23:38:54Z","cross_cats_sorted":[],"title_canon_sha256":"435e1614c559a2fdefa8c18be024f371c358dbc4757a3047bcbe6aa039a90b45","abstract_canon_sha256":"3118853aa72aa45f32914c07239d0b67091cdbcfaa1ccc65afafae12f521e777"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:12:02.707014Z","signature_b64":"IgFOrrNAHbZSPiWklNzBiKvpMwO11GYIpqS4NAJr1KKl7f4ze7LxIqQlSHDX0xrR4T5AyGbyZaEP1G4uxFa+CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"131d8261fb2d207a6d0185495e52285c7afc9f2356f3be3f03e5f70591896227","last_reissued_at":"2026-05-18T00:12:02.706334Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:12:02.706334Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Weak Godel's incompleteness property for some decidable versions of first order logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Mohamed Khaled","submitted_at":"2015-11-16T23:38:54Z","abstract_excerpt":"The founding of the theory of cylindric algebras, by Alfred Tarski, was a conscious effort to create algebras out of first order predicate calculus. Let $n\\in\\omega$. The classes of non-commutative cylindric algebras ($NCA_n$) and weakened cylindric algebras ($WCA_n$) were shown, by Istv\\'an N\\'emeti, to be examples of decidable versions of first order logic with $n$ variables. In this article, we give new proofs for the decidability of the equational theories of these classes. We also give an answer to the open problem, posed by N\\'emeti in 1985, addressing the atomicity of the finitely gener"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.05221","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":"1511.05221","created_at":"2026-05-18T00:12:02.706426+00:00"},{"alias_kind":"arxiv_version","alias_value":"1511.05221v1","created_at":"2026-05-18T00:12:02.706426+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.05221","created_at":"2026-05-18T00:12:02.706426+00:00"},{"alias_kind":"pith_short_12","alias_value":"CMOYEYP3FUQH","created_at":"2026-05-18T12:29:17.054201+00:00"},{"alias_kind":"pith_short_16","alias_value":"CMOYEYP3FUQHU3IB","created_at":"2026-05-18T12:29:17.054201+00:00"},{"alias_kind":"pith_short_8","alias_value":"CMOYEYP3","created_at":"2026-05-18T12:29:17.054201+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/CMOYEYP3FUQHU3IBQVEV4URILR","json":"https://pith.science/pith/CMOYEYP3FUQHU3IBQVEV4URILR.json","graph_json":"https://pith.science/api/pith-number/CMOYEYP3FUQHU3IBQVEV4URILR/graph.json","events_json":"https://pith.science/api/pith-number/CMOYEYP3FUQHU3IBQVEV4URILR/events.json","paper":"https://pith.science/paper/CMOYEYP3"},"agent_actions":{"view_html":"https://pith.science/pith/CMOYEYP3FUQHU3IBQVEV4URILR","download_json":"https://pith.science/pith/CMOYEYP3FUQHU3IBQVEV4URILR.json","view_paper":"https://pith.science/paper/CMOYEYP3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1511.05221&json=true","fetch_graph":"https://pith.science/api/pith-number/CMOYEYP3FUQHU3IBQVEV4URILR/graph.json","fetch_events":"https://pith.science/api/pith-number/CMOYEYP3FUQHU3IBQVEV4URILR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CMOYEYP3FUQHU3IBQVEV4URILR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CMOYEYP3FUQHU3IBQVEV4URILR/action/storage_attestation","attest_author":"https://pith.science/pith/CMOYEYP3FUQHU3IBQVEV4URILR/action/author_attestation","sign_citation":"https://pith.science/pith/CMOYEYP3FUQHU3IBQVEV4URILR/action/citation_signature","submit_replication":"https://pith.science/pith/CMOYEYP3FUQHU3IBQVEV4URILR/action/replication_record"}},"created_at":"2026-05-18T00:12:02.706426+00:00","updated_at":"2026-05-18T00:12:02.706426+00:00"}