Some properties of ordinal diagrams

DOI10.1017/S0027763000021838zbMath0351.02025MaRDI QIDQ4120569

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)

Related Items (2)

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

Cites Work

• Ordinal diagrams
• Ordinal diagrams. II
• An accessibility proof of ordinal diagrams
• 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

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