19 citations · 101 across the 35 of their papers we have counts for
40 papers
Fraïssé's conjecture, partial impredicativity and well-ordering principles, part II
Anton Freund, Katarzyna W. Kowalik, Davide Manca
We exhibit a well-ordering principle that is equivalent to a theory of partial impredicativity. The latter goes back to Towsner and relates to recent work of Suzuki and Yokoyama. T…
Induction on Dilators and Bachmann-Howard Fixed Points
Juan P. Aguilera, Anton Freund, Andreas Weiermann
One of the most important principles of J.-Y. Girard's -logic is induction on dilators. In particular, Girard used this principle to construct his famous functor . He cla…
Fraïssé's conjecture, partial impredicativity and well-ordering principles, part I
Anton Freund
Fraïssé's conjecture (proved by Laver) is implied by the -comprehension axiom of reverse mathematics, as shown by Montalbán. The implication must be strict for reasons of qu…
Dilators and the reverse mathematics zoo
Anton Freund
A predilator is a particularly uniform transformation of linear orders. We have a dilator when the transformation preserves well-foundedness. Over the theory from…
An Introduction to Mathematical Logic
Anton Freund
This introduction begins with a section on fundamental notions of mathematical logic, including propositional logic, predicate or first-order logic, completeness, compactness, the…
Provable better quasi orders
Anton Freund, Alberto Marcone, Fedor Pakhomov +1
It has recently been shown that fairly strong axiom systems such as cannot prove that the antichain with three elements is a better quasi order (). I…