scientific article; zbMATH DE number 3450171

MaRDI QIDQ4773683zbMATH OpenFDO

Authors Gaisi Takeuti, Mariko Yasugi

Publication date 1973

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) Proof theory and constructive mathematics (03F99)

Cited in

(6)

• ``Gaisi Takeuti's finitist standpoint and its mathematical embodiment
• Ordinal analysis by transformations
• The machinery of consistency proofs
• Theory of proofs (arithmetic and analysis)
• Proof theory of reflection
• Gentzen reduction revisited

This page was built for publication:

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