{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:FGCSB3U5FZY76GOLIYKRW2EZ2K","short_pith_number":"pith:FGCSB3U5","canonical_record":{"source":{"id":"1511.03737","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-11-12T00:55:13Z","cross_cats_sorted":[],"title_canon_sha256":"1d0d607dcd88e9a8b5d280dee8fbfb3266ee2c7ccb6d8b6101ffe465365bfa27","abstract_canon_sha256":"ba8687ffd56528ab3514e4b6061ce65f84475969b665601c95330effe20ed0ec"},"schema_version":"1.0"},"canonical_sha256":"298520ee9d2e71ff19cb46151b6899d28e1ab410fb6d111b10a3dc5b5792ff28","source":{"kind":"arxiv","id":"1511.03737","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.03737","created_at":"2026-05-18T01:26:09Z"},{"alias_kind":"arxiv_version","alias_value":"1511.03737v2","created_at":"2026-05-18T01:26:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.03737","created_at":"2026-05-18T01:26:09Z"},{"alias_kind":"pith_short_12","alias_value":"FGCSB3U5FZY7","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"FGCSB3U5FZY76GOL","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"FGCSB3U5","created_at":"2026-05-18T12:29:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:FGCSB3U5FZY76GOLIYKRW2EZ2K","target":"record","payload":{"canonical_record":{"source":{"id":"1511.03737","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-11-12T00:55:13Z","cross_cats_sorted":[],"title_canon_sha256":"1d0d607dcd88e9a8b5d280dee8fbfb3266ee2c7ccb6d8b6101ffe465365bfa27","abstract_canon_sha256":"ba8687ffd56528ab3514e4b6061ce65f84475969b665601c95330effe20ed0ec"},"schema_version":"1.0"},"canonical_sha256":"298520ee9d2e71ff19cb46151b6899d28e1ab410fb6d111b10a3dc5b5792ff28","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:26:09.186619Z","signature_b64":"g4UvqPyjcEEVseuk1hTQH6/Ezd9s5IhV0AIdvQL0V195VXqL6Ad4yT7lAfw4l9soxwWElMbOY4Voy0RjnYCCAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"298520ee9d2e71ff19cb46151b6899d28e1ab410fb6d111b10a3dc5b5792ff28","last_reissued_at":"2026-05-18T01:26:09.186091Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:26:09.186091Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1511.03737","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:26:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O78e6aO4LuCPU+VjSiaMCX3FEyjmiF4F8ZrxrEa/2pr8tWsYtfeOcTXZlHZASraryHw/3Gztw1PaXSD8pBMXCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T02:40:28.138780Z"},"content_sha256":"72d99ff7beb3db110a8104846eab3fd88c5cfd9198ada55afb1f6ff27e2f0d07","schema_version":"1.0","event_id":"sha256:72d99ff7beb3db110a8104846eab3fd88c5cfd9198ada55afb1f6ff27e2f0d07"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:FGCSB3U5FZY76GOLIYKRW2EZ2K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Dual Ramsey Property for Finite Distributive Lattices","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Dragan Masulovic, Nebojsa Mudrinski","submitted_at":"2015-11-12T00:55:13Z","abstract_excerpt":"The class of finite distributive lattices, as many other classes of structures in everyday use, does not have the Ramsey property. It is quite common, though, that after expanding the structures with appropriatelly chosen linear orders the resulting class has the Ramsey property. So, one might expect that a similar result holds for the class of all finite distributive lattices. Surprisingly, Kechris and Sokic have proved in 2012 that this is not the case: no expansion of the class of finite distributive lattices by linear orders satisfies the Ramsey property. In this paper we prove that the cl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.03737","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:26:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ERQb+FzO3CjoA4swQTWZyIHKCP6Ooe2gH/xiZS/puJmMFWaNAtPEGRt4FyakVftHsVRK0U2XD4dlNbBr7sYFBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T02:40:28.139223Z"},"content_sha256":"405f2dc3da6b570d1ca485cb7c6dead3ee5b43a82d8ef97c8edec522a95e8512","schema_version":"1.0","event_id":"sha256:405f2dc3da6b570d1ca485cb7c6dead3ee5b43a82d8ef97c8edec522a95e8512"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FGCSB3U5FZY76GOLIYKRW2EZ2K/bundle.json","state_url":"https://pith.science/pith/FGCSB3U5FZY76GOLIYKRW2EZ2K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FGCSB3U5FZY76GOLIYKRW2EZ2K/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-30T02:40:28Z","links":{"resolver":"https://pith.science/pith/FGCSB3U5FZY76GOLIYKRW2EZ2K","bundle":"https://pith.science/pith/FGCSB3U5FZY76GOLIYKRW2EZ2K/bundle.json","state":"https://pith.science/pith/FGCSB3U5FZY76GOLIYKRW2EZ2K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FGCSB3U5FZY76GOLIYKRW2EZ2K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:FGCSB3U5FZY76GOLIYKRW2EZ2K","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":"ba8687ffd56528ab3514e4b6061ce65f84475969b665601c95330effe20ed0ec","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-11-12T00:55:13Z","title_canon_sha256":"1d0d607dcd88e9a8b5d280dee8fbfb3266ee2c7ccb6d8b6101ffe465365bfa27"},"schema_version":"1.0","source":{"id":"1511.03737","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.03737","created_at":"2026-05-18T01:26:09Z"},{"alias_kind":"arxiv_version","alias_value":"1511.03737v2","created_at":"2026-05-18T01:26:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.03737","created_at":"2026-05-18T01:26:09Z"},{"alias_kind":"pith_short_12","alias_value":"FGCSB3U5FZY7","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"FGCSB3U5FZY76GOL","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"FGCSB3U5","created_at":"2026-05-18T12:29:19Z"}],"graph_snapshots":[{"event_id":"sha256:405f2dc3da6b570d1ca485cb7c6dead3ee5b43a82d8ef97c8edec522a95e8512","target":"graph","created_at":"2026-05-18T01:26:09Z","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 class of finite distributive lattices, as many other classes of structures in everyday use, does not have the Ramsey property. It is quite common, though, that after expanding the structures with appropriatelly chosen linear orders the resulting class has the Ramsey property. So, one might expect that a similar result holds for the class of all finite distributive lattices. Surprisingly, Kechris and Sokic have proved in 2012 that this is not the case: no expansion of the class of finite distributive lattices by linear orders satisfies the Ramsey property. In this paper we prove that the cl","authors_text":"Dragan Masulovic, Nebojsa Mudrinski","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-11-12T00:55:13Z","title":"On the Dual Ramsey Property for Finite Distributive Lattices"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.03737","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:72d99ff7beb3db110a8104846eab3fd88c5cfd9198ada55afb1f6ff27e2f0d07","target":"record","created_at":"2026-05-18T01:26:09Z","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":"ba8687ffd56528ab3514e4b6061ce65f84475969b665601c95330effe20ed0ec","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-11-12T00:55:13Z","title_canon_sha256":"1d0d607dcd88e9a8b5d280dee8fbfb3266ee2c7ccb6d8b6101ffe465365bfa27"},"schema_version":"1.0","source":{"id":"1511.03737","kind":"arxiv","version":2}},"canonical_sha256":"298520ee9d2e71ff19cb46151b6899d28e1ab410fb6d111b10a3dc5b5792ff28","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"298520ee9d2e71ff19cb46151b6899d28e1ab410fb6d111b10a3dc5b5792ff28","first_computed_at":"2026-05-18T01:26:09.186091Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:26:09.186091Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"g4UvqPyjcEEVseuk1hTQH6/Ezd9s5IhV0AIdvQL0V195VXqL6Ad4yT7lAfw4l9soxwWElMbOY4Voy0RjnYCCAg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:26:09.186619Z","signed_message":"canonical_sha256_bytes"},"source_id":"1511.03737","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:72d99ff7beb3db110a8104846eab3fd88c5cfd9198ada55afb1f6ff27e2f0d07","sha256:405f2dc3da6b570d1ca485cb7c6dead3ee5b43a82d8ef97c8edec522a95e8512"],"state_sha256":"764eaf3bbb44bdf102e940ee886a009f872da112fee6f3c127580cc85c3c1475"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZyWYqXKa/NzgtSvIPsSQExHJkeBo07KrFTmEOpzQRRypP8Yzh/E8egQR0PnAwkR4khNwVv1z5BOwAU25cWRIBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T02:40:28.142425Z","bundle_sha256":"499d5df4a966980c1ff19744f66a5662b712bdc6895b50ccfdd46ef767ee0c0e"}}