We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: On the logical strength of the better quasi order with three elements

Authors: Anton Freund
Abstract: The notion of better quasi order ($\mathsf{BQO}$), due to Nash-Williams, is very fruitful mathematically and intriguing from the standpoint of logic, due to several long-standing open problems. In the present paper, we make a significant step towards one of these: Let $\mathbf 3$ be the discrete order with three elements. We show that arithmetical recursion along the natural numbers ($\mathsf{ACA}_0^+$) follows from $\mathbf 3$ being $\mathsf{BQO}$, over the base theory $\mathsf{RCA_0}$ from reverse mathematics. Also over the latter, we deduce arithmetical transfinite recursion ($\mathsf{ATR}_0$) from the assumption that $\mathbf 3$ is $\Delta^0_2\text{-}\mathsf{BQO}$, which plays a role in work of Montalb\'an.
Comments: The results in the current version are significantly stronger than those in the previous one, and the title has been changed
Subjects: Logic (math.LO); Combinatorics (math.CO)
MSC classes: 06A07, 03B30, 03F15, 03F35
Cite as: arXiv:2206.11132 [math.LO]
  (or arXiv:2206.11132v2 [math.LO] for this version)

Submission history

From: Anton Freund [view email]
[v1] Wed, 22 Jun 2022 14:29:57 GMT (10kb)
[v2] Wed, 10 Aug 2022 15:59:13 GMT (21kb)

Link back to: arXiv, form interface, contact.