{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:7FDBN2QJED5Y2FAPKNLIWTJ3ON","short_pith_number":"pith:7FDBN2QJ","schema_version":"1.0","canonical_sha256":"f94616ea0920fb8d140f53568b4d3b73469b7a821716df0d4d1f3d58aa0f9526","source":{"kind":"arxiv","id":"1407.2626","version":2},"attestation_state":"computed","paper":{"title":"The Complexity of Primes in Computable UFDs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AC"],"primary_cat":"math.LO","authors_text":"Damir D. Dzhafarov, Joseph R. Mileti","submitted_at":"2014-07-09T20:09:37Z","abstract_excerpt":"In many simple integral domains, such as $\\mathbb{Z}$ or $\\mathbb{Z}[i]$, there is a straightforward procedure to determine if an element is prime by simply reducing to a direct check of finitely many potential divisors. Despite the fact that such a naive approach does not immediately translate to integral domains like $\\mathbb{Z}[x]$ or the ring of integers in an algebraic number field, there still exist computational procedures that work to determine the prime elements in these cases. In contrast, we will show how to computably extend $\\mathbb{Z}$ in such a way that we can control the ordina"},"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":"1407.2626","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-07-09T20:09:37Z","cross_cats_sorted":["math.AC"],"title_canon_sha256":"598dca080ca2c0c8c014f9da4f4d44d2d46cf060cb0ef6406e7a805ed9154375","abstract_canon_sha256":"d3ac17c35cff5ebc59b71cd5317015d30761560eade82dcf4dc41814c1d469c4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:15:25.045884Z","signature_b64":"/ophi3QCszQMBsxAaEbZ9baD6Lb2qpBRCZ6k1b2ynx8G6qDvb7zzrKroqgaFsoPD9ZO5OAvGuUKg5bWdXmIvAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f94616ea0920fb8d140f53568b4d3b73469b7a821716df0d4d1f3d58aa0f9526","last_reissued_at":"2026-05-18T00:15:25.045135Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:15:25.045135Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The Complexity of Primes in Computable UFDs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AC"],"primary_cat":"math.LO","authors_text":"Damir D. Dzhafarov, Joseph R. Mileti","submitted_at":"2014-07-09T20:09:37Z","abstract_excerpt":"In many simple integral domains, such as $\\mathbb{Z}$ or $\\mathbb{Z}[i]$, there is a straightforward procedure to determine if an element is prime by simply reducing to a direct check of finitely many potential divisors. Despite the fact that such a naive approach does not immediately translate to integral domains like $\\mathbb{Z}[x]$ or the ring of integers in an algebraic number field, there still exist computational procedures that work to determine the prime elements in these cases. In contrast, we will show how to computably extend $\\mathbb{Z}$ in such a way that we can control the ordina"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.2626","kind":"arxiv","version":2},"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":"1407.2626","created_at":"2026-05-18T00:15:25.045255+00:00"},{"alias_kind":"arxiv_version","alias_value":"1407.2626v2","created_at":"2026-05-18T00:15:25.045255+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.2626","created_at":"2026-05-18T00:15:25.045255+00:00"},{"alias_kind":"pith_short_12","alias_value":"7FDBN2QJED5Y","created_at":"2026-05-18T12:28:16.859392+00:00"},{"alias_kind":"pith_short_16","alias_value":"7FDBN2QJED5Y2FAP","created_at":"2026-05-18T12:28:16.859392+00:00"},{"alias_kind":"pith_short_8","alias_value":"7FDBN2QJ","created_at":"2026-05-18T12:28:16.859392+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/7FDBN2QJED5Y2FAPKNLIWTJ3ON","json":"https://pith.science/pith/7FDBN2QJED5Y2FAPKNLIWTJ3ON.json","graph_json":"https://pith.science/api/pith-number/7FDBN2QJED5Y2FAPKNLIWTJ3ON/graph.json","events_json":"https://pith.science/api/pith-number/7FDBN2QJED5Y2FAPKNLIWTJ3ON/events.json","paper":"https://pith.science/paper/7FDBN2QJ"},"agent_actions":{"view_html":"https://pith.science/pith/7FDBN2QJED5Y2FAPKNLIWTJ3ON","download_json":"https://pith.science/pith/7FDBN2QJED5Y2FAPKNLIWTJ3ON.json","view_paper":"https://pith.science/paper/7FDBN2QJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1407.2626&json=true","fetch_graph":"https://pith.science/api/pith-number/7FDBN2QJED5Y2FAPKNLIWTJ3ON/graph.json","fetch_events":"https://pith.science/api/pith-number/7FDBN2QJED5Y2FAPKNLIWTJ3ON/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7FDBN2QJED5Y2FAPKNLIWTJ3ON/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7FDBN2QJED5Y2FAPKNLIWTJ3ON/action/storage_attestation","attest_author":"https://pith.science/pith/7FDBN2QJED5Y2FAPKNLIWTJ3ON/action/author_attestation","sign_citation":"https://pith.science/pith/7FDBN2QJED5Y2FAPKNLIWTJ3ON/action/citation_signature","submit_replication":"https://pith.science/pith/7FDBN2QJED5Y2FAPKNLIWTJ3ON/action/replication_record"}},"created_at":"2026-05-18T00:15:25.045255+00:00","updated_at":"2026-05-18T00:15:25.045255+00:00"}