Some properties of ordinal diagrams

DOI10.1017/S0027763000021838MaRDI QIDQ4120569zbMATH OpenFDO

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

• 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
• Ordinal diagrams
• Ordinal diagrams. II
• Proof theory

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)