{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:2L6PWJTCW4CA6RZG5XFJBAYB3O","short_pith_number":"pith:2L6PWJTC","schema_version":"1.0","canonical_sha256":"d2fcfb2662b7040f4726edca908301db8515321cd6e23ba2a7eb812f0e10c074","source":{"kind":"arxiv","id":"1407.0436","version":1},"attestation_state":"computed","paper":{"title":"Comparing Hume's Principle, Basic Law V and Peano Arithmetic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Sean Walsh","submitted_at":"2014-07-02T01:26:59Z","abstract_excerpt":"This paper presents new constructions of models of Hume's Principle and Basic Law V with restricted amounts of comprehension. The techniques used in these constructions are drawn from hyperarithmetic theory and the model theory of fields, and formalizing these techniques within various subsystems of second-order Peano arithmetic allows one to put upper and lower bounds on the interpretability strength of these theories and hence to compare these theories to the canonical subsystems of second-order arithmetic. The main results of this paper are: (i) there is a consistent extension of the hypera"},"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.0436","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-07-02T01:26:59Z","cross_cats_sorted":[],"title_canon_sha256":"8517509053fbf9421b90028a8ce51c2d7f7a6a89c1395517365b4f699ab93adc","abstract_canon_sha256":"3e6be2dfb65896bbbbae5c1ec51ccf6ef5bf3ac59b49b2f63a82ecb393ed6494"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:48:33.803531Z","signature_b64":"PuANUM8W2fbKlDQmLLqJI8yec1lZaC6rHc6tw29h/RIIaGTP3sPKnJEvHJjxMpg+L581xHjWpPVdKQq54+z5Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d2fcfb2662b7040f4726edca908301db8515321cd6e23ba2a7eb812f0e10c074","last_reissued_at":"2026-05-18T02:48:33.802921Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:48:33.802921Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Comparing Hume's Principle, Basic Law V and Peano Arithmetic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Sean Walsh","submitted_at":"2014-07-02T01:26:59Z","abstract_excerpt":"This paper presents new constructions of models of Hume's Principle and Basic Law V with restricted amounts of comprehension. The techniques used in these constructions are drawn from hyperarithmetic theory and the model theory of fields, and formalizing these techniques within various subsystems of second-order Peano arithmetic allows one to put upper and lower bounds on the interpretability strength of these theories and hence to compare these theories to the canonical subsystems of second-order arithmetic. The main results of this paper are: (i) there is a consistent extension of the hypera"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.0436","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.0436","created_at":"2026-05-18T02:48:33.803016+00:00"},{"alias_kind":"arxiv_version","alias_value":"1407.0436v1","created_at":"2026-05-18T02:48:33.803016+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.0436","created_at":"2026-05-18T02:48:33.803016+00:00"},{"alias_kind":"pith_short_12","alias_value":"2L6PWJTCW4CA","created_at":"2026-05-18T12:28:11.866339+00:00"},{"alias_kind":"pith_short_16","alias_value":"2L6PWJTCW4CA6RZG","created_at":"2026-05-18T12:28:11.866339+00:00"},{"alias_kind":"pith_short_8","alias_value":"2L6PWJTC","created_at":"2026-05-18T12:28:11.866339+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/2L6PWJTCW4CA6RZG5XFJBAYB3O","json":"https://pith.science/pith/2L6PWJTCW4CA6RZG5XFJBAYB3O.json","graph_json":"https://pith.science/api/pith-number/2L6PWJTCW4CA6RZG5XFJBAYB3O/graph.json","events_json":"https://pith.science/api/pith-number/2L6PWJTCW4CA6RZG5XFJBAYB3O/events.json","paper":"https://pith.science/paper/2L6PWJTC"},"agent_actions":{"view_html":"https://pith.science/pith/2L6PWJTCW4CA6RZG5XFJBAYB3O","download_json":"https://pith.science/pith/2L6PWJTCW4CA6RZG5XFJBAYB3O.json","view_paper":"https://pith.science/paper/2L6PWJTC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1407.0436&json=true","fetch_graph":"https://pith.science/api/pith-number/2L6PWJTCW4CA6RZG5XFJBAYB3O/graph.json","fetch_events":"https://pith.science/api/pith-number/2L6PWJTCW4CA6RZG5XFJBAYB3O/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2L6PWJTCW4CA6RZG5XFJBAYB3O/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2L6PWJTCW4CA6RZG5XFJBAYB3O/action/storage_attestation","attest_author":"https://pith.science/pith/2L6PWJTCW4CA6RZG5XFJBAYB3O/action/author_attestation","sign_citation":"https://pith.science/pith/2L6PWJTCW4CA6RZG5XFJBAYB3O/action/citation_signature","submit_replication":"https://pith.science/pith/2L6PWJTCW4CA6RZG5XFJBAYB3O/action/replication_record"}},"created_at":"2026-05-18T02:48:33.803016+00:00","updated_at":"2026-05-18T02:48:33.803016+00:00"}