scientific article; zbMATH DE number 3353229
From MaRDI portal
Publication:5628079
zbMath0223.02003MaRDI QIDQ5628079
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Relativized ordinal analysis: the case of power Kripke-Platek set theory ⋮ Funktoren auf Kategorien von Banachräumen ⋮ The scope of Feferman's semi-intuitionistic set theories and his second conjecture ⋮ On Some Semi-constructive Theories Related to Kripke–Platek Set Theory ⋮ Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
This page was built for publication:
