scientific article; zbMATH DE number 3353229
From MaRDI portal
Publication:5628079
Cited in
(5)- Relativized ordinal analysis: the case of power Kripke-Platek set theory
- Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
- The scope of Feferman's semi-intuitionistic set theories and his second conjecture
- Funktoren auf Kategorien von Banachräumen
- On some semi-constructive theories related to Kripke-Platek set theory
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5628079)