On the fundamental conjecture of GLC, VI

DOI10.3792/PJA/1195523627MaRDI QIDQ3292575zbMATHOpenAlexWikidataFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1377701
• Quasilinear Posets and some Subsystems Of Dummett's LC
• scientific article; zbMATH DE number 1612545
• scientific article; zbMATH DE number 1031106
• Glivenko theorems revisited

Cites work

• scientific article; zbMATH DE number 3216998 (Why is no real title available?)
• scientific article; zbMATH DE number 3030932 (Why is no real title available?)
• scientific article; zbMATH DE number 3085191 (Why is no real title available?)
• scientific article; zbMATH DE number 3085192 (Why is no real title available?)
• On the fundamental conjecture of \(GLC\). I, II
• On the fundamental conjecture of \(GLC\). V
• Ordinal diagrams
• Ordinal diagrams. II

Cited in

(4)

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

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)