Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM

DOI10.1007/S00153-005-0308-9zbMath1089.03047OpenAlexW2068028157MaRDI QIDQ2388437

Osamu Takaki

Publication date: 13 September 2005

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

Full work available at URL: https://doi.org/10.1007/s00153-005-0308-9

zbMATH Keywords

large cardinalsinaccessible cardinalsproof-theoretic ordinals

Mathematics Subject Classification ID

Large cardinals (03E55) Recursive ordinals and ordinal notations (03F15)

Cites Work

• Proof-theoretic analysis of KPM
• Ordinal notations based on a weakly Mahlo cardinal
• Set theory. An introduction to large cardinals
• The Mathematical Import of Zermelo's Well-Ordering Theorem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM