{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:YXUV7E5Q3YU2PRC2PCOSHNM5NK","short_pith_number":"pith:YXUV7E5Q","schema_version":"1.0","canonical_sha256":"c5e95f93b0de29a7c45a789d23b59d6ab4069dcf4138907491e65107c084e052","source":{"kind":"arxiv","id":"1303.0730","version":5},"attestation_state":"computed","paper":{"title":"Diagonalizing by Fixed-Points","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Ahmad Karimi, Saeed Salehi","submitted_at":"2013-03-04T15:27:37Z","abstract_excerpt":"A universal schema for diagonalization was popularized by N. S. Yanofsky (2003) in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function. It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema. Here, we fit more theorems in the universal schema of diagonalization, such as Euclid's theorem on the infinitude of the primes and new proofs of Boolos (1997) for Cantor's theorem on the non-equinumerosity of a set with its powerset. Then, in Linear Temporal Logic, we show the n"},"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":"1303.0730","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-03-04T15:27:37Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"3cd4be9b16756146f232c2b0aa3d4e86ee7e17ae55b059c0bb8e578c1b69d8df","abstract_canon_sha256":"af6b616f931d595f8f6f83a852799178ff627679ecd768e5a555a747858e9dd6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:41:57.116495Z","signature_b64":"ZOnCQM6vtQwVsYke2y6f6c/O2sPELnUkqBOsjGqpZYrsyhTBofmw5cBaoVMKXdyL/ir8Z3Z3MP/2YGC4+hvSDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c5e95f93b0de29a7c45a789d23b59d6ab4069dcf4138907491e65107c084e052","last_reissued_at":"2026-05-17T23:41:57.115856Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:41:57.115856Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Diagonalizing by Fixed-Points","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Ahmad Karimi, Saeed Salehi","submitted_at":"2013-03-04T15:27:37Z","abstract_excerpt":"A universal schema for diagonalization was popularized by N. S. Yanofsky (2003) in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function. It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema. Here, we fit more theorems in the universal schema of diagonalization, such as Euclid's theorem on the infinitude of the primes and new proofs of Boolos (1997) for Cantor's theorem on the non-equinumerosity of a set with its powerset. Then, in Linear Temporal Logic, we show the n"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.0730","kind":"arxiv","version":5},"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":"1303.0730","created_at":"2026-05-17T23:41:57.115959+00:00"},{"alias_kind":"arxiv_version","alias_value":"1303.0730v5","created_at":"2026-05-17T23:41:57.115959+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.0730","created_at":"2026-05-17T23:41:57.115959+00:00"},{"alias_kind":"pith_short_12","alias_value":"YXUV7E5Q3YU2","created_at":"2026-05-18T12:28:09.283467+00:00"},{"alias_kind":"pith_short_16","alias_value":"YXUV7E5Q3YU2PRC2","created_at":"2026-05-18T12:28:09.283467+00:00"},{"alias_kind":"pith_short_8","alias_value":"YXUV7E5Q","created_at":"2026-05-18T12:28:09.283467+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/YXUV7E5Q3YU2PRC2PCOSHNM5NK","json":"https://pith.science/pith/YXUV7E5Q3YU2PRC2PCOSHNM5NK.json","graph_json":"https://pith.science/api/pith-number/YXUV7E5Q3YU2PRC2PCOSHNM5NK/graph.json","events_json":"https://pith.science/api/pith-number/YXUV7E5Q3YU2PRC2PCOSHNM5NK/events.json","paper":"https://pith.science/paper/YXUV7E5Q"},"agent_actions":{"view_html":"https://pith.science/pith/YXUV7E5Q3YU2PRC2PCOSHNM5NK","download_json":"https://pith.science/pith/YXUV7E5Q3YU2PRC2PCOSHNM5NK.json","view_paper":"https://pith.science/paper/YXUV7E5Q","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1303.0730&json=true","fetch_graph":"https://pith.science/api/pith-number/YXUV7E5Q3YU2PRC2PCOSHNM5NK/graph.json","fetch_events":"https://pith.science/api/pith-number/YXUV7E5Q3YU2PRC2PCOSHNM5NK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YXUV7E5Q3YU2PRC2PCOSHNM5NK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YXUV7E5Q3YU2PRC2PCOSHNM5NK/action/storage_attestation","attest_author":"https://pith.science/pith/YXUV7E5Q3YU2PRC2PCOSHNM5NK/action/author_attestation","sign_citation":"https://pith.science/pith/YXUV7E5Q3YU2PRC2PCOSHNM5NK/action/citation_signature","submit_replication":"https://pith.science/pith/YXUV7E5Q3YU2PRC2PCOSHNM5NK/action/replication_record"}},"created_at":"2026-05-17T23:41:57.115959+00:00","updated_at":"2026-05-17T23:41:57.115959+00:00"}