{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:W3IT7TDXQQQ6LCDOZL4NAOR2VJ","short_pith_number":"pith:W3IT7TDX","schema_version":"1.0","canonical_sha256":"b6d13fcc778421e5886ecaf8d03a3aaa6d3b7946334073c729897f93155fc5dc","source":{"kind":"arxiv","id":"1311.6375","version":1},"attestation_state":"computed","paper":{"title":"On Non-Standard Models of Peano Arithmetic and Tennenbaum's Theorem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.HO"],"primary_cat":"math.LO","authors_text":"Samuel Reid","submitted_at":"2013-11-25T17:25:13Z","abstract_excerpt":"Throughout the course of mathematical history, generalizations of previously understood concepts and structures have led to the fruitful development of the hierarchy of number systems, non-euclidean geometry, and many other epochal phases in mathematical progress. In the study of formalized theories of arithmetic, it is only natural to consider the extension from the standard model of Peano arithmetic, $\\langle \\mathbb{N},+,\\times,\\leq,0,1 \\rangle$, to non-standard models of arithmetic. The existence of non-standard models of Peano arithmetic provided motivation in the early $20^{th}$ century "},"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":"1311.6375","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-11-25T17:25:13Z","cross_cats_sorted":["math.HO"],"title_canon_sha256":"416eeb6ab6491f2c96f4d5cf14296049e8e8844cb29f38fca4089ed218ad7f3d","abstract_canon_sha256":"e3b8002eab075b7e99b4ec4f65fdcfbde598fc69c69575ac08e4c21d12b6c3ac"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:06:14.258996Z","signature_b64":"/N+Z2c7RVeSKBV7ishlU0tcLGbxUul87y5EczVnlkgDHJXtiyBm1CDNLj4U19Ygc7bj2EBYmTwgUfJr2pN5oCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b6d13fcc778421e5886ecaf8d03a3aaa6d3b7946334073c729897f93155fc5dc","last_reissued_at":"2026-05-18T03:06:14.258537Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:06:14.258537Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On Non-Standard Models of Peano Arithmetic and Tennenbaum's Theorem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.HO"],"primary_cat":"math.LO","authors_text":"Samuel Reid","submitted_at":"2013-11-25T17:25:13Z","abstract_excerpt":"Throughout the course of mathematical history, generalizations of previously understood concepts and structures have led to the fruitful development of the hierarchy of number systems, non-euclidean geometry, and many other epochal phases in mathematical progress. In the study of formalized theories of arithmetic, it is only natural to consider the extension from the standard model of Peano arithmetic, $\\langle \\mathbb{N},+,\\times,\\leq,0,1 \\rangle$, to non-standard models of arithmetic. The existence of non-standard models of Peano arithmetic provided motivation in the early $20^{th}$ century "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.6375","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":"1311.6375","created_at":"2026-05-18T03:06:14.258599+00:00"},{"alias_kind":"arxiv_version","alias_value":"1311.6375v1","created_at":"2026-05-18T03:06:14.258599+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.6375","created_at":"2026-05-18T03:06:14.258599+00:00"},{"alias_kind":"pith_short_12","alias_value":"W3IT7TDXQQQ6","created_at":"2026-05-18T12:28:04.890932+00:00"},{"alias_kind":"pith_short_16","alias_value":"W3IT7TDXQQQ6LCDO","created_at":"2026-05-18T12:28:04.890932+00:00"},{"alias_kind":"pith_short_8","alias_value":"W3IT7TDX","created_at":"2026-05-18T12:28:04.890932+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/W3IT7TDXQQQ6LCDOZL4NAOR2VJ","json":"https://pith.science/pith/W3IT7TDXQQQ6LCDOZL4NAOR2VJ.json","graph_json":"https://pith.science/api/pith-number/W3IT7TDXQQQ6LCDOZL4NAOR2VJ/graph.json","events_json":"https://pith.science/api/pith-number/W3IT7TDXQQQ6LCDOZL4NAOR2VJ/events.json","paper":"https://pith.science/paper/W3IT7TDX"},"agent_actions":{"view_html":"https://pith.science/pith/W3IT7TDXQQQ6LCDOZL4NAOR2VJ","download_json":"https://pith.science/pith/W3IT7TDXQQQ6LCDOZL4NAOR2VJ.json","view_paper":"https://pith.science/paper/W3IT7TDX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1311.6375&json=true","fetch_graph":"https://pith.science/api/pith-number/W3IT7TDXQQQ6LCDOZL4NAOR2VJ/graph.json","fetch_events":"https://pith.science/api/pith-number/W3IT7TDXQQQ6LCDOZL4NAOR2VJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/W3IT7TDXQQQ6LCDOZL4NAOR2VJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/W3IT7TDXQQQ6LCDOZL4NAOR2VJ/action/storage_attestation","attest_author":"https://pith.science/pith/W3IT7TDXQQQ6LCDOZL4NAOR2VJ/action/author_attestation","sign_citation":"https://pith.science/pith/W3IT7TDXQQQ6LCDOZL4NAOR2VJ/action/citation_signature","submit_replication":"https://pith.science/pith/W3IT7TDXQQQ6LCDOZL4NAOR2VJ/action/replication_record"}},"created_at":"2026-05-18T03:06:14.258599+00:00","updated_at":"2026-05-18T03:06:14.258599+00:00"}