{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:AOIFLPEB5H7ZEXWF2N6ZYEA72I","short_pith_number":"pith:AOIFLPEB","canonical_record":{"source":{"id":"1111.7109","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-11-30T10:16:18Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"86296f168d287955f06d9dad51cff0dab6547729c2882dae7ca518328e265bb7","abstract_canon_sha256":"b49b24282d7a7a9842f354d767b871b0f8e0a67a79101b082b3d850ebb22078b"},"schema_version":"1.0"},"canonical_sha256":"039055bc81e9ff925ec5d37d9c101fd2057b39a4f9dc6cdb53362d7c6e6e04b1","source":{"kind":"arxiv","id":"1111.7109","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1111.7109","created_at":"2026-05-18T03:56:44Z"},{"alias_kind":"arxiv_version","alias_value":"1111.7109v2","created_at":"2026-05-18T03:56:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1111.7109","created_at":"2026-05-18T03:56:44Z"},{"alias_kind":"pith_short_12","alias_value":"AOIFLPEB5H7Z","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_16","alias_value":"AOIFLPEB5H7ZEXWF","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_8","alias_value":"AOIFLPEB","created_at":"2026-05-18T12:26:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:AOIFLPEB5H7ZEXWF2N6ZYEA72I","target":"record","payload":{"canonical_record":{"source":{"id":"1111.7109","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-11-30T10:16:18Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"86296f168d287955f06d9dad51cff0dab6547729c2882dae7ca518328e265bb7","abstract_canon_sha256":"b49b24282d7a7a9842f354d767b871b0f8e0a67a79101b082b3d850ebb22078b"},"schema_version":"1.0"},"canonical_sha256":"039055bc81e9ff925ec5d37d9c101fd2057b39a4f9dc6cdb53362d7c6e6e04b1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:56:44.981129Z","signature_b64":"yBCKzbWCXUTf+DW959ebi+unE93WtUBpiRKjrgrGzsp0MnA+A4N2qbA87x8ISGVivYh4Rolf8iSIaEj/OsaBAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"039055bc81e9ff925ec5d37d9c101fd2057b39a4f9dc6cdb53362d7c6e6e04b1","last_reissued_at":"2026-05-18T03:56:44.980683Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:56:44.980683Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1111.7109","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-18T03:56:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IFRgamS6MJ0QcgdpPq4O5Zt+hKf4dhtUpt6WVWl9CaateoDxUGb7nq2qzw5OBUvVtAUTxWGQahmv1PPlt0ZIDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T05:43:27.006938Z"},"content_sha256":"7820fbe163d7abf65aaeb38d136ebe65aebc35cc1b60bb8e9dfb089fddb18ddb","schema_version":"1.0","event_id":"sha256:7820fbe163d7abf65aaeb38d136ebe65aebc35cc1b60bb8e9dfb089fddb18ddb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:AOIFLPEB5H7ZEXWF2N6ZYEA72I","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reducts of the random partial order","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.LO","authors_text":"Andr\\'as Pongr\\'acz, Csaba Szab\\'o, Gabriella Pluh\\'ar, Michael Pinsker, P\\'eter P\\'al Pach","submitted_at":"2011-11-30T10:16:18Z","abstract_excerpt":"We determine, up to the equivalence of first-order interdefinability, all structures which are first-order definable in the random partial order. It turns out that these structures fall into precisely five equivalence classes. We achieve this result by showing that there exist exactly five closed permutation groups which contain the automorphism group of the random partial order, and thus expose all symmetries of this structure. Our classification lines up with previous similar classifications, such as the structures definable in the random graph or the order of the rationals; it also provides"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1111.7109","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-18T03:56:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zRwdi2OgStWb5U87NpuqaXnhGe9yfAv1D+J7EfggmECTisn5+vmSWYMbkbNbVeQRYNyxr3TFaRf7tuLqsWBuAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T05:43:27.007292Z"},"content_sha256":"235f582450ca66122f8ec48a5c1640e9d75f2e2e0a643eef77175f9a933b7d05","schema_version":"1.0","event_id":"sha256:235f582450ca66122f8ec48a5c1640e9d75f2e2e0a643eef77175f9a933b7d05"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AOIFLPEB5H7ZEXWF2N6ZYEA72I/bundle.json","state_url":"https://pith.science/pith/AOIFLPEB5H7ZEXWF2N6ZYEA72I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AOIFLPEB5H7ZEXWF2N6ZYEA72I/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-01T05:43:27Z","links":{"resolver":"https://pith.science/pith/AOIFLPEB5H7ZEXWF2N6ZYEA72I","bundle":"https://pith.science/pith/AOIFLPEB5H7ZEXWF2N6ZYEA72I/bundle.json","state":"https://pith.science/pith/AOIFLPEB5H7ZEXWF2N6ZYEA72I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AOIFLPEB5H7ZEXWF2N6ZYEA72I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:AOIFLPEB5H7ZEXWF2N6ZYEA72I","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":"b49b24282d7a7a9842f354d767b871b0f8e0a67a79101b082b3d850ebb22078b","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-11-30T10:16:18Z","title_canon_sha256":"86296f168d287955f06d9dad51cff0dab6547729c2882dae7ca518328e265bb7"},"schema_version":"1.0","source":{"id":"1111.7109","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1111.7109","created_at":"2026-05-18T03:56:44Z"},{"alias_kind":"arxiv_version","alias_value":"1111.7109v2","created_at":"2026-05-18T03:56:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1111.7109","created_at":"2026-05-18T03:56:44Z"},{"alias_kind":"pith_short_12","alias_value":"AOIFLPEB5H7Z","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_16","alias_value":"AOIFLPEB5H7ZEXWF","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_8","alias_value":"AOIFLPEB","created_at":"2026-05-18T12:26:24Z"}],"graph_snapshots":[{"event_id":"sha256:235f582450ca66122f8ec48a5c1640e9d75f2e2e0a643eef77175f9a933b7d05","target":"graph","created_at":"2026-05-18T03:56:44Z","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 determine, up to the equivalence of first-order interdefinability, all structures which are first-order definable in the random partial order. It turns out that these structures fall into precisely five equivalence classes. We achieve this result by showing that there exist exactly five closed permutation groups which contain the automorphism group of the random partial order, and thus expose all symmetries of this structure. Our classification lines up with previous similar classifications, such as the structures definable in the random graph or the order of the rationals; it also provides","authors_text":"Andr\\'as Pongr\\'acz, Csaba Szab\\'o, Gabriella Pluh\\'ar, Michael Pinsker, P\\'eter P\\'al Pach","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-11-30T10:16:18Z","title":"Reducts of the random partial order"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1111.7109","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:7820fbe163d7abf65aaeb38d136ebe65aebc35cc1b60bb8e9dfb089fddb18ddb","target":"record","created_at":"2026-05-18T03:56:44Z","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":"b49b24282d7a7a9842f354d767b871b0f8e0a67a79101b082b3d850ebb22078b","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-11-30T10:16:18Z","title_canon_sha256":"86296f168d287955f06d9dad51cff0dab6547729c2882dae7ca518328e265bb7"},"schema_version":"1.0","source":{"id":"1111.7109","kind":"arxiv","version":2}},"canonical_sha256":"039055bc81e9ff925ec5d37d9c101fd2057b39a4f9dc6cdb53362d7c6e6e04b1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"039055bc81e9ff925ec5d37d9c101fd2057b39a4f9dc6cdb53362d7c6e6e04b1","first_computed_at":"2026-05-18T03:56:44.980683Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:56:44.980683Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yBCKzbWCXUTf+DW959ebi+unE93WtUBpiRKjrgrGzsp0MnA+A4N2qbA87x8ISGVivYh4Rolf8iSIaEj/OsaBAg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:56:44.981129Z","signed_message":"canonical_sha256_bytes"},"source_id":"1111.7109","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7820fbe163d7abf65aaeb38d136ebe65aebc35cc1b60bb8e9dfb089fddb18ddb","sha256:235f582450ca66122f8ec48a5c1640e9d75f2e2e0a643eef77175f9a933b7d05"],"state_sha256":"00f70ffeb512d2622d3fbc435e8201d74b0caf342298531bfebe26e9e0210eed"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ppaO9DWG28UyHcjntFDobzIxTNVhvKQyya26/wohD/7HGMEp0caVtT/19ubvaXrLqE7pi6EfntxdHioXkmteCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T05:43:27.009414Z","bundle_sha256":"186da3ec646e81d9976314d1e1df81c93c20837299c4e3fc4f07cfc9d6ca7345"}}