A subsystem of classical analysis proper to Takeuti's reduction method for \(\Pi ^ 1_ 1\)-analysis

DOI10.21099/TKBJM/1496160191zbMath0612.03024OpenAlexW579673964MaRDI QIDQ1087871

Toshiyasu Arai

Publication date: 1985

Published in: Tsukuba Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21099/tkbjm/1496160191

zbMATH Keywords

consistency proofsAIIAxiom of InstantiationIsolated formulaesubsystem of classical analysis

Mathematics Subject Classification ID

Structure of proofs (03F07) Complexity of proofs (03F20) Relative consistency and interpretations (03F25)

Related Items (2)

An extension of the omega-rule ⋮ The machinery of consistency proofs

This page was built for publication: A subsystem of classical analysis proper to Takeuti's reduction method for \(\Pi ^ 1_ 1\)-analysis