{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:TIPBKA2VNJ7W22WTWRU7R7L3NJ","short_pith_number":"pith:TIPBKA2V","canonical_record":{"source":{"id":"1104.3950","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2011-04-20T06:28:08Z","cross_cats_sorted":[],"title_canon_sha256":"38ae6c156f990e2d4a422fac93d7153b134d5f43762113cc1c89dae27582809c","abstract_canon_sha256":"164e0c7387838f40ee4b3db379b36d195605a02c8328344b3e83e0b1d468ed90"},"schema_version":"1.0"},"canonical_sha256":"9a1e1503556a7f6d6ad3b469f8fd7b6a41dabe7f5fbd620b727a888318cc13da","source":{"kind":"arxiv","id":"1104.3950","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1104.3950","created_at":"2026-05-18T03:13:43Z"},{"alias_kind":"arxiv_version","alias_value":"1104.3950v3","created_at":"2026-05-18T03:13:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1104.3950","created_at":"2026-05-18T03:13:43Z"},{"alias_kind":"pith_short_12","alias_value":"TIPBKA2VNJ7W","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_16","alias_value":"TIPBKA2VNJ7W22WT","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_8","alias_value":"TIPBKA2V","created_at":"2026-05-18T12:26:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:TIPBKA2VNJ7W22WTWRU7R7L3NJ","target":"record","payload":{"canonical_record":{"source":{"id":"1104.3950","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2011-04-20T06:28:08Z","cross_cats_sorted":[],"title_canon_sha256":"38ae6c156f990e2d4a422fac93d7153b134d5f43762113cc1c89dae27582809c","abstract_canon_sha256":"164e0c7387838f40ee4b3db379b36d195605a02c8328344b3e83e0b1d468ed90"},"schema_version":"1.0"},"canonical_sha256":"9a1e1503556a7f6d6ad3b469f8fd7b6a41dabe7f5fbd620b727a888318cc13da","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:13:43.819336Z","signature_b64":"wVxajdNfArVkQmq0ZsNVurB8b2Wu0BtPJDWVd9oN09Bht2F7qWAYiCtRHV/WGKf1QdcHD21ZawXTTYkq3NmbCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9a1e1503556a7f6d6ad3b469f8fd7b6a41dabe7f5fbd620b727a888318cc13da","last_reissued_at":"2026-05-18T03:13:43.818570Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:13:43.818570Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1104.3950","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-18T03:13:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fLq8OsCI5tbqe0Aq/t+FexFZSp+XCfwP87JHo195qIR0OnHzDduh5H1bkewWearx7EtXHUSf4I6xZcT75eVyAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T20:08:51.289548Z"},"content_sha256":"00f651ea109f2eef563de39c72730c5160a14473ea57c3b33e8f37ba255e2fb6","schema_version":"1.0","event_id":"sha256:00f651ea109f2eef563de39c72730c5160a14473ea57c3b33e8f37ba255e2fb6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:TIPBKA2VNJ7W22WTWRU7R7L3NJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Abstract approach to finite Ramsey theory and a self-dual Ramsey theorem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Slawomir Solecki","submitted_at":"2011-04-20T06:28:08Z","abstract_excerpt":"We give an abstract approach to finite Ramsey theory and prove a general Ramsey-type theorem. We deduce from it a self-dual Ramsey theorem, which is a new result naturally generalizing both the classical Ramsey theorem and the dual Ramsey theorem of Graham and Rothschild. In fact, we recover the pure finite Ramsey theory from our general Ramsey-type result in the sense that the classical Ramsey theorem, the Hales--Jewett theorem (with Shelah's bounds), the Graham--Rothschild theorem, the versions of these results for partial rigid surjections due to Voigt, and the new self-dual Ramsey theorem "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1104.3950","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-18T03:13:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wh9AwWuJevYgJhJ1rJp8gzEt9cpq/IN4hGm7T0UlF5o6Tc/pi1STel5h8mFXsbuAcuTeSXh4PC3fNS0b0mqVDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T20:08:51.290262Z"},"content_sha256":"7f47ab12daf634187f4c50be72c1d9a5d6d5082c3ca6f6fed74b13a35603f7f4","schema_version":"1.0","event_id":"sha256:7f47ab12daf634187f4c50be72c1d9a5d6d5082c3ca6f6fed74b13a35603f7f4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TIPBKA2VNJ7W22WTWRU7R7L3NJ/bundle.json","state_url":"https://pith.science/pith/TIPBKA2VNJ7W22WTWRU7R7L3NJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TIPBKA2VNJ7W22WTWRU7R7L3NJ/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-06T20:08:51Z","links":{"resolver":"https://pith.science/pith/TIPBKA2VNJ7W22WTWRU7R7L3NJ","bundle":"https://pith.science/pith/TIPBKA2VNJ7W22WTWRU7R7L3NJ/bundle.json","state":"https://pith.science/pith/TIPBKA2VNJ7W22WTWRU7R7L3NJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TIPBKA2VNJ7W22WTWRU7R7L3NJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:TIPBKA2VNJ7W22WTWRU7R7L3NJ","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":"164e0c7387838f40ee4b3db379b36d195605a02c8328344b3e83e0b1d468ed90","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2011-04-20T06:28:08Z","title_canon_sha256":"38ae6c156f990e2d4a422fac93d7153b134d5f43762113cc1c89dae27582809c"},"schema_version":"1.0","source":{"id":"1104.3950","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1104.3950","created_at":"2026-05-18T03:13:43Z"},{"alias_kind":"arxiv_version","alias_value":"1104.3950v3","created_at":"2026-05-18T03:13:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1104.3950","created_at":"2026-05-18T03:13:43Z"},{"alias_kind":"pith_short_12","alias_value":"TIPBKA2VNJ7W","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_16","alias_value":"TIPBKA2VNJ7W22WT","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_8","alias_value":"TIPBKA2V","created_at":"2026-05-18T12:26:42Z"}],"graph_snapshots":[{"event_id":"sha256:7f47ab12daf634187f4c50be72c1d9a5d6d5082c3ca6f6fed74b13a35603f7f4","target":"graph","created_at":"2026-05-18T03:13:43Z","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 give an abstract approach to finite Ramsey theory and prove a general Ramsey-type theorem. We deduce from it a self-dual Ramsey theorem, which is a new result naturally generalizing both the classical Ramsey theorem and the dual Ramsey theorem of Graham and Rothschild. In fact, we recover the pure finite Ramsey theory from our general Ramsey-type result in the sense that the classical Ramsey theorem, the Hales--Jewett theorem (with Shelah's bounds), the Graham--Rothschild theorem, the versions of these results for partial rigid surjections due to Voigt, and the new self-dual Ramsey theorem ","authors_text":"Slawomir Solecki","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2011-04-20T06:28:08Z","title":"Abstract approach to finite Ramsey theory and a self-dual Ramsey theorem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1104.3950","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:00f651ea109f2eef563de39c72730c5160a14473ea57c3b33e8f37ba255e2fb6","target":"record","created_at":"2026-05-18T03:13:43Z","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":"164e0c7387838f40ee4b3db379b36d195605a02c8328344b3e83e0b1d468ed90","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2011-04-20T06:28:08Z","title_canon_sha256":"38ae6c156f990e2d4a422fac93d7153b134d5f43762113cc1c89dae27582809c"},"schema_version":"1.0","source":{"id":"1104.3950","kind":"arxiv","version":3}},"canonical_sha256":"9a1e1503556a7f6d6ad3b469f8fd7b6a41dabe7f5fbd620b727a888318cc13da","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9a1e1503556a7f6d6ad3b469f8fd7b6a41dabe7f5fbd620b727a888318cc13da","first_computed_at":"2026-05-18T03:13:43.818570Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:13:43.818570Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wVxajdNfArVkQmq0ZsNVurB8b2Wu0BtPJDWVd9oN09Bht2F7qWAYiCtRHV/WGKf1QdcHD21ZawXTTYkq3NmbCw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:13:43.819336Z","signed_message":"canonical_sha256_bytes"},"source_id":"1104.3950","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:00f651ea109f2eef563de39c72730c5160a14473ea57c3b33e8f37ba255e2fb6","sha256:7f47ab12daf634187f4c50be72c1d9a5d6d5082c3ca6f6fed74b13a35603f7f4"],"state_sha256":"9048bfed9c08491bc735908ab808dcbde609e993ad6dc1ebc59c469f8ea20c07"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"53lnxrMNmBTw2WZcrrkpnQ8l5e1cNsyvV2Yevb9NOVJeVP71ZTGf1p6DEa9653tDjx3ZisucHBV6fzuCAOw5Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T20:08:51.293541Z","bundle_sha256":"38a04e736f8d8a5fc7e48235e58074b136c4c344cb051b215aee51117a97f1af"}}