{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:1996:XPFU5PF3PYDYGXEI64FG6MYN5O","short_pith_number":"pith:XPFU5PF3","canonical_record":{"source":{"id":"math/9611208","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math.LO","submitted_at":"1996-11-13T00:00:00Z","cross_cats_sorted":[],"title_canon_sha256":"1225dfc13298cb0400f7df6b0b80db92fab611b729d27daf81dd73751dce49dd","abstract_canon_sha256":"d4dc712f196ab98e9c253b285dcb6d2388304fd11adc60086c11a57cd7b5e317"},"schema_version":"1.0"},"canonical_sha256":"bbcb4ebcbb7e07835c88f70a6f330debbedc6a434e54191b1c8efeea51ebd77f","source":{"kind":"arxiv","id":"math/9611208","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/9611208","created_at":"2026-05-18T01:05:46Z"},{"alias_kind":"arxiv_version","alias_value":"math/9611208v1","created_at":"2026-05-18T01:05:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/9611208","created_at":"2026-05-18T01:05:46Z"},{"alias_kind":"pith_short_12","alias_value":"XPFU5PF3PYDY","created_at":"2026-05-18T12:25:48Z"},{"alias_kind":"pith_short_16","alias_value":"XPFU5PF3PYDYGXEI","created_at":"2026-05-18T12:25:48Z"},{"alias_kind":"pith_short_8","alias_value":"XPFU5PF3","created_at":"2026-05-18T12:25:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:1996:XPFU5PF3PYDYGXEI64FG6MYN5O","target":"record","payload":{"canonical_record":{"source":{"id":"math/9611208","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math.LO","submitted_at":"1996-11-13T00:00:00Z","cross_cats_sorted":[],"title_canon_sha256":"1225dfc13298cb0400f7df6b0b80db92fab611b729d27daf81dd73751dce49dd","abstract_canon_sha256":"d4dc712f196ab98e9c253b285dcb6d2388304fd11adc60086c11a57cd7b5e317"},"schema_version":"1.0"},"canonical_sha256":"bbcb4ebcbb7e07835c88f70a6f330debbedc6a434e54191b1c8efeea51ebd77f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:05:46.939569Z","signature_b64":"Gg3ibKoFBkuL63xX/JKqUTPURfELYwfjSK0Pi9sclvmOWkKXcu51rWTYJLmbAgxmQQbRZCvcsoSUz7qOAvkjBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bbcb4ebcbb7e07835c88f70a6f330debbedc6a434e54191b1c8efeea51ebd77f","last_reissued_at":"2026-05-18T01:05:46.939137Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:05:46.939137Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"math/9611208","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-18T01:05:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R6dsZEqCwmlRk+K4ma+QIzC1Qd4Jm99MuVRWd2LTwR/KCBe2zI1TlISJFC44ObTLASAmOc3uKE1Wi+EiL/lNDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T07:41:36.464759Z"},"content_sha256":"69d7e4fbc3fb183d0149dfdab5de211c1a2f19c8ff4609a11beeaf0d1ee6cef5","schema_version":"1.0","event_id":"sha256:69d7e4fbc3fb183d0149dfdab5de211c1a2f19c8ff4609a11beeaf0d1ee6cef5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:1996:XPFU5PF3PYDYGXEI64FG6MYN5O","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Heights of Models of $ZFC$ and the Existence of End Elementary Extensions","license":"","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Andres Villaveces","submitted_at":"1996-11-13T00:00:00Z","abstract_excerpt":"The existence of End Elementary Extensions of models M of ZFC is related to the ordinal height of M, according to classical results due to Keisler, Morley and Silver. In this paper, we further investigate the connection between the height of M and the existence of End Elementary Extensions of M. In particular, we prove that the theory `ZFC + GCH + there exist measurable cardinals + all inaccessible non weakly compact cardinals are possible heights of models with no End Elementary Extensions' is consistent relative to the theory `ZFC + GCH + there exist measurable cardinals + the weakly compact"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/9611208","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-18T01:05:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1XEEVLTvg3VTmyGkxuY5pR8IzQ0Up/j38Sgg/CMxkRLu7F80WuNImGGk/AwR42jLO7HQY12pHb0R3frOCaJNAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T07:41:36.465101Z"},"content_sha256":"6d6cd9673e9cdcac55761f88f819435dfa277c4224981b72bcbda50b8848274a","schema_version":"1.0","event_id":"sha256:6d6cd9673e9cdcac55761f88f819435dfa277c4224981b72bcbda50b8848274a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XPFU5PF3PYDYGXEI64FG6MYN5O/bundle.json","state_url":"https://pith.science/pith/XPFU5PF3PYDYGXEI64FG6MYN5O/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XPFU5PF3PYDYGXEI64FG6MYN5O/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-02T07:41:36Z","links":{"resolver":"https://pith.science/pith/XPFU5PF3PYDYGXEI64FG6MYN5O","bundle":"https://pith.science/pith/XPFU5PF3PYDYGXEI64FG6MYN5O/bundle.json","state":"https://pith.science/pith/XPFU5PF3PYDYGXEI64FG6MYN5O/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XPFU5PF3PYDYGXEI64FG6MYN5O/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:1996:XPFU5PF3PYDYGXEI64FG6MYN5O","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":"d4dc712f196ab98e9c253b285dcb6d2388304fd11adc60086c11a57cd7b5e317","cross_cats_sorted":[],"license":"","primary_cat":"math.LO","submitted_at":"1996-11-13T00:00:00Z","title_canon_sha256":"1225dfc13298cb0400f7df6b0b80db92fab611b729d27daf81dd73751dce49dd"},"schema_version":"1.0","source":{"id":"math/9611208","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/9611208","created_at":"2026-05-18T01:05:46Z"},{"alias_kind":"arxiv_version","alias_value":"math/9611208v1","created_at":"2026-05-18T01:05:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/9611208","created_at":"2026-05-18T01:05:46Z"},{"alias_kind":"pith_short_12","alias_value":"XPFU5PF3PYDY","created_at":"2026-05-18T12:25:48Z"},{"alias_kind":"pith_short_16","alias_value":"XPFU5PF3PYDYGXEI","created_at":"2026-05-18T12:25:48Z"},{"alias_kind":"pith_short_8","alias_value":"XPFU5PF3","created_at":"2026-05-18T12:25:48Z"}],"graph_snapshots":[{"event_id":"sha256:6d6cd9673e9cdcac55761f88f819435dfa277c4224981b72bcbda50b8848274a","target":"graph","created_at":"2026-05-18T01:05: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 existence of End Elementary Extensions of models M of ZFC is related to the ordinal height of M, according to classical results due to Keisler, Morley and Silver. In this paper, we further investigate the connection between the height of M and the existence of End Elementary Extensions of M. In particular, we prove that the theory `ZFC + GCH + there exist measurable cardinals + all inaccessible non weakly compact cardinals are possible heights of models with no End Elementary Extensions' is consistent relative to the theory `ZFC + GCH + there exist measurable cardinals + the weakly compact","authors_text":"Andres Villaveces","cross_cats":[],"headline":"","license":"","primary_cat":"math.LO","submitted_at":"1996-11-13T00:00:00Z","title":"Heights of Models of $ZFC$ and the Existence of End Elementary Extensions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/9611208","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:69d7e4fbc3fb183d0149dfdab5de211c1a2f19c8ff4609a11beeaf0d1ee6cef5","target":"record","created_at":"2026-05-18T01:05: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":"d4dc712f196ab98e9c253b285dcb6d2388304fd11adc60086c11a57cd7b5e317","cross_cats_sorted":[],"license":"","primary_cat":"math.LO","submitted_at":"1996-11-13T00:00:00Z","title_canon_sha256":"1225dfc13298cb0400f7df6b0b80db92fab611b729d27daf81dd73751dce49dd"},"schema_version":"1.0","source":{"id":"math/9611208","kind":"arxiv","version":1}},"canonical_sha256":"bbcb4ebcbb7e07835c88f70a6f330debbedc6a434e54191b1c8efeea51ebd77f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bbcb4ebcbb7e07835c88f70a6f330debbedc6a434e54191b1c8efeea51ebd77f","first_computed_at":"2026-05-18T01:05:46.939137Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:05:46.939137Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Gg3ibKoFBkuL63xX/JKqUTPURfELYwfjSK0Pi9sclvmOWkKXcu51rWTYJLmbAgxmQQbRZCvcsoSUz7qOAvkjBg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:05:46.939569Z","signed_message":"canonical_sha256_bytes"},"source_id":"math/9611208","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:69d7e4fbc3fb183d0149dfdab5de211c1a2f19c8ff4609a11beeaf0d1ee6cef5","sha256:6d6cd9673e9cdcac55761f88f819435dfa277c4224981b72bcbda50b8848274a"],"state_sha256":"1b0640989e8494db50249bab911457bd005d05e72252da73a87e1d8a432a63be"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aP6C2RXagFBpIpKGbR3mmJIbIys/E05CxlllqfBvyUXdgl+9Gqv4ylNgX2dnVcSZXWmaZJ7hLJaJdXg9/EQ+Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T07:41:36.467269Z","bundle_sha256":"0d7d91c293a8c9643068de39a18a6129f5e17cc6b0116a63f4729db8c653e2c5"}}