{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:W4VTABOM74PW5KUPA35CSC5LHP","short_pith_number":"pith:W4VTABOM","canonical_record":{"source":{"id":"1706.05901","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-06-19T12:23:32Z","cross_cats_sorted":[],"title_canon_sha256":"52b4791c07cbdcc83f8b9929a0b55cd81590ce4713e7150b301231ff42c4036d","abstract_canon_sha256":"eba2b0daec67fc731fc1bd85d7b37acb1fec1692a51ab4024b4a051602091f26"},"schema_version":"1.0"},"canonical_sha256":"b72b3005ccff1f6eaa8f06fa290bab3bc89808f012eeff5a876ad87f584495bc","source":{"kind":"arxiv","id":"1706.05901","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.05901","created_at":"2026-05-18T00:42:08Z"},{"alias_kind":"arxiv_version","alias_value":"1706.05901v1","created_at":"2026-05-18T00:42:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.05901","created_at":"2026-05-18T00:42:08Z"},{"alias_kind":"pith_short_12","alias_value":"W4VTABOM74PW","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"W4VTABOM74PW5KUP","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"W4VTABOM","created_at":"2026-05-18T12:31:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:W4VTABOM74PW5KUPA35CSC5LHP","target":"record","payload":{"canonical_record":{"source":{"id":"1706.05901","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-06-19T12:23:32Z","cross_cats_sorted":[],"title_canon_sha256":"52b4791c07cbdcc83f8b9929a0b55cd81590ce4713e7150b301231ff42c4036d","abstract_canon_sha256":"eba2b0daec67fc731fc1bd85d7b37acb1fec1692a51ab4024b4a051602091f26"},"schema_version":"1.0"},"canonical_sha256":"b72b3005ccff1f6eaa8f06fa290bab3bc89808f012eeff5a876ad87f584495bc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:42:08.591420Z","signature_b64":"3gfKP6EZiWog5SSoct1fRjxq5wykuzoAQdWeCKhPr1cc1GVg+XKvIBvyuKn6AX9dws+E6JoemUa9isP1xgdJBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b72b3005ccff1f6eaa8f06fa290bab3bc89808f012eeff5a876ad87f584495bc","last_reissued_at":"2026-05-18T00:42:08.590771Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:42:08.590771Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1706.05901","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:42:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gWO75jWzhDJmql1CJU57nYirICEQuGuKDGmQJ9gx42E2XeL7d/nIeFrnddFiLyVbwh97zpUbhlZKZ4sBbPL1Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T05:34:45.233783Z"},"content_sha256":"583e01bd6c9e2f6074df6a48dc91373e68dd2da7984c2228edc6dd56196ee101","schema_version":"1.0","event_id":"sha256:583e01bd6c9e2f6074df6a48dc91373e68dd2da7984c2228edc6dd56196ee101"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:W4VTABOM74PW5KUPA35CSC5LHP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Arithmetical conservation results","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Benno van den Berg, Lotte van Slooten","submitted_at":"2017-06-19T12:23:32Z","abstract_excerpt":"In this paper we present a proof of Goodman's Theorem, a classical result in the metamathematics of constructivism, which states that the addition of the axiom of choice to Heyting arithmetic in finite types does not increase the collection of provable arithmetical sentences. Our proof relies on several ideas from earlier proofs by other authors, but adds some new ones as well. In particular, we show how a recent paper by Jaap van Oosten can be used to simplify a key step in the proof. We have also included an interesting corollary for classical systems pointed out to us by Ulrich Kohlenbach."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.05901","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:42:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lEB5fNtKn53d1v7Y3B6xxv0ZVvjiQF8EMK/2VJSqTNIyX0ryJEaalv2MRxFgnILqPUXkFxdBBO3s4KyqXpIVAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T05:34:45.234183Z"},"content_sha256":"bcdea333772c94ecd8ef00a5a00ea3746dbcaeb53053e2b2e09524e7bd70abce","schema_version":"1.0","event_id":"sha256:bcdea333772c94ecd8ef00a5a00ea3746dbcaeb53053e2b2e09524e7bd70abce"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/W4VTABOM74PW5KUPA35CSC5LHP/bundle.json","state_url":"https://pith.science/pith/W4VTABOM74PW5KUPA35CSC5LHP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/W4VTABOM74PW5KUPA35CSC5LHP/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-27T05:34:45Z","links":{"resolver":"https://pith.science/pith/W4VTABOM74PW5KUPA35CSC5LHP","bundle":"https://pith.science/pith/W4VTABOM74PW5KUPA35CSC5LHP/bundle.json","state":"https://pith.science/pith/W4VTABOM74PW5KUPA35CSC5LHP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/W4VTABOM74PW5KUPA35CSC5LHP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:W4VTABOM74PW5KUPA35CSC5LHP","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":"eba2b0daec67fc731fc1bd85d7b37acb1fec1692a51ab4024b4a051602091f26","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-06-19T12:23:32Z","title_canon_sha256":"52b4791c07cbdcc83f8b9929a0b55cd81590ce4713e7150b301231ff42c4036d"},"schema_version":"1.0","source":{"id":"1706.05901","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.05901","created_at":"2026-05-18T00:42:08Z"},{"alias_kind":"arxiv_version","alias_value":"1706.05901v1","created_at":"2026-05-18T00:42:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.05901","created_at":"2026-05-18T00:42:08Z"},{"alias_kind":"pith_short_12","alias_value":"W4VTABOM74PW","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"W4VTABOM74PW5KUP","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"W4VTABOM","created_at":"2026-05-18T12:31:53Z"}],"graph_snapshots":[{"event_id":"sha256:bcdea333772c94ecd8ef00a5a00ea3746dbcaeb53053e2b2e09524e7bd70abce","target":"graph","created_at":"2026-05-18T00:42:08Z","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":"In this paper we present a proof of Goodman's Theorem, a classical result in the metamathematics of constructivism, which states that the addition of the axiom of choice to Heyting arithmetic in finite types does not increase the collection of provable arithmetical sentences. Our proof relies on several ideas from earlier proofs by other authors, but adds some new ones as well. In particular, we show how a recent paper by Jaap van Oosten can be used to simplify a key step in the proof. We have also included an interesting corollary for classical systems pointed out to us by Ulrich Kohlenbach.","authors_text":"Benno van den Berg, Lotte van Slooten","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-06-19T12:23:32Z","title":"Arithmetical conservation results"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.05901","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:583e01bd6c9e2f6074df6a48dc91373e68dd2da7984c2228edc6dd56196ee101","target":"record","created_at":"2026-05-18T00:42:08Z","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":"eba2b0daec67fc731fc1bd85d7b37acb1fec1692a51ab4024b4a051602091f26","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-06-19T12:23:32Z","title_canon_sha256":"52b4791c07cbdcc83f8b9929a0b55cd81590ce4713e7150b301231ff42c4036d"},"schema_version":"1.0","source":{"id":"1706.05901","kind":"arxiv","version":1}},"canonical_sha256":"b72b3005ccff1f6eaa8f06fa290bab3bc89808f012eeff5a876ad87f584495bc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b72b3005ccff1f6eaa8f06fa290bab3bc89808f012eeff5a876ad87f584495bc","first_computed_at":"2026-05-18T00:42:08.590771Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:42:08.590771Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3gfKP6EZiWog5SSoct1fRjxq5wykuzoAQdWeCKhPr1cc1GVg+XKvIBvyuKn6AX9dws+E6JoemUa9isP1xgdJBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:42:08.591420Z","signed_message":"canonical_sha256_bytes"},"source_id":"1706.05901","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:583e01bd6c9e2f6074df6a48dc91373e68dd2da7984c2228edc6dd56196ee101","sha256:bcdea333772c94ecd8ef00a5a00ea3746dbcaeb53053e2b2e09524e7bd70abce"],"state_sha256":"4320f9a856512263c98c55bcaaac153a231743f0418f8f9e9577323b9e2a5625"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DX2XGhyxXAYh9G9slsCymBlovW2DTekyQ9CLPhcrDC5IKWTAfgJZIU7zc/GPABWfX9+TqN3ik6Jk0Qk6Yc0QAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T05:34:45.237169Z","bundle_sha256":"5b61a1b95d118b4c68e4c3a687615391d7c80ea71e7314ca4283e9e1672439fc"}}