{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:D2DFBXUL32QQ5XLPQ5ILNAF3NL","short_pith_number":"pith:D2DFBXUL","schema_version":"1.0","canonical_sha256":"1e8650de8bdea10edd6f8750b680bb6af7e312b7d7c35bcd230064dd55de0a22","source":{"kind":"arxiv","id":"1508.00471","version":5},"attestation_state":"computed","paper":{"title":"On the Uniform Computational Content of Ramsey's Theorem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Tahina Rakotoniaina, Vasco Brattka","submitted_at":"2015-08-03T16:16:14Z","abstract_excerpt":"We study the uniform computational content of Ramsey's theorem in the Weihrauch lattice. Our central results provide information on how Ramsey's theorem behaves under product, parallelization and jumps. From these results we can derive a number of important properties of Ramsey's theorem. For one, the parallelization of Ramsey's theorem for cardinality $n\\geq1$ and an arbitrary finite number of colors $k\\geq2$ is equivalent to the $n$--th jump of weak K\\H{o}nig's lemma. In particular, Ramsey's theorem for cardinality $n\\geq1$ is $\\Sigma^0_{n+2}$--measurable in the effective Borel hierarchy, bu"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1508.00471","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-08-03T16:16:14Z","cross_cats_sorted":[],"title_canon_sha256":"3226e66c91b034f0893889a472ff0f6d283cb56e10f2f47a36cc8210df8dc7ed","abstract_canon_sha256":"60e6be13d3825fa99e3055ec677a8da326c7ceadf8e1c9df3d957287814d8ff1"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:01:15.611151Z","signature_b64":"hxXI2DlTy0g/37Lm3Gn9kTOYjDZ4QexQO6NaBYEdmZmwn94B9pJo8FrPREC+87oxgowPbT9JaAstTswY/DLsAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1e8650de8bdea10edd6f8750b680bb6af7e312b7d7c35bcd230064dd55de0a22","last_reissued_at":"2026-05-18T00:01:15.610458Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:01:15.610458Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On the Uniform Computational Content of Ramsey's Theorem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Tahina Rakotoniaina, Vasco Brattka","submitted_at":"2015-08-03T16:16:14Z","abstract_excerpt":"We study the uniform computational content of Ramsey's theorem in the Weihrauch lattice. Our central results provide information on how Ramsey's theorem behaves under product, parallelization and jumps. From these results we can derive a number of important properties of Ramsey's theorem. For one, the parallelization of Ramsey's theorem for cardinality $n\\geq1$ and an arbitrary finite number of colors $k\\geq2$ is equivalent to the $n$--th jump of weak K\\H{o}nig's lemma. In particular, Ramsey's theorem for cardinality $n\\geq1$ is $\\Sigma^0_{n+2}$--measurable in the effective Borel hierarchy, bu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.00471","kind":"arxiv","version":5},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1508.00471","created_at":"2026-05-18T00:01:15.610568+00:00"},{"alias_kind":"arxiv_version","alias_value":"1508.00471v5","created_at":"2026-05-18T00:01:15.610568+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.00471","created_at":"2026-05-18T00:01:15.610568+00:00"},{"alias_kind":"pith_short_12","alias_value":"D2DFBXUL32QQ","created_at":"2026-05-18T12:29:17.054201+00:00"},{"alias_kind":"pith_short_16","alias_value":"D2DFBXUL32QQ5XLP","created_at":"2026-05-18T12:29:17.054201+00:00"},{"alias_kind":"pith_short_8","alias_value":"D2DFBXUL","created_at":"2026-05-18T12:29:17.054201+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/D2DFBXUL32QQ5XLPQ5ILNAF3NL","json":"https://pith.science/pith/D2DFBXUL32QQ5XLPQ5ILNAF3NL.json","graph_json":"https://pith.science/api/pith-number/D2DFBXUL32QQ5XLPQ5ILNAF3NL/graph.json","events_json":"https://pith.science/api/pith-number/D2DFBXUL32QQ5XLPQ5ILNAF3NL/events.json","paper":"https://pith.science/paper/D2DFBXUL"},"agent_actions":{"view_html":"https://pith.science/pith/D2DFBXUL32QQ5XLPQ5ILNAF3NL","download_json":"https://pith.science/pith/D2DFBXUL32QQ5XLPQ5ILNAF3NL.json","view_paper":"https://pith.science/paper/D2DFBXUL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1508.00471&json=true","fetch_graph":"https://pith.science/api/pith-number/D2DFBXUL32QQ5XLPQ5ILNAF3NL/graph.json","fetch_events":"https://pith.science/api/pith-number/D2DFBXUL32QQ5XLPQ5ILNAF3NL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/D2DFBXUL32QQ5XLPQ5ILNAF3NL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/D2DFBXUL32QQ5XLPQ5ILNAF3NL/action/storage_attestation","attest_author":"https://pith.science/pith/D2DFBXUL32QQ5XLPQ5ILNAF3NL/action/author_attestation","sign_citation":"https://pith.science/pith/D2DFBXUL32QQ5XLPQ5ILNAF3NL/action/citation_signature","submit_replication":"https://pith.science/pith/D2DFBXUL32QQ5XLPQ5ILNAF3NL/action/replication_record"}},"created_at":"2026-05-18T00:01:15.610568+00:00","updated_at":"2026-05-18T00:01:15.610568+00:00"}