Induction on dilators and Bachmann-Howard fixed points

DOI10.1016/J.APAL.2026.103740MaRDI QIDQ7229182zbMATH OpenFDO

Authors Juan P. Aguilera, Anton Freund, Andreas Weiermann

Publication date 15 April 2026

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.APAL.2026.103740

zbMATH Keywords

\(\Pi_1^1\)-comprehensionBachmann-Howard fixed pointsinduction on dilatorsreverse mathematicswell-ordering principles

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Recursive ordinals and ordinal notations (03F15) Second- and higher-order arithmetic and fragments (03F35)

Cites work

• \(\Pi_1^1\)-comprehension as a well-ordering principle
• A proof-theoretic characterization of the primitive recursive set functions
• Computable aspects of the Bachmann-Howard principle
• Derivatives of normal functions in reverse mathematics
• scientific article; zbMATH DE number 6536275 (Why is no real title available?)
• scientific article; zbMATH DE number 4039890 (Why is no real title available?)
• scientific article; zbMATH DE number 3782998 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3349789 (Why is no real title available?)
• Introduction to \(\Pi^1_2\)-logic
• On inverse Goodstein sequences
• Predicative collapsing principles
• Proof-theoretic investigations on Kruskal's theorem
• Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy)
• Some uses of dilators in combinatorial problems. II
• Transfinite induction within Peano arithmetic
• WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY
• Well ordering principles for iterated \(\Pi^1_1\)-comprehension
• Well-Ordering Principles in Proof Theory and Reverse Mathematics
• Π12-logic, Part 1: Dilators

This page was built for publication: Induction on dilators and Bachmann-Howard fixed points

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7229182)