Wellfoundedness proof with the maximal distinguished set

DOI10.1007/s00153-022-00840-8OpenAlexW4292883073WikidataQ113906144 ScholiaQ113906144MaRDI QIDQ2700827

Toshiyasu Arai

Publication date: 27 April 2023

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

ordinalswellfoundedness proofdistinguished class

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) Proof theory and constructive mathematics (03F99)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators
• Ordinal diagrams for recursively Mahlo universes
• An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
• Ordinal diagrams for Π₃-reflection
• Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π₂⁰-operators
• A SIMPLIFIED ORDINAL ANALYSIS OF FIRST-ORDER REFLECTION

This page was built for publication: Wellfoundedness proof with the maximal distinguished set