{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:BTUXALA673PPC2FH46LP5YVWWG","short_pith_number":"pith:BTUXALA6","canonical_record":{"source":{"id":"1810.04288","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-10-09T22:40:38Z","cross_cats_sorted":[],"title_canon_sha256":"1bea83c321358c7abd4daab666382cfd1d254bfbc0d46c05c411e42904bf94f0","abstract_canon_sha256":"4a424d4d8b778a6f3c57eb5771e919330db3a150b42f3480312dfd5b19a89fa8"},"schema_version":"1.0"},"canonical_sha256":"0ce9702c1efedef168a7e796fee2b6b1980543182c903ec00b0f54dbedb7c606","source":{"kind":"arxiv","id":"1810.04288","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.04288","created_at":"2026-05-18T00:03:40Z"},{"alias_kind":"arxiv_version","alias_value":"1810.04288v1","created_at":"2026-05-18T00:03:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.04288","created_at":"2026-05-18T00:03:40Z"},{"alias_kind":"pith_short_12","alias_value":"BTUXALA673PP","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"BTUXALA673PPC2FH","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"BTUXALA6","created_at":"2026-05-18T12:32:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:BTUXALA673PPC2FH46LP5YVWWG","target":"record","payload":{"canonical_record":{"source":{"id":"1810.04288","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-10-09T22:40:38Z","cross_cats_sorted":[],"title_canon_sha256":"1bea83c321358c7abd4daab666382cfd1d254bfbc0d46c05c411e42904bf94f0","abstract_canon_sha256":"4a424d4d8b778a6f3c57eb5771e919330db3a150b42f3480312dfd5b19a89fa8"},"schema_version":"1.0"},"canonical_sha256":"0ce9702c1efedef168a7e796fee2b6b1980543182c903ec00b0f54dbedb7c606","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:03:40.541635Z","signature_b64":"hV7VH82/mp4Zr0eVniQpNRBld135JnFDD4ThhAjKzeseYtNRMmmyET0pkmmqy9MvEhIKQCN8kUzal7jgYsGJBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0ce9702c1efedef168a7e796fee2b6b1980543182c903ec00b0f54dbedb7c606","last_reissued_at":"2026-05-18T00:03:40.541135Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:03:40.541135Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1810.04288","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:03:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RSZQfqodanXoWxpI18XUQ21WVIiYgUlwDLCDjTxkbNRwA+wyPosHoqWi3LAZqXXdcdGyVWFCasyCGQH+rR+8Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T16:15:31.428260Z"},"content_sha256":"3a336e09067decc5f8f7cf4649a160b3ce3ab3db77d5b7e7fcefed89f5303b52","schema_version":"1.0","event_id":"sha256:3a336e09067decc5f8f7cf4649a160b3ce3ab3db77d5b7e7fcefed89f5303b52"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:BTUXALA673PPC2FH46LP5YVWWG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Rudin-Frolik order and the Ultrapower Axiom","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Gabriel Goldberg","submitted_at":"2018-10-09T22:40:38Z","abstract_excerpt":"We study the structure of the Rudin-Frolik order on countably complete ultrafilters under the assumption that this order is directed. This assumption, called the Ultrapower Axiom, holds in all known canonical inner models. It turns out that assuming the Ultrapower Axiom, much more about the Rudin-Frolik order can be determined. Our main theorem is that under the Ultrapower Axiom, a countably complete ultrafilter has at most finitely many predecessors in the Rudin-Frolik order. In other words, any wellfounded ultrapower (of the universe) is the ultrapower of at most finitely many ultrapowers."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.04288","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:03:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"t3QlbTLme+V4Lw5nLAKgaWPXDNILtggr2k0kH8II1MwF0dqU7Lb8EZbrO9wjuwIS7CBCrf6FeN1Gi9/fU+jcDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T16:15:31.428621Z"},"content_sha256":"56302c558fd9324e482efbef1d960b22886d4389bdd8163637ca4df0ec6b5632","schema_version":"1.0","event_id":"sha256:56302c558fd9324e482efbef1d960b22886d4389bdd8163637ca4df0ec6b5632"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BTUXALA673PPC2FH46LP5YVWWG/bundle.json","state_url":"https://pith.science/pith/BTUXALA673PPC2FH46LP5YVWWG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BTUXALA673PPC2FH46LP5YVWWG/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-07-03T16:15:31Z","links":{"resolver":"https://pith.science/pith/BTUXALA673PPC2FH46LP5YVWWG","bundle":"https://pith.science/pith/BTUXALA673PPC2FH46LP5YVWWG/bundle.json","state":"https://pith.science/pith/BTUXALA673PPC2FH46LP5YVWWG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BTUXALA673PPC2FH46LP5YVWWG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:BTUXALA673PPC2FH46LP5YVWWG","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":"4a424d4d8b778a6f3c57eb5771e919330db3a150b42f3480312dfd5b19a89fa8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-10-09T22:40:38Z","title_canon_sha256":"1bea83c321358c7abd4daab666382cfd1d254bfbc0d46c05c411e42904bf94f0"},"schema_version":"1.0","source":{"id":"1810.04288","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.04288","created_at":"2026-05-18T00:03:40Z"},{"alias_kind":"arxiv_version","alias_value":"1810.04288v1","created_at":"2026-05-18T00:03:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.04288","created_at":"2026-05-18T00:03:40Z"},{"alias_kind":"pith_short_12","alias_value":"BTUXALA673PP","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"BTUXALA673PPC2FH","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"BTUXALA6","created_at":"2026-05-18T12:32:16Z"}],"graph_snapshots":[{"event_id":"sha256:56302c558fd9324e482efbef1d960b22886d4389bdd8163637ca4df0ec6b5632","target":"graph","created_at":"2026-05-18T00:03:40Z","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 study the structure of the Rudin-Frolik order on countably complete ultrafilters under the assumption that this order is directed. This assumption, called the Ultrapower Axiom, holds in all known canonical inner models. It turns out that assuming the Ultrapower Axiom, much more about the Rudin-Frolik order can be determined. Our main theorem is that under the Ultrapower Axiom, a countably complete ultrafilter has at most finitely many predecessors in the Rudin-Frolik order. In other words, any wellfounded ultrapower (of the universe) is the ultrapower of at most finitely many ultrapowers.","authors_text":"Gabriel Goldberg","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-10-09T22:40:38Z","title":"The Rudin-Frolik order and the Ultrapower Axiom"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.04288","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:3a336e09067decc5f8f7cf4649a160b3ce3ab3db77d5b7e7fcefed89f5303b52","target":"record","created_at":"2026-05-18T00:03:40Z","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":"4a424d4d8b778a6f3c57eb5771e919330db3a150b42f3480312dfd5b19a89fa8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-10-09T22:40:38Z","title_canon_sha256":"1bea83c321358c7abd4daab666382cfd1d254bfbc0d46c05c411e42904bf94f0"},"schema_version":"1.0","source":{"id":"1810.04288","kind":"arxiv","version":1}},"canonical_sha256":"0ce9702c1efedef168a7e796fee2b6b1980543182c903ec00b0f54dbedb7c606","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0ce9702c1efedef168a7e796fee2b6b1980543182c903ec00b0f54dbedb7c606","first_computed_at":"2026-05-18T00:03:40.541135Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:03:40.541135Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hV7VH82/mp4Zr0eVniQpNRBld135JnFDD4ThhAjKzeseYtNRMmmyET0pkmmqy9MvEhIKQCN8kUzal7jgYsGJBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:03:40.541635Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.04288","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3a336e09067decc5f8f7cf4649a160b3ce3ab3db77d5b7e7fcefed89f5303b52","sha256:56302c558fd9324e482efbef1d960b22886d4389bdd8163637ca4df0ec6b5632"],"state_sha256":"690d4c899337025f4e55a949aa8dc873884987c918201f262ceb6b5effc7be0d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"87ylJBddyq3GZsBpFxlgSUiAIqmtlPh30vMA2zl7K5AOw170WH1qwoBDC+MvYjYm8WyxWwc0yYtRL5J+NnUxDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-03T16:15:31.430498Z","bundle_sha256":"7cbfca213181fe3a82f789b7863556addc6e6593b782e50313380a9e8a51f8e4"}}