On Takeuti's early view of the concept of set

DOI10.1007/978-981-16-4173-2_5OpenAlexW4207063600MaRDI QIDQ2097059

Hidenori Kurokawa

Publication date: 11 November 2022

Full work available at URL: https://doi.org/10.1007/978-981-16-4173-2_5

zbMATH Keywords

higher-order logicproof theoryhistory of logicconcept of setGaisi TakeutiTakeuti's fundamental conjecture

Mathematics Subject Classification ID

General logic (03Bxx) Proof theory and constructive mathematics (03Fxx) Set theory (03Exx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the fundamental conjecture of \(GLC\). III
• On the fundamental conjecture of \(GLC\). IV
• On the fundamental conjecture of \(GLC\). V
• Ordinal diagrams
• Construction of the set theory from the theory of ordinal numbers
• On the fundamental conjecture of \(GLC\). I, II
• Proof theory. 2nd ed
• Consistency proofs of subsystems of classical analysis
• A proof of cut-elimination theorem in simple type-theory
• POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE
• Systems of predicative analysis
• Hauptsatz for higher order logic
• A survey of proof theory
• The Universe of Set Theory
• A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
• Two notes on the foundations of set-theory

This page was built for publication: On Takeuti's early view of the concept of set