{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:3OJYBR5VUHMXNLRU54HKSOK6EM","short_pith_number":"pith:3OJYBR5V","canonical_record":{"source":{"id":"1710.10820","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-10-30T09:33:02Z","cross_cats_sorted":[],"title_canon_sha256":"504069399a6597c29ceebf1ee99cea66f59108ad8eae475e913890e445a3f530","abstract_canon_sha256":"980cd698fd4bcc792ec0807260f052c298a1ad7c0d0bef5c8a0776fd8ff762f1"},"schema_version":"1.0"},"canonical_sha256":"db9380c7b5a1d976ae34ef0ea9395e230e29ba36d5d5ae1a3c7836b1fa77a8cc","source":{"kind":"arxiv","id":"1710.10820","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.10820","created_at":"2026-05-18T00:31:46Z"},{"alias_kind":"arxiv_version","alias_value":"1710.10820v1","created_at":"2026-05-18T00:31:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.10820","created_at":"2026-05-18T00:31:46Z"},{"alias_kind":"pith_short_12","alias_value":"3OJYBR5VUHMX","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"3OJYBR5VUHMXNLRU","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"3OJYBR5V","created_at":"2026-05-18T12:30:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:3OJYBR5VUHMXNLRU54HKSOK6EM","target":"record","payload":{"canonical_record":{"source":{"id":"1710.10820","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-10-30T09:33:02Z","cross_cats_sorted":[],"title_canon_sha256":"504069399a6597c29ceebf1ee99cea66f59108ad8eae475e913890e445a3f530","abstract_canon_sha256":"980cd698fd4bcc792ec0807260f052c298a1ad7c0d0bef5c8a0776fd8ff762f1"},"schema_version":"1.0"},"canonical_sha256":"db9380c7b5a1d976ae34ef0ea9395e230e29ba36d5d5ae1a3c7836b1fa77a8cc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:31:46.395986Z","signature_b64":"iJOOe2efG3JEQQ6o2+F0nkLhiXCGNPILQEEb1Q4GpbzghGJIq2YwkH0MnnaW4C+0IuJMK+IZsYFtWzTg645XAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"db9380c7b5a1d976ae34ef0ea9395e230e29ba36d5d5ae1a3c7836b1fa77a8cc","last_reissued_at":"2026-05-18T00:31:46.395310Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:31:46.395310Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1710.10820","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":"MpCLfwzHjX+iympowL1za8DuA2EG4JtV/c1ID9NsaojnCIrsF7Kqin5NBbitgPaXPaRqxHO30irQfoX5WPNDDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T19:03:36.653596Z"},"content_sha256":"0aa4454f3d869ad9406cbc03e77cad9a06f466e3703098a2eecb4ccf924d1da6","schema_version":"1.0","event_id":"sha256:0aa4454f3d869ad9406cbc03e77cad9a06f466e3703098a2eecb4ccf924d1da6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:3OJYBR5VUHMXNLRU54HKSOK6EM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Class forcing, the forcing theorem and Boolean completions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Ana Njegomir, Peter Holy, Philipp L\\\"ucke, Philipp Schlicht, Regula Krapf","submitted_at":"2017-10-30T09:33:02Z","abstract_excerpt":"The forcing theorem is the most fundamental result about set forcing, stating that the forcing relation for any set forcing is definable and that the truth lemma holds, that is everything that holds in a generic extension is forced by a condition in the relevant generic filter. We show that both the definability (and, in fact, even the amenability) of the forcing relation and the truth lemma can fail for class forcing. In addition to these negative results, we show that the forcing theorem is equivalent to the existence of a (certain kind of) Boolean completion, and we introduce a weak combina"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.10820","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":"YAbhp+4w92H94f4pExuzD39ie4oBxDBvbrSRTZHi04WnfrKYJF/Ms0Y1MlQLorISnZxOZdI0jbx9HGqwAknyAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T19:03:36.653942Z"},"content_sha256":"b31edd801fd5bc688c636131b1e5b41c2c0cae4cfa4c3e1a928ca380de2b3105","schema_version":"1.0","event_id":"sha256:b31edd801fd5bc688c636131b1e5b41c2c0cae4cfa4c3e1a928ca380de2b3105"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3OJYBR5VUHMXNLRU54HKSOK6EM/bundle.json","state_url":"https://pith.science/pith/3OJYBR5VUHMXNLRU54HKSOK6EM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3OJYBR5VUHMXNLRU54HKSOK6EM/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-07T19:03:36Z","links":{"resolver":"https://pith.science/pith/3OJYBR5VUHMXNLRU54HKSOK6EM","bundle":"https://pith.science/pith/3OJYBR5VUHMXNLRU54HKSOK6EM/bundle.json","state":"https://pith.science/pith/3OJYBR5VUHMXNLRU54HKSOK6EM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3OJYBR5VUHMXNLRU54HKSOK6EM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:3OJYBR5VUHMXNLRU54HKSOK6EM","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":"980cd698fd4bcc792ec0807260f052c298a1ad7c0d0bef5c8a0776fd8ff762f1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-10-30T09:33:02Z","title_canon_sha256":"504069399a6597c29ceebf1ee99cea66f59108ad8eae475e913890e445a3f530"},"schema_version":"1.0","source":{"id":"1710.10820","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.10820","created_at":"2026-05-18T00:31:46Z"},{"alias_kind":"arxiv_version","alias_value":"1710.10820v1","created_at":"2026-05-18T00:31:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.10820","created_at":"2026-05-18T00:31:46Z"},{"alias_kind":"pith_short_12","alias_value":"3OJYBR5VUHMX","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"3OJYBR5VUHMXNLRU","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"3OJYBR5V","created_at":"2026-05-18T12:30:58Z"}],"graph_snapshots":[{"event_id":"sha256:b31edd801fd5bc688c636131b1e5b41c2c0cae4cfa4c3e1a928ca380de2b3105","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":"The forcing theorem is the most fundamental result about set forcing, stating that the forcing relation for any set forcing is definable and that the truth lemma holds, that is everything that holds in a generic extension is forced by a condition in the relevant generic filter. We show that both the definability (and, in fact, even the amenability) of the forcing relation and the truth lemma can fail for class forcing. In addition to these negative results, we show that the forcing theorem is equivalent to the existence of a (certain kind of) Boolean completion, and we introduce a weak combina","authors_text":"Ana Njegomir, Peter Holy, Philipp L\\\"ucke, 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:33:02Z","title":"Class forcing, the forcing theorem and Boolean completions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.10820","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:0aa4454f3d869ad9406cbc03e77cad9a06f466e3703098a2eecb4ccf924d1da6","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":"980cd698fd4bcc792ec0807260f052c298a1ad7c0d0bef5c8a0776fd8ff762f1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-10-30T09:33:02Z","title_canon_sha256":"504069399a6597c29ceebf1ee99cea66f59108ad8eae475e913890e445a3f530"},"schema_version":"1.0","source":{"id":"1710.10820","kind":"arxiv","version":1}},"canonical_sha256":"db9380c7b5a1d976ae34ef0ea9395e230e29ba36d5d5ae1a3c7836b1fa77a8cc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"db9380c7b5a1d976ae34ef0ea9395e230e29ba36d5d5ae1a3c7836b1fa77a8cc","first_computed_at":"2026-05-18T00:31:46.395310Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:31:46.395310Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iJOOe2efG3JEQQ6o2+F0nkLhiXCGNPILQEEb1Q4GpbzghGJIq2YwkH0MnnaW4C+0IuJMK+IZsYFtWzTg645XAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:31:46.395986Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.10820","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0aa4454f3d869ad9406cbc03e77cad9a06f466e3703098a2eecb4ccf924d1da6","sha256:b31edd801fd5bc688c636131b1e5b41c2c0cae4cfa4c3e1a928ca380de2b3105"],"state_sha256":"63bd9552778583a16a10f62e047238dcac32688f7a673c020d47aefa248ae44e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WckC3dVWq/aEY3E1SOAJvLRz9gHf8S8s6AexyXNunS9k47FdA+cW9+k1aVU/msXPbQPFPCG0Lcqd7GMYNdNaBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T19:03:36.657247Z","bundle_sha256":"237f992e1865e1b3f42145ce3e01c92dda7969e50d532175f3e3533e39f4f044"}}