<!--StartFragment --><span class="cf0">The reverse mathematics of Carlson's theorem for located words</span><!--EndFragment --> Authors Ludovic Patey (ORCID: https://orcid.org/0000-0002-0304-7926) Tristan Bompard Lu Liu (ORCID: https://orcid.org/0000-0001-6670-8325) Institutions Centre National de la Recherche Scientifique (FR) Central South University (CN) Institut de Mathématiques de Jussieu-Paris Rive Gauche (FR) Publication Details Journal Journal of Combinatorics Published 2025-01-01 DOI https://doi.org/10.4310/joc.250830031602 Primary Topic Computability, Logic, AI Algorithms Type article Field-Weighted Citation Impact 0.00 Funders Agence Nationale de la Recherche Explore the Global Research Space Interactive Map