Publication:4967709
From MaRDI portal
zbMath1416.03019MaRDI QIDQ4967709
Publication date: 10 July 2019
03E30: Axiomatics of classical set theory and its fragments
03C62: Models of arithmetic and set theory
18B05: Categories of sets, characterizations
Related Items
The strength of Mac Lane set theory, Relating first-order set theories, toposes and categories of classes, Sheaf models for set theory