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 2015 · math.LOShow all

1 paper · 2 filters

math.LO2015

A Uniform Characterization of $Σ_{1}$ -Reflection over the Fragments of Peano Arithmetic

Anton Freund

We show that the theory $I Σ_{1}$ of $Σ_{1}$ -induction proves the following statement: For all $n \geq 2$ , the uniform $Σ_{1}$ -reflection principle over the theory $I Σ_{n}$ is equivalent to…

A Uniform Characterization of Σ1​-Reflection over the Fragments of Peano Arithmetic

A Uniform Characterization of $Σ_{1}$ -Reflection over the Fragments of Peano Arithmetic