{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:4O4UY6WN43FPGN2ROQX4UDTXML","short_pith_number":"pith:4O4UY6WN","canonical_record":{"source":{"id":"1404.2919","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-04-10T19:47:04Z","cross_cats_sorted":[],"title_canon_sha256":"9cc64bb8df14b043d93138f62ee72949faa6a8ee33b3eefcc38a1367dcb97cf1","abstract_canon_sha256":"dca26892826aa65697c918727aea65b3473f3eafa7e0293fe7b3cb80247d5ddb"},"schema_version":"1.0"},"canonical_sha256":"e3b94c7acde6caf33751742fca0e7762d86a1317bdb022a3a1f91e3ff95c7cab","source":{"kind":"arxiv","id":"1404.2919","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.2919","created_at":"2026-05-18T01:35:12Z"},{"alias_kind":"arxiv_version","alias_value":"1404.2919v2","created_at":"2026-05-18T01:35:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.2919","created_at":"2026-05-18T01:35:12Z"},{"alias_kind":"pith_short_12","alias_value":"4O4UY6WN43FP","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"4O4UY6WN43FPGN2R","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"4O4UY6WN","created_at":"2026-05-18T12:28:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:4O4UY6WN43FPGN2ROQX4UDTXML","target":"record","payload":{"canonical_record":{"source":{"id":"1404.2919","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-04-10T19:47:04Z","cross_cats_sorted":[],"title_canon_sha256":"9cc64bb8df14b043d93138f62ee72949faa6a8ee33b3eefcc38a1367dcb97cf1","abstract_canon_sha256":"dca26892826aa65697c918727aea65b3473f3eafa7e0293fe7b3cb80247d5ddb"},"schema_version":"1.0"},"canonical_sha256":"e3b94c7acde6caf33751742fca0e7762d86a1317bdb022a3a1f91e3ff95c7cab","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:35:12.322041Z","signature_b64":"gdknODLxykgWZDo4QklHQh6EDZZLbLeL4OfNKsK7gtvzRtkZ4Tk8kjxr4dAmPaLw73lDlWdZdydFu9oiYwATDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e3b94c7acde6caf33751742fca0e7762d86a1317bdb022a3a1f91e3ff95c7cab","last_reissued_at":"2026-05-18T01:35:12.321406Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:35:12.321406Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1404.2919","source_version":2,"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:35:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3NozrG9Q0/enPAZYNL+dxkeHAhlsM0D0eHll178KhqBd7Hn3jR+BwzFMIQqWimD2vk2Qz394k32T9N7ggCPADw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T05:37:05.812339Z"},"content_sha256":"b7d28d55184645cc0bbabcc1ea6da83c6365fa0b88302ab178b1a6f75d427d98","schema_version":"1.0","event_id":"sha256:b7d28d55184645cc0bbabcc1ea6da83c6365fa0b88302ab178b1a6f75d427d98"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:4O4UY6WN43FPGN2ROQX4UDTXML","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Existence of optimal ultrafilters and the fundamental complexity of simple theories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"M. Malliaris, S. Shelah","submitted_at":"2014-04-10T19:47:04Z","abstract_excerpt":"In the first edition of Classification Theory, the second author characterized the stable theories in terms of saturation of ultrapowers. Prior to this theorem, stability had already been defined in terms of counting types, and the unstable formula theorem was known. A contribution of the ultrapower characterization was that it involved sorting out the global theory, and introducing nonforking, seminal for the development of stability theory. Prior to the present paper, there had been no such characterization of an unstable class. In the present paper, we first establish the existence of so-ca"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.2919","kind":"arxiv","version":2},"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:35:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"98+2zIqOoFAFOVhOzjfHMXfXfYmTOvN1YzYtMWCE95OYPPWxuxyBezZ/MGpmYH+2pv+YciCL6HwPgK6itMMODQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T05:37:05.812694Z"},"content_sha256":"7a359e60155e8d29fc47ad89c1335badbb5993970e316efee5bc7c8d06816b87","schema_version":"1.0","event_id":"sha256:7a359e60155e8d29fc47ad89c1335badbb5993970e316efee5bc7c8d06816b87"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4O4UY6WN43FPGN2ROQX4UDTXML/bundle.json","state_url":"https://pith.science/pith/4O4UY6WN43FPGN2ROQX4UDTXML/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4O4UY6WN43FPGN2ROQX4UDTXML/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-03T05:37:05Z","links":{"resolver":"https://pith.science/pith/4O4UY6WN43FPGN2ROQX4UDTXML","bundle":"https://pith.science/pith/4O4UY6WN43FPGN2ROQX4UDTXML/bundle.json","state":"https://pith.science/pith/4O4UY6WN43FPGN2ROQX4UDTXML/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4O4UY6WN43FPGN2ROQX4UDTXML/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:4O4UY6WN43FPGN2ROQX4UDTXML","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":"dca26892826aa65697c918727aea65b3473f3eafa7e0293fe7b3cb80247d5ddb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-04-10T19:47:04Z","title_canon_sha256":"9cc64bb8df14b043d93138f62ee72949faa6a8ee33b3eefcc38a1367dcb97cf1"},"schema_version":"1.0","source":{"id":"1404.2919","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.2919","created_at":"2026-05-18T01:35:12Z"},{"alias_kind":"arxiv_version","alias_value":"1404.2919v2","created_at":"2026-05-18T01:35:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.2919","created_at":"2026-05-18T01:35:12Z"},{"alias_kind":"pith_short_12","alias_value":"4O4UY6WN43FP","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"4O4UY6WN43FPGN2R","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"4O4UY6WN","created_at":"2026-05-18T12:28:14Z"}],"graph_snapshots":[{"event_id":"sha256:7a359e60155e8d29fc47ad89c1335badbb5993970e316efee5bc7c8d06816b87","target":"graph","created_at":"2026-05-18T01:35:12Z","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 the first edition of Classification Theory, the second author characterized the stable theories in terms of saturation of ultrapowers. Prior to this theorem, stability had already been defined in terms of counting types, and the unstable formula theorem was known. A contribution of the ultrapower characterization was that it involved sorting out the global theory, and introducing nonforking, seminal for the development of stability theory. Prior to the present paper, there had been no such characterization of an unstable class. In the present paper, we first establish the existence of so-ca","authors_text":"M. Malliaris, S. Shelah","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-04-10T19:47:04Z","title":"Existence of optimal ultrafilters and the fundamental complexity of simple theories"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.2919","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:b7d28d55184645cc0bbabcc1ea6da83c6365fa0b88302ab178b1a6f75d427d98","target":"record","created_at":"2026-05-18T01:35:12Z","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":"dca26892826aa65697c918727aea65b3473f3eafa7e0293fe7b3cb80247d5ddb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-04-10T19:47:04Z","title_canon_sha256":"9cc64bb8df14b043d93138f62ee72949faa6a8ee33b3eefcc38a1367dcb97cf1"},"schema_version":"1.0","source":{"id":"1404.2919","kind":"arxiv","version":2}},"canonical_sha256":"e3b94c7acde6caf33751742fca0e7762d86a1317bdb022a3a1f91e3ff95c7cab","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e3b94c7acde6caf33751742fca0e7762d86a1317bdb022a3a1f91e3ff95c7cab","first_computed_at":"2026-05-18T01:35:12.321406Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:35:12.321406Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gdknODLxykgWZDo4QklHQh6EDZZLbLeL4OfNKsK7gtvzRtkZ4Tk8kjxr4dAmPaLw73lDlWdZdydFu9oiYwATDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:35:12.322041Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.2919","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b7d28d55184645cc0bbabcc1ea6da83c6365fa0b88302ab178b1a6f75d427d98","sha256:7a359e60155e8d29fc47ad89c1335badbb5993970e316efee5bc7c8d06816b87"],"state_sha256":"dfa60f70ccefad824d2052c55b19d9ffc3c443d97b98c12abac8c5ccc5712aaf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ClesOiGq7S4icoIsxRqkB5FAz5CJD8yem0/6ltBL3HqXx/DWKgE44n7IghUBBjF9OSOMwStVd9jjC0jwBqz0DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T05:37:05.814725Z","bundle_sha256":"a0f97c186641256c7b14f88a4f3c8e5838aaddaf06cfe9b0ba733593d03cc924"}}