Weak and strong versions of effective transfinite recursion

DOI10.1016/J.APAL.2022.103232OpenAlexW4312053897MaRDI QIDQ2683778

Patrick Uftring

Publication date: 15 February 2023

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

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

zbMATH Keywords

reverse mathematicstransfinite inductioneffective transfinite recursionwell ordering principles

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reverse mathematics and ordinal exponentiation
• Transfinite induction within Peano arithmetic
• Effectiveness for the dual Ramsey theorem
• \(\mathsf{WKL}_0\) and induction principles in model theory
• Periodic points and subsystems of second-order arithmetic
• Ordinal inequalities, transfinite induction, and reverse mathematics
• WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY
• Ranked structures and arithmetic transfinite recursion
• What is effective transfinite recursion in reverse mathematics?

This page was built for publication: Weak and strong versions of effective transfinite recursion