Anton Freund

activity

20152026

most cited

Π_{1}^{1}

-Comprehension as a Well-Ordering Principle

19 citations · 101 across the 35 of their papers we have counts for

collaborators

Showing 2017Show all

3 papers · 1 filter

math.LO2017★ 2 cited

Short Proofs for Slow Consistency

Anton Freund, Fedor Pakhomov

Let $Con (T) ↾ x$ denote the finite consistency statement "there are no proofs of contradiction in $T$ with $\leq x$ symbols". For a larg…

math.LO2017

A Note on Iterated Consistency and Infinite Proofs

Anton Freund

Schmerl and Beklemishev's work on iterated reflection achieves two aims: It introduces the important notion of $Π_{1}^{0}$ -ordinal, characterizing the $Π_{1}^{0}$ -theorems of a theory in t…

math.LO2017★ 3 cited

A Higher Bachmann-Howard Principle

Anton Freund

We present a higher well-ordering principle which is equivalent (over Simpson's set theoretic version of $ATR_{0}$ ) to the existence of transitive models of Kripke-Platek set…