Über Endlich‐Axiomatisierbare Teilsysteme der Zermelo‐Fraenkelschen Mengenlehre

DOI10.1002/malq.19680140103zbMath0177.01401OpenAlexW2068155073MaRDI QIDQ5569103

Ernst-Jochen Thiele

Publication date: 1968

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19680140103

zbMATH Keywords

set theory

Related Items

Relativized ordinal analysis: the case of power Kripke-Platek set theory, The scope of Feferman's semi-intuitionistic set theories and his second conjecture, The strength of Mac Lane set theory, Boolean topoi and the theory of sets, Categorical set theory: A characterization of the category of sets, Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions