scientific article; zbMATH DE number 3279146
From MaRDI portal
zbMath0175.00701MaRDI QIDQ5563362
Publication date: 1969
Full work available at URL: http://www.numdam.org/item?id=CM_1969__21_1_1_0
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A DEDEKIND-STYLE AXIOMATIZATION AND THE CORRESPONDING UNIVERSAL PROPERTY OF AN ORDINAL NUMBER SYSTEM, Observability in the univalent universe, Categoricity results for second-order ZF in dependent type theory, On the tensor product of well generated dg categories, On the algebraicK-theory of higher categories, Categories, Categoricity results and large model constructions for second-order ZF in dependent type theory, Grothendieck universes
Cites Work