{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:DMVJ5AW4KHPYLFTQLSNFMFECJ4","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":"ee07d89a9a0ecbb285c4ae45a8f05bcf76c6b5152758f43089284bf8affd56d2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-09-18T17:38:48Z","title_canon_sha256":"983c763f03febec4455c3afdc88e0669c8cffdd2524231c7ffb3c9798d6e703e"},"schema_version":"1.0","source":{"id":"1709.06062","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.06062","created_at":"2026-05-18T00:34:33Z"},{"alias_kind":"arxiv_version","alias_value":"1709.06062v2","created_at":"2026-05-18T00:34:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.06062","created_at":"2026-05-18T00:34:33Z"},{"alias_kind":"pith_short_12","alias_value":"DMVJ5AW4KHPY","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_16","alias_value":"DMVJ5AW4KHPYLFTQ","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_8","alias_value":"DMVJ5AW4","created_at":"2026-05-18T12:31:12Z"}],"graph_snapshots":[{"event_id":"sha256:b5716bea4ee90eecce0f6799b60644f5cab6a62bb7d8e7c0e6141521c42b6acf","target":"graph","created_at":"2026-05-18T00:34:33Z","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 light of the celebrated theorem of Vop\\v{e}nka (1972), proving in ZFC that every set is generic over HOD, it is natural to inquire whether the set-theoretic universe $V$ must be a class-forcing extension of HOD by some possibly proper-class forcing notion in HOD. We show, negatively, that if ZFC is consistent, then there is a model of ZFC that is not a class-forcing extension of its HOD for any class forcing notion definable in HOD and with definable forcing relations there (allowing parameters). Meanwhile, S. Friedman (2012) showed, positively, that if one augments HOD with a certain ZFC-a","authors_text":"Joel David Hamkins, Jonas Reitz","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-09-18T17:38:48Z","title":"The set-theoretic universe $V$ is not necessarily a class-forcing extension of HOD"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.06062","kind":"arxiv","version":2},"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:b33eff33732b2af68efeb075126034a97fede86b16c8ec3a9f7ea10b59848080","target":"record","created_at":"2026-05-18T00:34:33Z","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":"ee07d89a9a0ecbb285c4ae45a8f05bcf76c6b5152758f43089284bf8affd56d2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-09-18T17:38:48Z","title_canon_sha256":"983c763f03febec4455c3afdc88e0669c8cffdd2524231c7ffb3c9798d6e703e"},"schema_version":"1.0","source":{"id":"1709.06062","kind":"arxiv","version":2}},"canonical_sha256":"1b2a9e82dc51df8596705c9a5614824f2f09c8a4f62fbb97783ce390d635109c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1b2a9e82dc51df8596705c9a5614824f2f09c8a4f62fbb97783ce390d635109c","first_computed_at":"2026-05-18T00:34:33.131745Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:34:33.131745Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8AYjjSFMnp3qbpm2B3WTOEhGbYD9qWT11fZ9Hk7ogMwevFWvoYD20ILDahgpNvqoDnjP16z7f6X8bP8/vUELAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:34:33.132225Z","signed_message":"canonical_sha256_bytes"},"source_id":"1709.06062","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b33eff33732b2af68efeb075126034a97fede86b16c8ec3a9f7ea10b59848080","sha256:b5716bea4ee90eecce0f6799b60644f5cab6a62bb7d8e7c0e6141521c42b6acf"],"state_sha256":"1a3c6d2544cbc2ddc7c105202be4bcb14938be1739de2485c419be0bf68c4df0"}