{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:743MQKQ5AW4XTRVLTZBWT7HEEE","short_pith_number":"pith:743MQKQ5","schema_version":"1.0","canonical_sha256":"ff36c82a1d05b979c6ab9e4369fce421151d412f5e82816109ede9707081252f","source":{"kind":"arxiv","id":"1612.06219","version":1},"attestation_state":"computed","paper":{"title":"The Prehistory of the Subsystems of Second-Order Arithmetic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.HO","authors_text":"Sean Walsh, Walter Dean","submitted_at":"2016-12-19T15:13:01Z","abstract_excerpt":"This paper presents a systematic study of the prehistory of the traditional subsystems of second-order arithmetic that feature prominently in the reverse mathematics program of Friedman and Simpson. We look in particular at: (i) the long arc from Poincar\\'e to Feferman as concerns arithmetic definability and provability, (ii) the interplay between finitism and the formalization of analysis in the lecture notes and publications of Hilbert and Bernays, (iii) the uncertainty as to the constructive status of principles equivalent to Weak K\\\"onig's Lemma, and (iv) the large-scale intellectual backd"},"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":"1612.06219","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2016-12-19T15:13:01Z","cross_cats_sorted":[],"title_canon_sha256":"a553a9faca9ba5fd37c5de1507201b07fdb372563ef13ad9f9755cc9346ae0ff","abstract_canon_sha256":"f8e19784162cd934d36f69cf3360ce271b476042d5511117825f68d4f628cb8b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:54:42.884200Z","signature_b64":"SccRUszMdDqKYl3uGB7u9mSw6FxDESykNmoUkrHPChK3dXzBF2bT2hgp9KNUHl9NCy+Kk7i2h/ifbtPDU/q0AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ff36c82a1d05b979c6ab9e4369fce421151d412f5e82816109ede9707081252f","last_reissued_at":"2026-05-18T00:54:42.883851Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:54:42.883851Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The Prehistory of the Subsystems of Second-Order Arithmetic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.HO","authors_text":"Sean Walsh, Walter Dean","submitted_at":"2016-12-19T15:13:01Z","abstract_excerpt":"This paper presents a systematic study of the prehistory of the traditional subsystems of second-order arithmetic that feature prominently in the reverse mathematics program of Friedman and Simpson. We look in particular at: (i) the long arc from Poincar\\'e to Feferman as concerns arithmetic definability and provability, (ii) the interplay between finitism and the formalization of analysis in the lecture notes and publications of Hilbert and Bernays, (iii) the uncertainty as to the constructive status of principles equivalent to Weak K\\\"onig's Lemma, and (iv) the large-scale intellectual backd"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.06219","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":"1612.06219","created_at":"2026-05-18T00:54:42.883912+00:00"},{"alias_kind":"arxiv_version","alias_value":"1612.06219v1","created_at":"2026-05-18T00:54:42.883912+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.06219","created_at":"2026-05-18T00:54:42.883912+00:00"},{"alias_kind":"pith_short_12","alias_value":"743MQKQ5AW4X","created_at":"2026-05-18T12:30:04.600751+00:00"},{"alias_kind":"pith_short_16","alias_value":"743MQKQ5AW4XTRVL","created_at":"2026-05-18T12:30:04.600751+00:00"},{"alias_kind":"pith_short_8","alias_value":"743MQKQ5","created_at":"2026-05-18T12:30:04.600751+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/743MQKQ5AW4XTRVLTZBWT7HEEE","json":"https://pith.science/pith/743MQKQ5AW4XTRVLTZBWT7HEEE.json","graph_json":"https://pith.science/api/pith-number/743MQKQ5AW4XTRVLTZBWT7HEEE/graph.json","events_json":"https://pith.science/api/pith-number/743MQKQ5AW4XTRVLTZBWT7HEEE/events.json","paper":"https://pith.science/paper/743MQKQ5"},"agent_actions":{"view_html":"https://pith.science/pith/743MQKQ5AW4XTRVLTZBWT7HEEE","download_json":"https://pith.science/pith/743MQKQ5AW4XTRVLTZBWT7HEEE.json","view_paper":"https://pith.science/paper/743MQKQ5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1612.06219&json=true","fetch_graph":"https://pith.science/api/pith-number/743MQKQ5AW4XTRVLTZBWT7HEEE/graph.json","fetch_events":"https://pith.science/api/pith-number/743MQKQ5AW4XTRVLTZBWT7HEEE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/743MQKQ5AW4XTRVLTZBWT7HEEE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/743MQKQ5AW4XTRVLTZBWT7HEEE/action/storage_attestation","attest_author":"https://pith.science/pith/743MQKQ5AW4XTRVLTZBWT7HEEE/action/author_attestation","sign_citation":"https://pith.science/pith/743MQKQ5AW4XTRVLTZBWT7HEEE/action/citation_signature","submit_replication":"https://pith.science/pith/743MQKQ5AW4XTRVLTZBWT7HEEE/action/replication_record"}},"created_at":"2026-05-18T00:54:42.883912+00:00","updated_at":"2026-05-18T00:54:42.883912+00:00"}