{"as_of":"2026-08-08T20:05:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:fafc9b6fcffcb94a79cce566f7cc79caaadcfed7b3837cb9a2d678ac3914551b","coverage":[{"denominator":55,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":55,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-31T17:24:55.392185Z","state":"measured"},{"denominator":55,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":55,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.28116/citation-record","integrity":"/paper/2607.28116/integrity","json":"/paper/2607.28116/citation-record.json","paper":"/paper/2607.28116"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.235723Z","title":"Carlson-Simpson’s lemma and applications in reverse mathematics.Ann","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.235723Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:1dbb7d5d6dda5c089d0832a1154508f852b1434732d4ef0580409a7003074552","observation_id":"3675a2f8-08b2-46ca-8bac-df8ec0a0a0cf","resolution":{"observed_at":"2026-07-31T17:24:55.235723Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2007.09739","last_updated":"2021-04-16T11:42:14Z","snapshot_observed_at":"2026-07-06T09:40:01.447392Z","submitted_at":"2020-07-19T18:27:42Z","title":"Milliken's tree theorem and its applications: a computability-theoretic perspective","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2007.09739","snapshot_observed_at":"2026-07-31T17:24:55.239745Z","title":"Milliken’s tree theorem and its applications: a computability-theoretic perspective.arXiv preprint arXiv:2007.09739, page 141, 2020","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.239745Z"},"links":{"cited_paper":"/paper/2007.09739","citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:62633b6783faefadd67538d59f8d3a65b56b3ce80d240bbded503b18c3fac787","observation_id":"42eadb65-3ae8-4b20-a938-16f898597247","resolution":{"observed_at":"2026-07-31T17:24:55.239745Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.243316Z","title":"Baumgartner","venue":null,"work_id":null,"year":1974},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.243316Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:11752d28334036cb46db2fec3d477a543b7dbfbce24d14b57916c3dfe70a478d","observation_id":"d0a181ec-d0d1-49f6-8fb7-c928841c004b","resolution":{"observed_at":"2026-07-31T17:24:55.243316Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.246699Z","title":"Blass, Jeffry L","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.246699Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:3f8e7cf61d422f6f6fa1eb623bde8645d118f607355fcc8ee17eddfd1b7d4f51","observation_id":"47894858-0938-412b-a0fb-c0684ff3f1e2","resolution":{"observed_at":"2026-07-31T17:24:55.246699Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.250000Z","title":"The reverse mathe- matics of Carlson’s theorem for located words.J","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.250000Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:dd039efb49abdfcd5b28f0c08453dd45650657f21555f7c492495b619251aaf7","observation_id":"f3c726be-e8e2-4025-bf16-afe9da6d0ab3","resolution":{"observed_at":"2026-07-31T17:24:55.250000Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.253017Z","title":null,"venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.253017Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:8db74540498dfebc3029aeaa2589f545cf98f7f3041aa8841f981818194102ee","observation_id":"ee6f381e-d102-4fa5-b116-bdbafe47e78b","resolution":{"observed_at":"2026-07-31T17:24:55.253017Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.256474Z","title":"Carlson and Stephen G","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.256474Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:80c28bcbcaffeb8960d074968006c86c744108614815bce3346541ab3234d564","observation_id":"b45e7127-c9c9-41a6-bc8a-ba758809e3e6","resolution":{"observed_at":"2026-07-31T17:24:55.256474Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.259701Z","title":"The henson graphs: colorings and codings, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.259701Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:1a38d994bf3d4067bd98dbedeca81113c1e8ab0f47318fd414185447f23658ae","observation_id":"69dc1367-5fc9-4f2e-97e4-04e85febd55d","resolution":{"observed_at":"2026-07-31T17:24:55.259701Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.262799Z","title":"The finite big ram- sey degrees of henson graphs are provable in ACA 0, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.262799Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:dc404391f8b25d5b91054416877a3bc2de13d77ecdc5849a8dde11cd58c4dc76","observation_id":"313327ca-5125-46dd-9691-6df526ac6b70","resolution":{"observed_at":"2026-07-31T17:24:55.262799Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.265681Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.265681Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:3df8b8c8c71a271cbe59bfbdeb06d52151b34adf163a3e1ae61cf72eed6a6059","observation_id":"0a715034-670c-44fd-8ab9-6660559d3140","resolution":{"observed_at":"2026-07-31T17:24:55.265681Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.275287Z","title":"The Strength of Ramsey’s Theorem For Pairs over trees: IV","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.275287Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:3d46e234b5bbd69bbcbf3aadc99506ca50c8a2eef560031687b8900a2d0e63d1","observation_id":"a438d05a-3100-4c67-9921-a3d360434b8e","resolution":{"observed_at":"2026-07-31T17:24:55.275287Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.281003Z","title":"Conservation strength of the infinite pigeonhole principle for trees.Israel Journal of Mathematics, pages 1–24, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.281003Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:4fd192e1334ebad1d7d13743f0bc9a4c48ab54390b62c44982fa172da7110545","observation_id":"2c78b8bd-cd71-4733-96db-c3fb3f1b7426","resolution":{"observed_at":"2026-07-31T17:24:55.281003Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.283901Z","title":"Hirst, and Timothy H","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.283901Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:785c69dd141940115e526ec432d727309296fbc2a43cd9e5ed7700ae084a1190","observation_id":"cebaca49-a7c7-43e4-8b36-35ced7389dff","resolution":{"observed_at":"2026-07-31T17:24:55.283901Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.286872Z","title":"Groszek, and Joseph R","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.286872Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:0a6d9a523fa6a5d99c196710f2a33f85d92cca54368832d9332e9da26861a2db","observation_id":"35af8788-3859-474e-99f9-4c0e1b81ac15","resolution":{"observed_at":"2026-07-31T17:24:55.286872Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.289804Z","title":"ProQuest LLC, Ann Arbor, MI, 1980","venue":null,"work_id":null,"year":1980},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.289804Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:4bb7425500b838f5657ea131b26c0067fc6d41af8aeb8fb6833d350da43e8264","observation_id":"2959c4d4-29e2-4020-bcab-5ba2b5ed180f","resolution":{"observed_at":"2026-07-31T17:24:55.289804Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.292761Z","title":"The Ramsey theory of the universal homogeneous triangle-free graph.Journal of Mathematical Logic, 20(2):2050012, 75,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.292761Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:89120ca97f804f271f727a5c57b7cf9a5e588b133b42076e5029688adca4a70c","observation_id":"bf3a109c-0300-476b-93c4-27c88bdb42ba","resolution":{"observed_at":"2026-07-31T17:24:55.292761Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.298619Z","title":"American Mathematical Society, Providence, RI, 2016","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.298619Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:64b53bdfe9bd9bf8670c3ad215215b4677ba898b75bad2292b8e64cf5424d358","observation_id":"9ddaecbd-3ae1-4365-a969-e4a9068ef631","resolution":{"observed_at":"2026-07-31T17:24:55.298619Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.301228Z","title":"A den- sity version of the Carlson-Simpson theorem.J","venue":null,"work_id":null,"year":2097},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.301228Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:58500d559e3401b45d6ef48f8324d19b12d065e6b2382969cadb2bedfca67a08","observation_id":"f5955bae-ae81-46e6-a051-14be703711c8","resolution":{"observed_at":"2026-07-31T17:24:55.301228Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.304125Z","title":"Ef- fectiveness for the dual ramsey theorem.Notre Dame Journal of Formal Logic, 62(3):455–490, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.304125Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:2c2c34f123963c085eb13bd226982562879710f7094766a0f005a0c60e8c75ce","observation_id":"32ccd23c-fa86-4e99-8a67-1d0179f874c9","resolution":{"observed_at":"2026-07-31T17:24:55.304125Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.306587Z","title":"Dzhafarov and Carl Mummert.Reverse mathematics—problems, reductions, and proofs","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.306587Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:a27c4ae1a5dda019930f5ceadd52a737ce0e179c8e23605a42d1e1adf987a1d0","observation_id":"57566261-06bf-46f8-a91a-5515d7deb69a","resolution":{"observed_at":"2026-07-31T17:24:55.306587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.309046Z","title":"Dzhafarov and Ludovic Patey","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.309046Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:a8286e6a38478cd0226d6167a83e1d267bc9566e3dead247b4187c7a6e614970","observation_id":"8651fd98-f8be-48ac-96f6-c2e67d00e1b2","resolution":{"observed_at":"2026-07-31T17:24:55.309046Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.311599Z","title":"Erd˝ os and G","venue":null,"work_id":null,"year":1935},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.311599Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:6489c04194b2e3d0b8e32f1d5da3119be9634fcd713fbf251b11a619385db77e","observation_id":"af748cce-8f33-49e4-8318-4372a434229f","resolution":{"observed_at":"2026-07-31T17:24:55.311599Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.314108Z","title":"Personal communication to L","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.314108Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:5fbac37c8899f16b34ea125193db0442427f71bf8bc6daacfe133b468f746116","observation_id":"27e97c6c-d3cd-400b-899a-c33fe786cb69","resolution":{"observed_at":"2026-07-31T17:24:55.314108Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.316986Z","title":"Graham, Bruce L","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.316986Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:9d6ba99706cfcb52d335d209ef2ab85a439337dfe9541ea44fc177640c554e16","observation_id":"d1267bb6-d3a8-46c7-be76-46e495d48be4","resolution":{"observed_at":"2026-07-31T17:24:55.316986Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.319533Z","title":"Perspectives in Mathematical Logic","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.319533Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:86510b901b8f94531a6ceec301278c6c3d3cc2a1f38ed6e43adcf909d2ccca40","observation_id":"7362fb72-2e7d-4580-8903-0532853dd7b2","resolution":{"observed_at":"2026-07-31T17:24:55.319533Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.322121Z","title":"Finite sums from sequences within cells of a partition ofN","venue":null,"work_id":null,"year":1974},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.322121Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:3738016a6ecbc16e76993e4c521c656de857a0e9781548eebb330d8c42d6e4da","observation_id":"6e14c0ae-4442-4195-8dda-87eedd077b62","resolution":{"observed_at":"2026-07-31T17:24:55.322121Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.324544Z","title":"De Gruyter textbook","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.324544Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:0b38c2b1b1bff58c006c2649983725f3c52b24a8894a9e868dd7d355709e193a","observation_id":"ad69a168-2c18-4678-b1b7-cc428def2327","resolution":{"observed_at":"2026-07-31T17:24:55.324544Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.326937Z","title":"ProQuest LLC, Ann Arbor, MI, 1987","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.326937Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:a662ef9015d61edeadf868e5ec17b68e67afa911665812aa29394942cbdfe083","observation_id":"e8b3c0b6-6f59-4b56-9138-cc00fd9be627","resolution":{"observed_at":"2026-07-31T17:24:55.326937Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.18749","last_updated":"2024-08-29T11:58:19Z","snapshot_observed_at":"2026-08-08T04:12:06.905933Z","submitted_at":"2024-04-29T14:48:26Z","title":"$\\Pi^0_4$ conservation of the Ordered Variable Word theorem","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.18749","snapshot_observed_at":"2026-07-31T17:24:55.329427Z","title":"Π 0 4 conservation of the Ordered Variable Word theorem.arXiv preprint arXiv:2404.18749, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.329427Z"},"links":{"cited_paper":"/paper/2404.18749","citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:54d136d567b6f165ad7104c66df94e40ead0780253a7c1ea9700a1d232550619","observation_id":"551581da-6879-40b9-a25b-cc265148e63f","resolution":{"observed_at":"2026-07-31T17:24:55.329427Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.332304Z","title":"Largeness notions and polytime translation for@Σ 0 3-consequences ofRT 2 2, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.332304Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:2ef33151bbeb4c32a599e1e73e1666bc75d8ccf7832cab021f6a0169a60181b6","observation_id":"db697c6b-ad71-4b5c-9cb1-4e849385523e","resolution":{"observed_at":"2026-07-31T17:24:55.332304Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2009.00967","last_updated":"2025-06-03T09:21:11Z","snapshot_observed_at":"2026-08-04T15:02:44.219783Z","submitted_at":"2020-09-02T11:51:08Z","title":"Big Ramsey degrees using parameter spaces","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2009.00967","snapshot_observed_at":"2026-07-31T17:24:55.334690Z","title":"Big ramsey degrees using parameter spaces.arXiv preprint arXiv:2009.00967, page 20, 2020","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.334690Z"},"links":{"cited_paper":"/paper/2009.00967","citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:722180dc33132ed698f3e9d7cd28336ce84c15be4eba2284e896364d4fe007eb","observation_id":"439920f2-22a0-42b4-b329-ad9e1b0a6236","resolution":{"observed_at":"2026-07-31T17:24:55.334690Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.337672Z","title":"The Clarendon Press, Oxford University Press, New York, 1991","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.337672Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:7ac3c45d8ebaa3e54c9c027c405ca4b40843aa482e465d04c56eedbde343f832","observation_id":"aeaf8237-7a38-443e-87e1-03465bbac541","resolution":{"observed_at":"2026-07-31T17:24:55.337672Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.340339Z","title":"Rapidly growing Ramsey functions","venue":null,"work_id":null,"year":1981},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.340339Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:20cb1a149d900506b3a2e5e0d147de319044da3e46411782d43b2158be82524f","observation_id":"5f532184-52e3-412f-97c9-26d976183c74","resolution":{"observed_at":"2026-07-31T17:24:55.340339Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.343059Z","title":null,"venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.343059Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:09c3f2521454622ba31d6b50032d44c0ffdc279604791f20c333f9263708ca4a","observation_id":"14bcb76e-302c-45ea-8f12-6dcfeaae57ba","resolution":{"observed_at":"2026-07-31T17:24:55.343059Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.345645Z","title":"Ramsey’s theorem for pairs, collection, and proof size.Journal of Mathe- matical Logic, page 2350007, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.345645Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:499cd87127f255cd96a6d460a89ec121dee2074f632d2473eafe93d877676398","observation_id":"64a750b1-edd5-46ae-861b-5b2d499c268a","resolution":{"observed_at":"2026-07-31T17:24:55.345645Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.348150Z","title":"Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs.Selecta Math","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.348150Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:38a5258a03d256004388af4a4dda6b17ec6fbf83e0f84645c543832915ca8b74","observation_id":"7e5f7714-7aae-4e16-8e5f-12916de37a19","resolution":{"observed_at":"2026-07-31T17:24:55.348150Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.350631Z","title":"Π 0 4 con- servation of Ramsey’s theorem for pairs","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.350631Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:0cb734b1cf68fc6d8356b28f5d46b80cb85073e31f06de5110f4901d75cd4718","observation_id":"3cf242cf-edd8-4221-bdd0-59d988a19559","resolution":{"observed_at":"2026-07-31T17:24:55.350631Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.353364Z","title":"Corrigendum to: Π 0 4 conservation of Ramsey’s theorem for pairs","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.353364Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:9f3ae98f75daa9433beb90792167d1baf952a104a87a3b05fc55ef74e7af0d01","observation_id":"a0a1a91e-f8e6-4725-9f43-9aca4e0d16d2","resolution":{"observed_at":"2026-07-31T17:24:55.353364Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.355918Z","title":"Π0 4 conser- vation of ramsey’s theorem for pairs.Journal of the London Mathematical Society, 113(1):e70419, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.355918Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:2fe662a5bc9209543706075a2d662077949934778e952c2bb5a4be31953cca32","observation_id":"fa7f86d3-6252-4544-92fc-e68e47d2cf0b","resolution":{"observed_at":"2026-07-31T17:24:55.355918Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.358886Z","title":"A computable analysis of vari- able words theorems.Proc","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.358886Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:8f16ebd705adb7eebba75a69cecd466abf8d1a9d2c203f1024edc04e43b4fd5b","observation_id":"97e6d72a-23a0-4c4d-922a-dea2e7cdf1a3","resolution":{"observed_at":"2026-07-31T17:24:55.358886Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.361467Z","title":"The reverse mathematics of the ordered variable word theorem","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.361467Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:a9159cb55bbfbe04c408f261153d8bd448308981f095d980701b169a04333e86","observation_id":"5a1f337f-85b2-4624-8271-09ba5e11c34e","resolution":{"observed_at":"2026-07-31T17:24:55.361467Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.363946Z","title":"Miller and Reed Solomon","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.363946Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:9f4aa5bd68a296a11a058847b670a7524f7ae3ead92c2ec2665e63574d9cc9b7","observation_id":"66a9349a-775b-4b2b-8d26-d2a6184d5e3c","resolution":{"observed_at":"2026-07-31T17:24:55.363946Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.366496Z","title":"Milliken","venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.366496Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:87d78b4a069deacefc58c3e13828a1c4f902475a4fcbbfd53460089144bfb60e","observation_id":"79c51635-306d-4f6e-839a-2670bba2f8c8","resolution":{"observed_at":"2026-07-31T17:24:55.366496Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.369137Z","title":"The strength of the tree theorem for pairs in reverse math- ematics.J","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.369137Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:5845ef22a02ca2aca1b2d21cd610e6db7fa2ec3b8f885498966a56615080251a","observation_id":"9f3b5388-ce8a-498d-b8e6-16875417b1cf","resolution":{"observed_at":"2026-07-31T17:24:55.369137Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.371657Z","title":"The proof-theoretic strength of Ram- sey’s theorem for pairs and two colors.Adv","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.371657Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:7015135c0797c681233f2cae8388b7d41145edb17fc5059442fe08f4075251fa","observation_id":"d3732f38-eb9c-4c1a-83db-051fa4b6148e","resolution":{"observed_at":"2026-07-31T17:24:55.371657Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.374148Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.374148Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:9afcd8c08f4f5c22e445dacdbf2fe0f9824c21d75be06c386f5f7abb0b94876c","observation_id":"8988817a-a7f1-4a89-9aa2-bc8e6660cbe6","resolution":{"observed_at":"2026-07-31T17:24:55.374148Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.376612Z","title":"Algebras of sets binumerable in complete extensions of arith- metic","venue":null,"work_id":null,"year":1962},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.376612Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:798064e430d2c84d187d865b2c7eae45122865a16c38294dd4d68aab98edceeb","observation_id":"8c4dd2d2-c07c-42cb-aeac-b195fa3aa9cf","resolution":{"observed_at":"2026-07-31T17:24:55.376612Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.379383Z","title":"Primitive recursive bounds for van der Waerden numbers","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.379383Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:4a453d556eb8deb82bb3a03187a4cfb72f2a86e33a888c03b22295032a66e461","observation_id":"03427da6-17a3-48dd-825a-85c88916a772","resolution":{"observed_at":"2026-07-31T17:24:55.379383Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.381815Z","title":"Simpson.Subsystems of second order arithmetic","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.381815Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:1f20797b4c023ed2b0aa9e49023f08fedce785aaad2f3b26237b73bec871f4c4","observation_id":"c67ccfcf-c539-4f07-899f-3cb7e7f14858","resolution":{"observed_at":"2026-07-31T17:24:55.381815Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.384237Z","title":"Princeton University Press, Princeton, NJ, 2010","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.384237Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:b0ce8987abe71f3088a53eaca91273c1d5fd8a2903ecf719217a698e3214cf0f","observation_id":"94d70965-ecae-4b91-87e9-12f84e1096fa","resolution":{"observed_at":"2026-07-31T17:24:55.384237Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.386936Z","title":"Hindman’s theorem: an ultrafilter argument in second order arithmetic.J","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.386936Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:35756a3f261fa3bc733577dc74f2254be9d8f7c36cb1872e74861f9cd9483c2d","observation_id":"d1cb07c8-bcbd-44a5-af9b-e3f6f10cbfbe","resolution":{"observed_at":"2026-07-31T17:24:55.386936Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.389534Z","title":"A simple proof and some difficult examples for Hindman’s theorem.Notre Dame J","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.389534Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:763f4d4ad324bce153572c0687fb1f9a03f7431391cb4b4c649dd3528579955c","observation_id":"2a411170-e723-4b96-85be-62b2e7812d61","resolution":{"observed_at":"2026-07-31T17:24:55.389534Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.392185Z","title":"Erd˝ os-moser andIΣ 2.Israel J","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.392185Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:cab139c44e66608b75ae225d20d2eba793d2d43c6b8399ddbf9ed29f49491f76","observation_id":"afa29bd2-813b-494d-98e6-de6e91f6370f","resolution":{"observed_at":"2026-07-31T17:24:55.392185Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1912.09049","last_updated":"2019-12-19T08:05:28Z","snapshot_observed_at":"2026-07-06T08:45:36.681891Z","submitted_at":"2019-12-19T08:05:28Z","title":"The Strength of Ramsey's Theorem For Pairs over trees: I. Weak K\\\"onig's Lemma","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1912.09049","snapshot_observed_at":"2026-07-31T17:24:55.278256Z","title":null,"venue":null,"work_id":null,"year":1912},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.278256Z"},"links":{"cited_paper":"/paper/1912.09049","citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:46a43f32e6374cfdd98ec9c4c0edb61a5fa56522c77b66c32eefc5c7dd5fa37f","observation_id":"0ef976c3-193c-4f93-9e5b-f868c474aeb4","resolution":{"observed_at":"2026-07-31T17:24:55.278256Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T17:24:55.295795Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-07-31T17:24:55.295795Z"},"links":{"citing_paper":"/paper/2607.28116"},"observation_digest":"sha256:f5cc82dd897aba76920e84510f0ff2a41bc29630f576c5687eb60a59931cf219","observation_id":"2dd0cdfd-945a-4501-b65f-36e2c91d1acf","resolution":{"observed_at":"2026-07-31T17:24:55.295795Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.28116","last_updated":"2026-07-30T12:24:42Z","latest_version":1,"primary_category":"math.LO","snapshot_observed_at":"2026-08-03T00:04:04.719716Z","submitted_at":"2026-07-30T12:24:42Z","title":"$\\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words"},"reference_resolution":{"displayed":55,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":55,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":55},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 55 of 55 outbound references and 0 inbound Pith citation observations for arXiv:2607.28116."}