HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS?

DOI10.1017/jsl.2020.24zbMath1462.03008arXiv1906.00645OpenAlexW2946837670MaRDI QIDQ5148106

Anton Freund

Publication date: 29 January 2021

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1906.00645

zbMATH Keywords

fixed pointreverse mathematicsnormal functiondilatorwell-ordering principle\(\Pi^1_1\)-induction

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

Related Items (4)

Minimal bad sequences are necessary for a uniform Kruskal theorem ⋮ PREDICATIVE COLLAPSING PRINCIPLES ⋮ WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY ⋮ Patterns of resemblance and Bachmann-Howard fixed points

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reverse mathematics and ordinal exponentiation
• Derivatives of normal functions in reverse mathematics
• \(\Pi_1^1\)-comprehension as a well-ordering principle
• The Veblen functions for computability theorists
• Π12-logic, Part 1: Dilators
• Computable aspects of the Bachmann–Howard principle
• A categorical construction of Bachmann–Howard fixed points

This page was built for publication: HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS?