{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:HSI6AGPUU5IRCPSGJF7Z2A6CB5","short_pith_number":"pith:HSI6AGPU","schema_version":"1.0","canonical_sha256":"3c91e019f4a751113e46497f9d03c20f50b523bad5cd0f7616e78d204c9ad12c","source":{"kind":"arxiv","id":"1701.02001","version":1},"attestation_state":"computed","paper":{"title":"Shepherdson's theorems for fragments of open induction","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Jana Glivick\\'a, Petr Glivick\\'y","submitted_at":"2017-01-08T19:12:51Z","abstract_excerpt":"By a well-known result of Shepherdson, models of the theory IOpen (a first order arithmetic containing the scheme of induction for all quantifier free formulas) are exactly all the discretely ordered semirings that are integer parts of their real closures. In this paper we prove several analogous results that provide algebraic equivalents to various fragments of IOpen."},"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":"1701.02001","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-01-08T19:12:51Z","cross_cats_sorted":[],"title_canon_sha256":"9b2133e7c311fb8e2753e0054c1c7e17aef6a6a36b0e8b9ae7d415189d12296b","abstract_canon_sha256":"89bb2c7b61f932430be6b2e51fe922c44824ab854b06b199be1dadf5a2081309"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:53:12.858219Z","signature_b64":"VyMAqmT5Ktl3+YBIku/awOxOu01biIDIfUB92zk24nxU35GxbRpoBJHqA8qVqDUuD0EAuwrzjKk1vI3pvgizAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3c91e019f4a751113e46497f9d03c20f50b523bad5cd0f7616e78d204c9ad12c","last_reissued_at":"2026-05-18T00:53:12.857807Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:53:12.857807Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Shepherdson's theorems for fragments of open induction","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Jana Glivick\\'a, Petr Glivick\\'y","submitted_at":"2017-01-08T19:12:51Z","abstract_excerpt":"By a well-known result of Shepherdson, models of the theory IOpen (a first order arithmetic containing the scheme of induction for all quantifier free formulas) are exactly all the discretely ordered semirings that are integer parts of their real closures. In this paper we prove several analogous results that provide algebraic equivalents to various fragments of IOpen."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.02001","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":"1701.02001","created_at":"2026-05-18T00:53:12.857871+00:00"},{"alias_kind":"arxiv_version","alias_value":"1701.02001v1","created_at":"2026-05-18T00:53:12.857871+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.02001","created_at":"2026-05-18T00:53:12.857871+00:00"},{"alias_kind":"pith_short_12","alias_value":"HSI6AGPUU5IR","created_at":"2026-05-18T12:31:18.294218+00:00"},{"alias_kind":"pith_short_16","alias_value":"HSI6AGPUU5IRCPSG","created_at":"2026-05-18T12:31:18.294218+00:00"},{"alias_kind":"pith_short_8","alias_value":"HSI6AGPU","created_at":"2026-05-18T12:31:18.294218+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/HSI6AGPUU5IRCPSGJF7Z2A6CB5","json":"https://pith.science/pith/HSI6AGPUU5IRCPSGJF7Z2A6CB5.json","graph_json":"https://pith.science/api/pith-number/HSI6AGPUU5IRCPSGJF7Z2A6CB5/graph.json","events_json":"https://pith.science/api/pith-number/HSI6AGPUU5IRCPSGJF7Z2A6CB5/events.json","paper":"https://pith.science/paper/HSI6AGPU"},"agent_actions":{"view_html":"https://pith.science/pith/HSI6AGPUU5IRCPSGJF7Z2A6CB5","download_json":"https://pith.science/pith/HSI6AGPUU5IRCPSGJF7Z2A6CB5.json","view_paper":"https://pith.science/paper/HSI6AGPU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1701.02001&json=true","fetch_graph":"https://pith.science/api/pith-number/HSI6AGPUU5IRCPSGJF7Z2A6CB5/graph.json","fetch_events":"https://pith.science/api/pith-number/HSI6AGPUU5IRCPSGJF7Z2A6CB5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HSI6AGPUU5IRCPSGJF7Z2A6CB5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HSI6AGPUU5IRCPSGJF7Z2A6CB5/action/storage_attestation","attest_author":"https://pith.science/pith/HSI6AGPUU5IRCPSGJF7Z2A6CB5/action/author_attestation","sign_citation":"https://pith.science/pith/HSI6AGPUU5IRCPSGJF7Z2A6CB5/action/citation_signature","submit_replication":"https://pith.science/pith/HSI6AGPUU5IRCPSGJF7Z2A6CB5/action/replication_record"}},"created_at":"2026-05-18T00:53:12.857871+00:00","updated_at":"2026-05-18T00:53:12.857871+00:00"}