Consistency proofs of subsystems of classical analysis

DOI10.2307/1970691zbMath0159.00905OpenAlexW2334958216MaRDI QIDQ2527939

Gaisi Takeuti

Publication date: 1967

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/1970691

zbMATH Keywords

mathematical logic

Related Items (25)

Proof theory of reflection ⋮ An extension of the omega-rule ⋮ A survey of proof theory ⋮ Schnittelimination in einem Teilsystem der einfachen Typenlogik ⋮ Epsilon substitution for \(ID_1\) via cut-elimination ⋮ The machinery of consistency proofs ⋮ Beweistheoretische Abgrenzung von Teilsystemen der Analysis ⋮ Gentzen reduction revisited ⋮ A characterization of Takeuti's ordinal diagrams of finite order ⋮ The Π21$\Pi ^1_2$ consequences of a theory ⋮ Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems ⋮ Well-Partial Orderings and their Maximal Order Types ⋮ From Subsystems of Analysis to Subsystems of Set Theory ⋮ Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und $$\bar \Theta \left( \omega \right)$$ ⋮ Natural well-orderings ⋮ Some properties of ordinal diagrams ⋮ Cut-elimination for \(\omega_{1}\) ⋮ Ordinals connected with formal theories for transfinitely iterated inductive definitions ⋮ Theory of proofs (arithmetic and analysis) ⋮ Some applications of Gentzens second consistency proof ⋮ Induction and inductive definitions in fragments of second order arithmetic ⋮ On Takeuti's early view of the concept of set ⋮ ``Gaisi Takeuti's finitist standpoint and its mathematical embodiment ⋮ Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1 ⋮ On the role of Ramsey quantifiers in first order arithmetic

This page was built for publication: Consistency proofs of subsystems of classical analysis