Some properties of ordinal diagrams

DOI10.1017/S0027763000021838zbMATH Open0351.02025MaRDI QIDQ4120569FDOQ4120569

Authors: Mariko Yasugi 

Publication date: 1978

Published in: Nagoya Mathematical Journal (Search for Journal in Brave)

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Cites Work

• Consistency proofs of subsystems of classical analysis
• Cut elimination theorem for second order arithmetic with the \(\Pi^ 1_ 1\)-comprehension axiom and the \(\omega\)-rule
• Proof theory
• Ordinal diagrams
• Ordinal diagrams. II
• An accessibility proof of ordinal diagrams

Cited In (2)

• The machinery of consistency proofs
• ``Gaisi Takeuti's finitist standpoint and its mathematical embodiment

This page was built for publication: Some properties of ordinal diagrams

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