On the fundamental conjecture of GLC, VI

DOI10.3792/pja/1195523627zbMath0106.23702OpenAlexW1964299822WikidataQ123291183 ScholiaQ123291183MaRDI QIDQ3292575

Gaisi Takeuti

Publication date: 1961

Published in: Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3792/pja/1195523627

zbMATH Keywords

fundamental conjectureGeneralized Logical CalculusGLCunramified type theory

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (3)

Systems of predicative analysis ⋮ A characterization of Takeuti's ordinal diagrams of finite order ⋮ Cut-Elimination for SBL

Cites Work

• On the fundamental conjecture of \(GLC\). V
• Ordinal diagrams
• On the fundamental conjecture of \(GLC\). I, II
• Ordinal diagrams. II
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the fundamental conjecture of GLC, VI