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

2 papers · 2 filters

math.LO2016★ 4 cited

Slow Reflection

Anton Freund

We describe a "slow" version of the hierarchy of uniform reflection principles over Peano Arithmetic ( $PA$ ). These principles are unprovable in Peano Arithmetic (even when…

math.LO2016★ 4 cited

Proof Lengths for Instances of the Paris-Harrington Principle

Anton Freund

As Paris and Harrington have famously shown, Peano Arithmetic does not prove that for all numbers $k, m, n$ there is an $N$ which satisfies the statement $PH (k, m, n, N)$ …