Year: 2024
Type: article
Abstract: This paper studies logical aspects of the notion of better-quasi-order, which was introduced by C. Nash-Williams [Proc. Cambridge Philos. Soc. 61 (1965), pp. 697–720; Proc. Cambridge Philos. Soc. 64 (1968), pp. 273–290]. A central tool in the theory of better-quasi-orders is the minimal bad array lemma. We show that this lemma is exceptionally strong from the viewpoint of reverse mathematics, a framework from mathematical logic. Specifically, it is equivalent to the set existence principle of Π 2 1 \Pi ^1_2 -comprehension, over the base theory A T R 0 \mathsf {ATR_0} .
DOI: 10.1090/proc/17038
Authors: Anton Freund, Fedor Pakhomov, Giovanni Soldà
Institutions: University of Würzburg, Ghent University
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4402886060