{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:JMRDNYZIEPBJQJF5YHCI2FLVII","short_pith_number":"pith:JMRDNYZI","canonical_record":{"source":{"id":"1705.06195","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-05-17T15:00:42Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"edcba34fc48a56c247a2b29db275dc5f949c094c6988f64409b4e017353080b1","abstract_canon_sha256":"b8c0e118f8fd2e1b13b111cefe18d42f2668dddea1ccee64f866b67b4fd3017f"},"schema_version":"1.0"},"canonical_sha256":"4b2236e32823c29824bdc1c48d15754236fdd0e6f3514c3367fc506a3b81ea90","source":{"kind":"arxiv","id":"1705.06195","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.06195","created_at":"2026-05-18T00:24:31Z"},{"alias_kind":"arxiv_version","alias_value":"1705.06195v3","created_at":"2026-05-18T00:24:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.06195","created_at":"2026-05-18T00:24:31Z"},{"alias_kind":"pith_short_12","alias_value":"JMRDNYZIEPBJ","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"JMRDNYZIEPBJQJF5","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"JMRDNYZI","created_at":"2026-05-18T12:31:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:JMRDNYZIEPBJQJF5YHCI2FLVII","target":"record","payload":{"canonical_record":{"source":{"id":"1705.06195","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-05-17T15:00:42Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"edcba34fc48a56c247a2b29db275dc5f949c094c6988f64409b4e017353080b1","abstract_canon_sha256":"b8c0e118f8fd2e1b13b111cefe18d42f2668dddea1ccee64f866b67b4fd3017f"},"schema_version":"1.0"},"canonical_sha256":"4b2236e32823c29824bdc1c48d15754236fdd0e6f3514c3367fc506a3b81ea90","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:24:31.241431Z","signature_b64":"TNy30AOItyjJQB3T/HU1Oggq2CWUFf0HwNFCK8gqf0HGg0FHpvaON4Ft7OSkZcwHO9OBwZYU85lsNGTcrOgLCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4b2236e32823c29824bdc1c48d15754236fdd0e6f3514c3367fc506a3b81ea90","last_reissued_at":"2026-05-18T00:24:31.240845Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:24:31.240845Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.06195","source_version":3,"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:24:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"itjp/Pu41qHcENG0OuP5PG/juGmbQyxLMXz+He3iBjXHcCaccXaip41+/WgPzJDlWq4IItAJx95wjn514n3tCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-18T21:35:42.347927Z"},"content_sha256":"c59ba977f478a2f3e315259d84125a15a6229ba5e9d16d8f5cb5b638234bb177","schema_version":"1.0","event_id":"sha256:c59ba977f478a2f3e315259d84125a15a6229ba5e9d16d8f5cb5b638234bb177"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:JMRDNYZIEPBJQJF5YHCI2FLVII","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Infinite combinatorics plain and simple","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.LO","authors_text":"D\\'aniel T. Soukup, Lajos Soukup","submitted_at":"2017-05-17T15:00:42Z","abstract_excerpt":"We explore a general method based on trees of elementary submodels in order to present highly simplified proofs to numerous results in infinite combinatorics. While countable elementary submodels have been employed in such settings already, we significantly broaden this framework by developing the corresponding technique for countably closed models of size continuum. The applications range from various theorems on paradoxical decompositions of the plane, to coloring sparse set systems, results on graph chromatic number and constructions from point-set topology. Our main purpose is to demonstra"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.06195","kind":"arxiv","version":3},"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:24:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z4txNilMD8E8lALuWUqoxUK39y/Jut3ZLwVMQqyh4SFkcpBMh1suE9Kbaad3PvUpqGepcFqPVIbqiOuJF6KpAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-18T21:35:42.348351Z"},"content_sha256":"60498ab79aac3765f997bdec260af2de095d95d030173f4abb70a6a506b23562","schema_version":"1.0","event_id":"sha256:60498ab79aac3765f997bdec260af2de095d95d030173f4abb70a6a506b23562"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JMRDNYZIEPBJQJF5YHCI2FLVII/bundle.json","state_url":"https://pith.science/pith/JMRDNYZIEPBJQJF5YHCI2FLVII/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JMRDNYZIEPBJQJF5YHCI2FLVII/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-05-18T21:35:42Z","links":{"resolver":"https://pith.science/pith/JMRDNYZIEPBJQJF5YHCI2FLVII","bundle":"https://pith.science/pith/JMRDNYZIEPBJQJF5YHCI2FLVII/bundle.json","state":"https://pith.science/pith/JMRDNYZIEPBJQJF5YHCI2FLVII/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JMRDNYZIEPBJQJF5YHCI2FLVII/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:JMRDNYZIEPBJQJF5YHCI2FLVII","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":"b8c0e118f8fd2e1b13b111cefe18d42f2668dddea1ccee64f866b67b4fd3017f","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-05-17T15:00:42Z","title_canon_sha256":"edcba34fc48a56c247a2b29db275dc5f949c094c6988f64409b4e017353080b1"},"schema_version":"1.0","source":{"id":"1705.06195","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.06195","created_at":"2026-05-18T00:24:31Z"},{"alias_kind":"arxiv_version","alias_value":"1705.06195v3","created_at":"2026-05-18T00:24:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.06195","created_at":"2026-05-18T00:24:31Z"},{"alias_kind":"pith_short_12","alias_value":"JMRDNYZIEPBJ","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"JMRDNYZIEPBJQJF5","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"JMRDNYZI","created_at":"2026-05-18T12:31:24Z"}],"graph_snapshots":[{"event_id":"sha256:60498ab79aac3765f997bdec260af2de095d95d030173f4abb70a6a506b23562","target":"graph","created_at":"2026-05-18T00:24:31Z","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 explore a general method based on trees of elementary submodels in order to present highly simplified proofs to numerous results in infinite combinatorics. While countable elementary submodels have been employed in such settings already, we significantly broaden this framework by developing the corresponding technique for countably closed models of size continuum. The applications range from various theorems on paradoxical decompositions of the plane, to coloring sparse set systems, results on graph chromatic number and constructions from point-set topology. Our main purpose is to demonstra","authors_text":"D\\'aniel T. Soukup, Lajos Soukup","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-05-17T15:00:42Z","title":"Infinite combinatorics plain and simple"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.06195","kind":"arxiv","version":3},"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:c59ba977f478a2f3e315259d84125a15a6229ba5e9d16d8f5cb5b638234bb177","target":"record","created_at":"2026-05-18T00:24:31Z","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":"b8c0e118f8fd2e1b13b111cefe18d42f2668dddea1ccee64f866b67b4fd3017f","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-05-17T15:00:42Z","title_canon_sha256":"edcba34fc48a56c247a2b29db275dc5f949c094c6988f64409b4e017353080b1"},"schema_version":"1.0","source":{"id":"1705.06195","kind":"arxiv","version":3}},"canonical_sha256":"4b2236e32823c29824bdc1c48d15754236fdd0e6f3514c3367fc506a3b81ea90","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4b2236e32823c29824bdc1c48d15754236fdd0e6f3514c3367fc506a3b81ea90","first_computed_at":"2026-05-18T00:24:31.240845Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:24:31.240845Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TNy30AOItyjJQB3T/HU1Oggq2CWUFf0HwNFCK8gqf0HGg0FHpvaON4Ft7OSkZcwHO9OBwZYU85lsNGTcrOgLCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:24:31.241431Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.06195","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c59ba977f478a2f3e315259d84125a15a6229ba5e9d16d8f5cb5b638234bb177","sha256:60498ab79aac3765f997bdec260af2de095d95d030173f4abb70a6a506b23562"],"state_sha256":"4f0ec7c2867da97b7c1e1352416884e853455e314584ee45ccd3c6da7c41a824"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KfTHbnK0d0rKeAVWc2v37TNHu3uliI6QFAcgIjOL3rTp/Kr3Fh29Q6NE5+UeqD/U9+OUknIdFOhv3/NWswytCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-18T21:35:42.349529Z","bundle_sha256":"bdc3216fbe5c4dda3e11de56ceab5c75e5fe07b61f2c07b54ae4af7f86893e07"}}