### Current browse context:

math.LO

### Change to browse by:

### References & Citations

# Mathematics > Logic

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

(Submitted on 22 Jun 2022 (v1), last revised 10 Aug 2022 (this version, v2))

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.

## 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.