The following pages link to Anton Freund (Q526963):
Displaying 34 items.
- Proof lengths for instances of the Paris-Harrington principle (Q526964) (← links)
- A note on iterated consistency and infinite proofs (Q1734260) (← links)
- Ekeland's variational principle in weak and strong systems of arithmetic (Q2003985) (← links)
- Patterns of resemblance and Bachmann-Howard fixed points (Q2064043) (← links)
- Minimal bad sequences are necessary for a uniform Kruskal theorem (Q2125990) (← links)
- Short proofs for slow consistency (Q2176406) (← links)
- Derivatives of normal functions in reverse mathematics (Q2216034) (← links)
- Ackermann and Goodstein go functorial (Q2234350) (← links)
- \(\Pi_1^1\)-comprehension as a well-ordering principle (Q2274030) (← links)
- Lattice-based and topological representations of binary relations with an application to music (Q2350030) (← links)
- Slow reflection (Q2407272) (← links)
- From Kruskal’s theorem to Friedman’s gap condition (Q4988429) (← links)
- A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH (Q5046601) (← links)
- A Uniform Characterization of Σ<sub>1</sub>-Reflection Over the Fragments of Peano Arithmetic (Q5081870) (← links)
- Boundedness theorems for flowers and sharps (Q5086943) (← links)
- PREDICATIVE COLLAPSING PRINCIPLES (Q5107241) (← links)
- Set-theoretic reflection is equivalent to induction over well-founded classes (Q5117344) (← links)
- Computable aspects of the Bachmann–Howard principle (Q5118047) (← links)
- HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS? (Q5148106) (← links)
- WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY (Q5159496) (← links)
- A categorical construction of Bachmann–Howard fixed points (Q5205443) (← links)
- Bounds for a nonlinear ergodic theorem for Banach spaces (Q5889844) (← links)
- What is effective transfinite recursion in reverse mathematics? (Q6047666) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
- A note on ordinal exponentiation and derivatives of normal functions (Q6096326) (← links)
- Bachmann-Howard derivatives (Q6103503) (← links)
- On the logical strength of the better quasi order with three elements (Q6135847) (← links)
- Dilators and the reverse mathematics zoo (Q6529988) (← links)
- Normal functions and maximal order types (Q6636675) (← links)
- The logical strength of minimal bad arrays (Q6658147) (← links)
- Higman's lemma is stronger for better quasi orders (Q6663926) (← links)
- Fraïssé's conjecture, partial impredicativity and well-ordering principles, part I (Q6733232) (← links)
- More conservativity for weak Kőnig's lemma (Q6750656) (← links)
- Induction on Dilators and Bachmann-Howard Fixed Points (Q6758572) (← links)
