### References & Citations

# Mathematics > Logic

# Title: Turing-Taylor expansions for arithmetic theories

(Submitted on 17 Apr 2014 (v1), last revised 3 Aug 2015 (this version, v2))

Abstract: Turing progressions have been often used to measure the proof-theoretic strength of mathematical theories. Turing progressions based on $n$-provability give rise to a $\Pi_{n+1}$ proof-theoretic ordinal. As such, to each theory $U$ we can assign the sequence of corresponding $\Pi_{n+1}$ ordinals $\langle |U|_n\rangle_{n>0}$. We call this sequence a \emph{Turing-Taylor expansion} of a theory.

In this paper, we relate Turing-Taylor expansions of sub-theories of Peano Arithmetic to Ignatiev's universal model for the closed fragment of the polymodal provability logic ${\mathbf{GLP}}_\omega$. In particular, in this first draft we observe that each point in the Ignatiev model can be seen as Turing-Taylor expansions of formal mathematical theories.

Moreover, each sub-theory of Peano Arithmetic that allows for a Turing-Taylor expression will define a unique point in Ignatiev's model.

## Submission history

From: Joost Joosten [view email]**[v1]**Thu, 17 Apr 2014 11:02:34 GMT (14kb)

**[v2]**Mon, 3 Aug 2015 10:15:05 GMT (21kb)

Link back to: arXiv, form interface, contact.