On the fundamental conjecture of GLC, VI

DOI10.3792/PJA/1195523627zbMATH Open0106.23702OpenAlexW1964299822WikidataQ123291183 ScholiaQ123291183MaRDI QIDQ3292575FDOQ3292575

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)

Cites Work

• On the fundamental conjecture of \(GLC\). V
• On the fundamental conjecture of \(GLC\). I, II
• Ordinal diagrams
• Ordinal diagrams. II
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Cut-Elimination for SBL
• Systems of predicative analysis
• On the DJL conjecture for order 6
• A characterization of Takeuti's ordinal diagrams of finite order

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

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