{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:IASWGCYKM5UEE7RGA3OXVHE3SO","short_pith_number":"pith:IASWGCYK","canonical_record":{"source":{"id":"1710.10826","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-10-30T09:41:52Z","cross_cats_sorted":[],"title_canon_sha256":"4f0a9a2fe2096052f9157447515fac24884aad0b3b1e3fda916f88646fb9a3dc","abstract_canon_sha256":"5808d03ce70909637966494d5b16626f5feeea103f7f72421e3067457a50bc42"},"schema_version":"1.0"},"canonical_sha256":"4025630b0a6768427e2606dd7a9c9b9395c685c7fd01e365d709e0992321ef34","source":{"kind":"arxiv","id":"1710.10826","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.10826","created_at":"2026-05-18T00:31:46Z"},{"alias_kind":"arxiv_version","alias_value":"1710.10826v1","created_at":"2026-05-18T00:31:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.10826","created_at":"2026-05-18T00:31:46Z"},{"alias_kind":"pith_short_12","alias_value":"IASWGCYKM5UE","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_16","alias_value":"IASWGCYKM5UEE7RG","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_8","alias_value":"IASWGCYK","created_at":"2026-05-18T12:31:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:IASWGCYKM5UEE7RGA3OXVHE3SO","target":"record","payload":{"canonical_record":{"source":{"id":"1710.10826","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-10-30T09:41:52Z","cross_cats_sorted":[],"title_canon_sha256":"4f0a9a2fe2096052f9157447515fac24884aad0b3b1e3fda916f88646fb9a3dc","abstract_canon_sha256":"5808d03ce70909637966494d5b16626f5feeea103f7f72421e3067457a50bc42"},"schema_version":"1.0"},"canonical_sha256":"4025630b0a6768427e2606dd7a9c9b9395c685c7fd01e365d709e0992321ef34","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:31:46.379090Z","signature_b64":"G3lonv9T9ATAUngoKPBQgMm3vbDa/cWWHvXNZoOxWcWo3+X7fMiwrF7rKHaflreiX4igjKVaOAymGqR8EHhICA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4025630b0a6768427e2606dd7a9c9b9395c685c7fd01e365d709e0992321ef34","last_reissued_at":"2026-05-18T00:31:46.378422Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:31:46.378422Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1710.10826","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:31:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rEprjhdCMhNNJn38oGDxFrXTjvzt+oLGvYL99dHYepmDIbRTxtkx724MmJJvUruveLivF3v99lzIWu+mS9fvAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T22:14:35.726310Z"},"content_sha256":"0c0c14037891e4de3f17a3684255b6f1b0769d005b8c36d347d843a569ed6807","schema_version":"1.0","event_id":"sha256:0c0c14037891e4de3f17a3684255b6f1b0769d005b8c36d347d843a569ed6807"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:IASWGCYKM5UEE7RGA3OXVHE3SO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Sufficient conditions for the forcing theorem, and turning proper classes into sets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Peter Holy, Philipp Schlicht, Regula Krapf","submitted_at":"2017-10-30T09:41:52Z","abstract_excerpt":"We present three natural combinatorial properties for class forcing notions, which imply the forcing theorem to hold. We then show that all known sufficent conditions for the forcing theorem (except for the forcing theorem itself), including the three properties presented in this paper, imply yet another regularity property for class forcing notions, namely that proper classes of the ground model cannot become sets in a generic extension, that is they do not have set-sized names in the ground model. We then show that over certain models of G\\\"odel-Bernays set theory without the power set axiom"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.10826","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:31:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wScBkfVTOELibm4LHK8x2BqdUE9fgYbFOW7jSZOvZFYPHWctGcczQolbJSgR3qvDRJjFghMnIt5F8b7DH44mAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T22:14:35.727024Z"},"content_sha256":"5808235937232caf14e576940563fb9b2d43fdd8d4575f8b6720349dea89938a","schema_version":"1.0","event_id":"sha256:5808235937232caf14e576940563fb9b2d43fdd8d4575f8b6720349dea89938a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IASWGCYKM5UEE7RGA3OXVHE3SO/bundle.json","state_url":"https://pith.science/pith/IASWGCYKM5UEE7RGA3OXVHE3SO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IASWGCYKM5UEE7RGA3OXVHE3SO/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-06-06T22:14:35Z","links":{"resolver":"https://pith.science/pith/IASWGCYKM5UEE7RGA3OXVHE3SO","bundle":"https://pith.science/pith/IASWGCYKM5UEE7RGA3OXVHE3SO/bundle.json","state":"https://pith.science/pith/IASWGCYKM5UEE7RGA3OXVHE3SO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IASWGCYKM5UEE7RGA3OXVHE3SO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:IASWGCYKM5UEE7RGA3OXVHE3SO","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":"5808d03ce70909637966494d5b16626f5feeea103f7f72421e3067457a50bc42","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-10-30T09:41:52Z","title_canon_sha256":"4f0a9a2fe2096052f9157447515fac24884aad0b3b1e3fda916f88646fb9a3dc"},"schema_version":"1.0","source":{"id":"1710.10826","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.10826","created_at":"2026-05-18T00:31:46Z"},{"alias_kind":"arxiv_version","alias_value":"1710.10826v1","created_at":"2026-05-18T00:31:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.10826","created_at":"2026-05-18T00:31:46Z"},{"alias_kind":"pith_short_12","alias_value":"IASWGCYKM5UE","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_16","alias_value":"IASWGCYKM5UEE7RG","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_8","alias_value":"IASWGCYK","created_at":"2026-05-18T12:31:21Z"}],"graph_snapshots":[{"event_id":"sha256:5808235937232caf14e576940563fb9b2d43fdd8d4575f8b6720349dea89938a","target":"graph","created_at":"2026-05-18T00:31:46Z","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":"We present three natural combinatorial properties for class forcing notions, which imply the forcing theorem to hold. We then show that all known sufficent conditions for the forcing theorem (except for the forcing theorem itself), including the three properties presented in this paper, imply yet another regularity property for class forcing notions, namely that proper classes of the ground model cannot become sets in a generic extension, that is they do not have set-sized names in the ground model. We then show that over certain models of G\\\"odel-Bernays set theory without the power set axiom","authors_text":"Peter Holy, Philipp Schlicht, Regula Krapf","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-10-30T09:41:52Z","title":"Sufficient conditions for the forcing theorem, and turning proper classes into sets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.10826","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:0c0c14037891e4de3f17a3684255b6f1b0769d005b8c36d347d843a569ed6807","target":"record","created_at":"2026-05-18T00:31:46Z","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":"5808d03ce70909637966494d5b16626f5feeea103f7f72421e3067457a50bc42","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-10-30T09:41:52Z","title_canon_sha256":"4f0a9a2fe2096052f9157447515fac24884aad0b3b1e3fda916f88646fb9a3dc"},"schema_version":"1.0","source":{"id":"1710.10826","kind":"arxiv","version":1}},"canonical_sha256":"4025630b0a6768427e2606dd7a9c9b9395c685c7fd01e365d709e0992321ef34","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4025630b0a6768427e2606dd7a9c9b9395c685c7fd01e365d709e0992321ef34","first_computed_at":"2026-05-18T00:31:46.378422Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:31:46.378422Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"G3lonv9T9ATAUngoKPBQgMm3vbDa/cWWHvXNZoOxWcWo3+X7fMiwrF7rKHaflreiX4igjKVaOAymGqR8EHhICA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:31:46.379090Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.10826","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0c0c14037891e4de3f17a3684255b6f1b0769d005b8c36d347d843a569ed6807","sha256:5808235937232caf14e576940563fb9b2d43fdd8d4575f8b6720349dea89938a"],"state_sha256":"2a6bcac61958ca6bcbeb0582694549da99162ba7470f5bc18205bca1a57eeee3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"X92Nh0PAoddR/mceXKA0aXTPt2meD6jYjYx5+N1jyE9KuPFmV+BGdGhlqKcR25ph7EcWxMWHS7l0AMoW7ASrDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T22:14:35.730952Z","bundle_sha256":"2569ebeb84b75312ab8d41af3e447e07966151f2e74a0c75f08d82a15c97a669"}}