{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:743MQKQ5AW4XTRVLTZBWT7HEEE","short_pith_number":"pith:743MQKQ5","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"},"canonical_sha256":"ff36c82a1d05b979c6ab9e4369fce421151d412f5e82816109ede9707081252f","source":{"kind":"arxiv","id":"1612.06219","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.06219","created_at":"2026-05-18T00:54:42Z"},{"alias_kind":"arxiv_version","alias_value":"1612.06219v1","created_at":"2026-05-18T00:54:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.06219","created_at":"2026-05-18T00:54:42Z"},{"alias_kind":"pith_short_12","alias_value":"743MQKQ5AW4X","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_16","alias_value":"743MQKQ5AW4XTRVL","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_8","alias_value":"743MQKQ5","created_at":"2026-05-18T12:30:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:743MQKQ5AW4XTRVLTZBWT7HEEE","target":"record","payload":{"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"},"canonical_sha256":"ff36c82a1d05b979c6ab9e4369fce421151d412f5e82816109ede9707081252f","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"},"source_kind":"arxiv","source_id":"1612.06219","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:54:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nm8hv+xKmPOvigAqLRwVltCN9cQROsObNob4DY3cV6I65iSMbfU/ZXamoB/oA8m99XzZxAdhrs5f7tJv2mKbDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T11:55:45.583952Z"},"content_sha256":"5e8789c5c4560aa0432c1264957c9260db234b06f42584c5741b8a2151ccc721","schema_version":"1.0","event_id":"sha256:5e8789c5c4560aa0432c1264957c9260db234b06f42584c5741b8a2151ccc721"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:743MQKQ5AW4XTRVLTZBWT7HEEE","target":"graph","payload":{"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:54:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9STwmU521GKLTlYjrnETvSoyjMHJ6OE4gHC4m9XeZrwC+lY0XiaLTZyYeDTT1/LLJeawl9P/aRiRvCsXB6UPAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T11:55:45.584587Z"},"content_sha256":"89fa41f48dd4675c426e7bdb24b5ff2f1c8c30f5f227bd71e06c5659b6668850","schema_version":"1.0","event_id":"sha256:89fa41f48dd4675c426e7bdb24b5ff2f1c8c30f5f227bd71e06c5659b6668850"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/743MQKQ5AW4XTRVLTZBWT7HEEE/bundle.json","state_url":"https://pith.science/pith/743MQKQ5AW4XTRVLTZBWT7HEEE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/743MQKQ5AW4XTRVLTZBWT7HEEE/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-27T11:55:45Z","links":{"resolver":"https://pith.science/pith/743MQKQ5AW4XTRVLTZBWT7HEEE","bundle":"https://pith.science/pith/743MQKQ5AW4XTRVLTZBWT7HEEE/bundle.json","state":"https://pith.science/pith/743MQKQ5AW4XTRVLTZBWT7HEEE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/743MQKQ5AW4XTRVLTZBWT7HEEE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:743MQKQ5AW4XTRVLTZBWT7HEEE","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"f8e19784162cd934d36f69cf3360ce271b476042d5511117825f68d4f628cb8b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2016-12-19T15:13:01Z","title_canon_sha256":"a553a9faca9ba5fd37c5de1507201b07fdb372563ef13ad9f9755cc9346ae0ff"},"schema_version":"1.0","source":{"id":"1612.06219","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.06219","created_at":"2026-05-18T00:54:42Z"},{"alias_kind":"arxiv_version","alias_value":"1612.06219v1","created_at":"2026-05-18T00:54:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.06219","created_at":"2026-05-18T00:54:42Z"},{"alias_kind":"pith_short_12","alias_value":"743MQKQ5AW4X","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_16","alias_value":"743MQKQ5AW4XTRVL","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_8","alias_value":"743MQKQ5","created_at":"2026-05-18T12:30:04Z"}],"graph_snapshots":[{"event_id":"sha256:89fa41f48dd4675c426e7bdb24b5ff2f1c8c30f5f227bd71e06c5659b6668850","target":"graph","created_at":"2026-05-18T00:54:42Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"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","authors_text":"Sean Walsh, Walter Dean","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2016-12-19T15:13:01Z","title":"The Prehistory of the Subsystems of Second-Order Arithmetic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.06219","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:5e8789c5c4560aa0432c1264957c9260db234b06f42584c5741b8a2151ccc721","target":"record","created_at":"2026-05-18T00:54:42Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"f8e19784162cd934d36f69cf3360ce271b476042d5511117825f68d4f628cb8b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2016-12-19T15:13:01Z","title_canon_sha256":"a553a9faca9ba5fd37c5de1507201b07fdb372563ef13ad9f9755cc9346ae0ff"},"schema_version":"1.0","source":{"id":"1612.06219","kind":"arxiv","version":1}},"canonical_sha256":"ff36c82a1d05b979c6ab9e4369fce421151d412f5e82816109ede9707081252f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ff36c82a1d05b979c6ab9e4369fce421151d412f5e82816109ede9707081252f","first_computed_at":"2026-05-18T00:54:42.883851Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:54:42.883851Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SccRUszMdDqKYl3uGB7u9mSw6FxDESykNmoUkrHPChK3dXzBF2bT2hgp9KNUHl9NCy+Kk7i2h/ifbtPDU/q0AA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:54:42.884200Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.06219","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5e8789c5c4560aa0432c1264957c9260db234b06f42584c5741b8a2151ccc721","sha256:89fa41f48dd4675c426e7bdb24b5ff2f1c8c30f5f227bd71e06c5659b6668850"],"state_sha256":"7e9f46cda60596beab850b94b9fb47a0f11cb07710a811c1b960516dc595613b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BXRECI/Qasabqd4NZwuQzLD2WujDuRZ8oozzQuEDOS2xm/cANgMyzFAEuA0XXFC3U6Uj9KRmGhKNdoaNUkY1Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T11:55:45.587432Z","bundle_sha256":"fd4516c3fed1924de294d469c318687b3be51936eb06cc0e197a08811ef56e08"}}