A second order theory of ordinal numbers with Ackermann-type reflection schema

DOI10.2969/jmsj/02940745zbMath0355.02048OpenAlexW2052118458MaRDI QIDQ1237076

Masazumi Hanazawa

Publication date: 1977

Published in: Journal of the Mathematical Society of Japan (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2969/jmsj/02940745

Mathematics Subject Classification ID

Large cardinals (03E55) Nonclassical and second-order set theories (03E70)

This page was built for publication: A second order theory of ordinal numbers with Ackermann-type reflection schema