{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:CGDSAOFHPXF3ZEUCQJLWZTLLMK","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":"3390f91c11e0248c4a07186cd4883037c1eb9b86b567dd70d423c4ea58427dfb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-02-21T21:38:40Z","title_canon_sha256":"71870af2f5a27a91e040e8a32c52ffd98a8dc2415bd52c1d3931412b562ef0f4"},"schema_version":"1.0","source":{"id":"1702.06596","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.06596","created_at":"2026-05-18T00:31:51Z"},{"alias_kind":"arxiv_version","alias_value":"1702.06596v4","created_at":"2026-05-18T00:31:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.06596","created_at":"2026-05-18T00:31:51Z"},{"alias_kind":"pith_short_12","alias_value":"CGDSAOFHPXF3","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CGDSAOFHPXF3ZEUC","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CGDSAOFH","created_at":"2026-05-18T12:31:10Z"}],"graph_snapshots":[{"event_id":"sha256:bbe3ac37e07c462264b1006a2513887e26b8c28c72592ad9183e80760d890c05","target":"graph","created_at":"2026-05-18T00:31:51Z","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 2012 M. Soki\\'c proved that the class of all finite permutations has the Ramsey property. Using different strategies the same result was then reproved in 2013 by J. B\\\"ottcher and J. Foniok, in 2014 by M. Bodirsky and in 2015 yet another proof was provided by M. Soki\\'c. Using the categorical reinterpretation of the Ramsey property in this paper we prove that the class of all finite permutations has the dual Ramsey property as well. It was Leeb who pointed out in 1970 that the use of category theory can be quite helpful both in the formulation and in the proofs of results pertaining to stru","authors_text":"Dragan Masulovic","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-02-21T21:38:40Z","title":"A Dual Ramsey Theorem for Permutations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.06596","kind":"arxiv","version":4},"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:bbfc86ac8947d3d9d264dfb8c5268d83df593cb56bf585a7409e56d31c8d0f78","target":"record","created_at":"2026-05-18T00:31:51Z","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":"3390f91c11e0248c4a07186cd4883037c1eb9b86b567dd70d423c4ea58427dfb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-02-21T21:38:40Z","title_canon_sha256":"71870af2f5a27a91e040e8a32c52ffd98a8dc2415bd52c1d3931412b562ef0f4"},"schema_version":"1.0","source":{"id":"1702.06596","kind":"arxiv","version":4}},"canonical_sha256":"11872038a77dcbbc928282576ccd6b629b6a1d935eff81e5d4c9c63a90650582","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"11872038a77dcbbc928282576ccd6b629b6a1d935eff81e5d4c9c63a90650582","first_computed_at":"2026-05-18T00:31:51.449538Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:31:51.449538Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mVpfUBF9ljN9nkL/UDgrVqrZXWI1Zzu2lALgJfdshhgOkUbShlhnYKjTOH96U1vI7T7bmEgDvxXdkO53nvRYDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:31:51.449994Z","signed_message":"canonical_sha256_bytes"},"source_id":"1702.06596","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bbfc86ac8947d3d9d264dfb8c5268d83df593cb56bf585a7409e56d31c8d0f78","sha256:bbe3ac37e07c462264b1006a2513887e26b8c28c72592ad9183e80760d890c05"],"state_sha256":"9c5a75ddd22e5444a9dd2f4b9e5fee7d396fd35b35a2cd86bdbb74d3131ad510"}