{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:FSVNS2XVYAJQNHP6RKMFZOAGVV","short_pith_number":"pith:FSVNS2XV","schema_version":"1.0","canonical_sha256":"2caad96af5c013069dfe8a985cb806ad44832af80ced1ea098985fe0dc4c1d1a","source":{"kind":"arxiv","id":"1407.5882","version":1},"attestation_state":"computed","paper":{"title":"Irreducibles and primes in computable integral domains","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AC"],"primary_cat":"math.LO","authors_text":"Ethan Ratliff-Crain, Joseph R. Mileti, Leigh Evron","submitted_at":"2014-07-22T14:25:02Z","abstract_excerpt":"A computable ring is a ring equipped with mechanical procedure to add and multiply elements. In most natural computable integral domains, there is a computational procedure to determine if a given element is prime/irreducible. However, there do exist computable UFDs (in fact, polynomial rings over computable fields) where the set of prime/irreducible elements is not computable. Outside of the class of UFDs, the notions of irreducible and prime may not coincide. We demonstrate how different these concepts can be by constructing computable integral domains where the set of irreducible elements i"},"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.5882","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-07-22T14:25:02Z","cross_cats_sorted":["math.AC"],"title_canon_sha256":"997fa65d5a4a898baf5104520ce4da0effbe9e35bdc95ca1cba398fc44d733dd","abstract_canon_sha256":"165ea20da75963bdcfb4732efa77b8bd92a41928a8ad5589521aadfdf03c7422"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:47:06.468269Z","signature_b64":"Klu1QqldKXCL1sp7Tjq0TKkhD+IISYW1zLwIRvYVY1pEq9xUvSCmcdFfwW9f81syDF4CloYDDCRRYerXGxqwCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2caad96af5c013069dfe8a985cb806ad44832af80ced1ea098985fe0dc4c1d1a","last_reissued_at":"2026-05-18T02:47:06.467843Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:47:06.467843Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Irreducibles and primes in computable integral domains","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AC"],"primary_cat":"math.LO","authors_text":"Ethan Ratliff-Crain, Joseph R. Mileti, Leigh Evron","submitted_at":"2014-07-22T14:25:02Z","abstract_excerpt":"A computable ring is a ring equipped with mechanical procedure to add and multiply elements. In most natural computable integral domains, there is a computational procedure to determine if a given element is prime/irreducible. However, there do exist computable UFDs (in fact, polynomial rings over computable fields) where the set of prime/irreducible elements is not computable. Outside of the class of UFDs, the notions of irreducible and prime may not coincide. We demonstrate how different these concepts can be by constructing computable integral domains where the set of irreducible elements i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.5882","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":"1407.5882","created_at":"2026-05-18T02:47:06.467900+00:00"},{"alias_kind":"arxiv_version","alias_value":"1407.5882v1","created_at":"2026-05-18T02:47:06.467900+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.5882","created_at":"2026-05-18T02:47:06.467900+00:00"},{"alias_kind":"pith_short_12","alias_value":"FSVNS2XVYAJQ","created_at":"2026-05-18T12:28:28.263976+00:00"},{"alias_kind":"pith_short_16","alias_value":"FSVNS2XVYAJQNHP6","created_at":"2026-05-18T12:28:28.263976+00:00"},{"alias_kind":"pith_short_8","alias_value":"FSVNS2XV","created_at":"2026-05-18T12:28:28.263976+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/FSVNS2XVYAJQNHP6RKMFZOAGVV","json":"https://pith.science/pith/FSVNS2XVYAJQNHP6RKMFZOAGVV.json","graph_json":"https://pith.science/api/pith-number/FSVNS2XVYAJQNHP6RKMFZOAGVV/graph.json","events_json":"https://pith.science/api/pith-number/FSVNS2XVYAJQNHP6RKMFZOAGVV/events.json","paper":"https://pith.science/paper/FSVNS2XV"},"agent_actions":{"view_html":"https://pith.science/pith/FSVNS2XVYAJQNHP6RKMFZOAGVV","download_json":"https://pith.science/pith/FSVNS2XVYAJQNHP6RKMFZOAGVV.json","view_paper":"https://pith.science/paper/FSVNS2XV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1407.5882&json=true","fetch_graph":"https://pith.science/api/pith-number/FSVNS2XVYAJQNHP6RKMFZOAGVV/graph.json","fetch_events":"https://pith.science/api/pith-number/FSVNS2XVYAJQNHP6RKMFZOAGVV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FSVNS2XVYAJQNHP6RKMFZOAGVV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FSVNS2XVYAJQNHP6RKMFZOAGVV/action/storage_attestation","attest_author":"https://pith.science/pith/FSVNS2XVYAJQNHP6RKMFZOAGVV/action/author_attestation","sign_citation":"https://pith.science/pith/FSVNS2XVYAJQNHP6RKMFZOAGVV/action/citation_signature","submit_replication":"https://pith.science/pith/FSVNS2XVYAJQNHP6RKMFZOAGVV/action/replication_record"}},"created_at":"2026-05-18T02:47:06.467900+00:00","updated_at":"2026-05-18T02:47:06.467900+00:00"}