On the fundamental conjecture of GLC, VI
type: Item
instance of: scholarly article
title: On the fundamental conjecture of GLC, VI
zbMATH Open document ID: 0106.23702
author: Gaisi Takeuti
published in: Proceedings of the Japan Academy, Series A, Mathematical Sciences
publication date: 1961-01-01T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 3173698
zbMATH Keywords: Generalized Logical Calculus
zbMATH Keywords: GLC
zbMATH Keywords: unramified type theory
zbMATH Keywords: fundamental conjecture
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.3792/pja/1195523627
OpenAlex ID: W1964299822
Wikidata QID: Q123291183
cites work: Q5770685
cites work: Q5344164
cites work: Q5822068
cites work: Q5822069
cites work: On the fundamental conjecture of \(GLC\). I, II
cites work: Ordinal diagrams
cites work: On the fundamental conjecture of \(GLC\). V
cites work: Ordinal diagrams. II
DOI: 10.3792/PJA/1195523627
description: scientific article