{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:J54CPAMNJJT4LC7MIKUOO752G6","short_pith_number":"pith:J54CPAMN","canonical_record":{"source":{"id":"1712.08138","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-12-21T18:21:31Z","cross_cats_sorted":[],"title_canon_sha256":"e4f65c961cee13dea95ce4c0250b0549837f0812efe28c1895bc7d7a08d2683a","abstract_canon_sha256":"1e69d2cfa49245f45b9e6b08cf86e3123380a5a2c5070da42cc589cf4a216cd4"},"schema_version":"1.0"},"canonical_sha256":"4f7827818d4a67c58bec42a8e77fba3798d75d955fdc6e755abb2166f01d38be","source":{"kind":"arxiv","id":"1712.08138","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.08138","created_at":"2026-05-18T00:26:59Z"},{"alias_kind":"arxiv_version","alias_value":"1712.08138v3","created_at":"2026-05-18T00:26:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.08138","created_at":"2026-05-18T00:26:59Z"},{"alias_kind":"pith_short_12","alias_value":"J54CPAMNJJT4","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_16","alias_value":"J54CPAMNJJT4LC7M","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_8","alias_value":"J54CPAMN","created_at":"2026-05-18T12:31:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:J54CPAMNJJT4LC7MIKUOO752G6","target":"record","payload":{"canonical_record":{"source":{"id":"1712.08138","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-12-21T18:21:31Z","cross_cats_sorted":[],"title_canon_sha256":"e4f65c961cee13dea95ce4c0250b0549837f0812efe28c1895bc7d7a08d2683a","abstract_canon_sha256":"1e69d2cfa49245f45b9e6b08cf86e3123380a5a2c5070da42cc589cf4a216cd4"},"schema_version":"1.0"},"canonical_sha256":"4f7827818d4a67c58bec42a8e77fba3798d75d955fdc6e755abb2166f01d38be","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:26:59.856488Z","signature_b64":"wXjUJsh9qvwxJL2mHylWOSDSY+UPfpYcRKWsVKj1XEjKCCC9pcTnA7svHMZZI3jyf+a3AIBJICDcJjp4HGu3Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4f7827818d4a67c58bec42a8e77fba3798d75d955fdc6e755abb2166f01d38be","last_reissued_at":"2026-05-18T00:26:59.855723Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:26:59.855723Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1712.08138","source_version":3,"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:26:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EKv1x5d3sLS9K2hm0h95lO3f3QLDDNdP10tl4b6r4SPbpk3B/MbWbVOty3i8Xo/Ym2SOQfaEijjHCRjiznWpAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T02:49:23.608196Z"},"content_sha256":"20a21653a29603523cbae2f9118f410867fd25e88b510e237ebf1b13782c50e2","schema_version":"1.0","event_id":"sha256:20a21653a29603523cbae2f9118f410867fd25e88b510e237ebf1b13782c50e2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:J54CPAMNJJT4LC7MIKUOO752G6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"All large-cardinal axioms not known to be inconsistent with ZFC are justified","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Rupert McCallum","submitted_at":"2017-12-21T18:21:31Z","abstract_excerpt":"In other work we have outlined how, building on ideas of Welch and Roberts, one can motivate believing in the existence of supercompact cardinals. After making this observation we strove to formulate a justification for large-cardinal axioms of greater strength, and arrived at a motivation for a new large-cardinal property, which we define here and prove to be equivalent to the property of being a Vop\\v{e}nka scheme cardinal. Making use of this result, one can also show that a theory $B_0(V_0)$ described in a previous paper of Victoria Marshall implies the existence of a Vop\\v{e}nka scheme car"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.08138","kind":"arxiv","version":3},"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:26:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SagsfAyp9eNAZYM6ow8eGpP9/PCvfCX7Xk9lUHbRFwhSL09c6UJO6h5S9m9FCtmPMUnYJrb96Tj8QEzilCqtBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T02:49:23.608560Z"},"content_sha256":"384d2a5118b76caf1537988aa0e579688d5695de40e3039f446ff7fb58bf58f1","schema_version":"1.0","event_id":"sha256:384d2a5118b76caf1537988aa0e579688d5695de40e3039f446ff7fb58bf58f1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/J54CPAMNJJT4LC7MIKUOO752G6/bundle.json","state_url":"https://pith.science/pith/J54CPAMNJJT4LC7MIKUOO752G6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/J54CPAMNJJT4LC7MIKUOO752G6/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-07-03T02:49:23Z","links":{"resolver":"https://pith.science/pith/J54CPAMNJJT4LC7MIKUOO752G6","bundle":"https://pith.science/pith/J54CPAMNJJT4LC7MIKUOO752G6/bundle.json","state":"https://pith.science/pith/J54CPAMNJJT4LC7MIKUOO752G6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/J54CPAMNJJT4LC7MIKUOO752G6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:J54CPAMNJJT4LC7MIKUOO752G6","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":"1e69d2cfa49245f45b9e6b08cf86e3123380a5a2c5070da42cc589cf4a216cd4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-12-21T18:21:31Z","title_canon_sha256":"e4f65c961cee13dea95ce4c0250b0549837f0812efe28c1895bc7d7a08d2683a"},"schema_version":"1.0","source":{"id":"1712.08138","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.08138","created_at":"2026-05-18T00:26:59Z"},{"alias_kind":"arxiv_version","alias_value":"1712.08138v3","created_at":"2026-05-18T00:26:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.08138","created_at":"2026-05-18T00:26:59Z"},{"alias_kind":"pith_short_12","alias_value":"J54CPAMNJJT4","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_16","alias_value":"J54CPAMNJJT4LC7M","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_8","alias_value":"J54CPAMN","created_at":"2026-05-18T12:31:21Z"}],"graph_snapshots":[{"event_id":"sha256:384d2a5118b76caf1537988aa0e579688d5695de40e3039f446ff7fb58bf58f1","target":"graph","created_at":"2026-05-18T00:26:59Z","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 other work we have outlined how, building on ideas of Welch and Roberts, one can motivate believing in the existence of supercompact cardinals. After making this observation we strove to formulate a justification for large-cardinal axioms of greater strength, and arrived at a motivation for a new large-cardinal property, which we define here and prove to be equivalent to the property of being a Vop\\v{e}nka scheme cardinal. Making use of this result, one can also show that a theory $B_0(V_0)$ described in a previous paper of Victoria Marshall implies the existence of a Vop\\v{e}nka scheme car","authors_text":"Rupert McCallum","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-12-21T18:21:31Z","title":"All large-cardinal axioms not known to be inconsistent with ZFC are justified"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.08138","kind":"arxiv","version":3},"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:20a21653a29603523cbae2f9118f410867fd25e88b510e237ebf1b13782c50e2","target":"record","created_at":"2026-05-18T00:26:59Z","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":"1e69d2cfa49245f45b9e6b08cf86e3123380a5a2c5070da42cc589cf4a216cd4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-12-21T18:21:31Z","title_canon_sha256":"e4f65c961cee13dea95ce4c0250b0549837f0812efe28c1895bc7d7a08d2683a"},"schema_version":"1.0","source":{"id":"1712.08138","kind":"arxiv","version":3}},"canonical_sha256":"4f7827818d4a67c58bec42a8e77fba3798d75d955fdc6e755abb2166f01d38be","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4f7827818d4a67c58bec42a8e77fba3798d75d955fdc6e755abb2166f01d38be","first_computed_at":"2026-05-18T00:26:59.855723Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:26:59.855723Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wXjUJsh9qvwxJL2mHylWOSDSY+UPfpYcRKWsVKj1XEjKCCC9pcTnA7svHMZZI3jyf+a3AIBJICDcJjp4HGu3Cw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:26:59.856488Z","signed_message":"canonical_sha256_bytes"},"source_id":"1712.08138","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:20a21653a29603523cbae2f9118f410867fd25e88b510e237ebf1b13782c50e2","sha256:384d2a5118b76caf1537988aa0e579688d5695de40e3039f446ff7fb58bf58f1"],"state_sha256":"8e5b3d6928274f33a31af64b940fed4fdc3bf08d8208999c2c61d5c04399d8f6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wtXq3qnfosOrNda14Q67bq/66VYrMnZjnCJxgf1AnVH9C2SPiswoAP+/nwQdk+BdkMNWO3TzZB1GyctrLlz9Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-03T02:49:23.610530Z","bundle_sha256":"8e9fdcb9553b208f2cff2c8ce97fd5bde0734c14c49f99d373871851be8db914"}}