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 2018Show all

3 papers · 1 filter

math.LO2018★ 17 cited

Computable Aspects of the Bachmann-Howard Principle

Anton Freund

We have previously established that $Π_{1}^{1}$ -comprehension is equivalent to the statement that every dilator has a well-founded Bachmann-Howard fixed point, over $AT R_{0}$ . I…

math.LO2018★ 11 cited

A Categorical Construction of Bachmann-Howard Fixed Points

Anton Freund

Peter Aczel has given a categorical construction for fixed points of normal functors, i.e. dilators which preserve initial segments. For a general dilator $X \mapsto T_{X}$ we cannot…

math.LO2018★ 19 cited

$Π_{1}^{1}$ -Comprehension as a Well-Ordering Principle

Anton Freund

A dilator is a particularly uniform transformation $X \mapsto T_{X}$ of linear orders that preserves well-foundedness. We say that $X$ is a Bachmann-Howard fixed point of $T$ if there…

Computable Aspects of the Bachmann-Howard Principle

A Categorical Construction of Bachmann-Howard Fixed Points

Π11​-Comprehension as a Well-Ordering Principle

$Π_{1}^{1}$ -Comprehension as a Well-Ordering Principle