Semi-intuitionistic set theory
From MaRDI portal
Publication:5921051
DOI10.1305/ndjfl/1093890719zbMath0206.01003OpenAlexW1963749227MaRDI QIDQ5921051
Publication date: 1972
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093890719
Related Items (3)
Relativized ordinal analysis: the case of power Kripke-Platek set theory ⋮ The scope of Feferman's semi-intuitionistic set theories and his second conjecture ⋮ Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
This page was built for publication: Semi-intuitionistic set theory
