{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:1998:Q3UE7KC7GBMX6CMU6WTLJWUSLT","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":"9be564dde3880f5e3d73d1782152c770293fc4c4f062328e6e58d617b2d753ed","cross_cats_sorted":[],"license":"","primary_cat":"math.LO","submitted_at":"1998-09-15T00:00:00Z","title_canon_sha256":"260674e35fe7a7fdfe7e5a720b63dbb46f6b91b6e02f6b7a9f700818aee8734b"},"schema_version":"1.0","source":{"id":"math/9809200","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/9809200","created_at":"2026-05-18T01:05:33Z"},{"alias_kind":"arxiv_version","alias_value":"math/9809200v1","created_at":"2026-05-18T01:05:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/9809200","created_at":"2026-05-18T01:05:33Z"},{"alias_kind":"pith_short_12","alias_value":"Q3UE7KC7GBMX","created_at":"2026-05-18T12:25:49Z"},{"alias_kind":"pith_short_16","alias_value":"Q3UE7KC7GBMX6CMU","created_at":"2026-05-18T12:25:49Z"},{"alias_kind":"pith_short_8","alias_value":"Q3UE7KC7","created_at":"2026-05-18T12:25:49Z"}],"graph_snapshots":[{"event_id":"sha256:38e3220067476c43169a1b8498c4b6d8ec19f028b05fd46e72315321b2cd98f3","target":"graph","created_at":"2026-05-18T01:05: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":"We argue that we solved Hilbert's first problem positively (after reformulating it just to avoid the known consistency results) and give some applications. Let lambda to the revised power of kappa, denoted lambda^{[kappa]}, be the minimal cardinality of a family of subsets of lambda each of cardinality kappa such that any other subset of lambda of cardinality kappa is included in the union of <kappa members of the family. The main theorem says that almost always this revised power is equal to lambda. Our main result is The Revised GCH Theorem:\n  Assume we fix an uncountable strong limit cardin","authors_text":"Saharon Shelah","cross_cats":[],"headline":"","license":"","primary_cat":"math.LO","submitted_at":"1998-09-15T00:00:00Z","title":"The Generalized Continuum Hypothesis revisited"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/9809200","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:2529a53299f0c7a14da01c39b79d644932a4830d467b8f6b77d9379dfc6423ba","target":"record","created_at":"2026-05-18T01:05: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":"9be564dde3880f5e3d73d1782152c770293fc4c4f062328e6e58d617b2d753ed","cross_cats_sorted":[],"license":"","primary_cat":"math.LO","submitted_at":"1998-09-15T00:00:00Z","title_canon_sha256":"260674e35fe7a7fdfe7e5a720b63dbb46f6b91b6e02f6b7a9f700818aee8734b"},"schema_version":"1.0","source":{"id":"math/9809200","kind":"arxiv","version":1}},"canonical_sha256":"86e84fa85f30597f0994f5a6b4da925cdbbb09ef7a0f0817925d8a3439e5d5c0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"86e84fa85f30597f0994f5a6b4da925cdbbb09ef7a0f0817925d8a3439e5d5c0","first_computed_at":"2026-05-18T01:05:33.696969Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:05:33.696969Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4fq591XjInD8TkaU+e71oAOz36XcvaXc6mEAmaNTZcLpMLH8T7SDtZ2JkK3Zmlkidy/HKTvrdgmYGp0tkrYmDw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:05:33.697591Z","signed_message":"canonical_sha256_bytes"},"source_id":"math/9809200","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2529a53299f0c7a14da01c39b79d644932a4830d467b8f6b77d9379dfc6423ba","sha256:38e3220067476c43169a1b8498c4b6d8ec19f028b05fd46e72315321b2cd98f3"],"state_sha256":"4f2c41771f771cb69e587600d1174653e3675edd4a262344fc7f8d0821bef96c"}