Anton Freund

Available identifiers

zbMath Open freund.antonMaRDI QIDQ526963

List of research outcomes

Publication	Date of Publication	Type
Well ordering principles for iterated \(\Pi^1_1\)-comprehension	2023-10-30	Paper
An Introduction to Mathematical Logic	2023-10-15	Paper
What is effective transfinite recursion in reverse mathematics?	2023-09-12	Paper
A note on ordinal exponentiation and derivatives of normal functions	2023-09-11	Paper
On the logical strength of the better quasi order with three elements	2023-08-28	Paper
Bachmann-Howard derivatives	2023-06-05	Paper
Provable better quasi orders	2023-05-01	Paper
Bounds for a nonlinear ergodic theorem for Banach spaces	2023-04-27	Paper
Weak well orders and Fra\"iss\'e's conjecture	2023-04-06	Paper
The logical strength of minimal bad arrays	2023-04-01	Paper
A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH	2022-11-08	Paper
Normal functions and maximal order types	2022-09-23	Paper
The uniform Kruskal theorem: between finite combinatorics and strong set existence	2022-07-30	Paper
Boundedness theorems for flowers and sharps	2022-07-08	Paper
A Uniform Characterization of Σ1-Reflection Over the Fragments of Peano Arithmetic	2022-06-17	Paper
Higman's lemma is stronger for better quasi orders	2022-05-09	Paper
Impredicativity and Trees with Gap Condition: A Second Course on Ordinal Analysis	2022-04-20	Paper
Minimal bad sequences are necessary for a uniform Kruskal theorem	2022-04-14	Paper
R.E. Bruck, proof mining and a rate of asymptotic regularity for ergodic averages in Banach spaces	2022-04-08	Paper
Patterns of resemblance and Bachmann-Howard fixed points	2022-01-04	Paper
Reverse mathematics of a uniform Kruskal-Friedman theorem	2021-12-16	Paper
WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY	2021-10-27	Paper
Ackermann and Goodstein go functorial	2021-10-19	Paper
Unprovability in Mathematics: A First Course on Ordinal Analysis	2021-09-13	Paper
From Kruskal’s theorem to Friedman’s gap condition	2021-05-14	Paper
HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS?	2021-01-29	Paper
Patterns of resemblance and Bachmann-Howard fixed points	2020-12-18	Paper
Derivatives of normal functions in reverse mathematics	2020-12-15	Paper
Ackermann and Goodstein go functorial	2020-11-06	Paper
Computable aspects of the Bachmann–Howard principle	2020-09-04	Paper
Set-theoretic reflection is equivalent to induction over well-founded classes	2020-08-20	Paper
Short proofs for slow consistency	2020-05-04	Paper
PREDICATIVE COLLAPSING PRINCIPLES	2020-04-17	Paper
A mathematical commitment without computational strength	2020-04-15	Paper
From Kruskal's theorem to Friedman's gap condition	2020-03-05	Paper
Minimal bad sequences are necessary for a uniform Kruskal theorem	2020-01-17	Paper
A categorical construction of Bachmann–Howard fixed points	2019-12-11	Paper
\(\Pi_1^1\)-comprehension as a well-ordering principle	2019-09-19	Paper
A note on iterated consistency and infinite proofs	2019-03-27	Paper
Slow reflection	2017-09-29	Paper
Proof lengths for instances of the Paris-Harrington principle	2017-05-15	Paper
A Higher Bachmann-Howard Principle	2017-04-05	Paper
Lattice-based and topological representations of binary relations with an application to music	2015-06-18	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Anton Freund