Publication:3963000
From MaRDI portal
zbMath0498.03052MaRDI QIDQ3963000
Publication date: 1981
elementary toposKripke-Joyal semantics for ZF set theorylocally small cocomplete toposvon Neumann cumulative hierarchy
Categorical logic, topoi (03G30) Topoi (18B25) Nonclassical and second-order set theories (03E70) Other aspects of forcing and Boolean-valued models (03E40)
Related Items
Apartness, sharp elements, and the Scott topology of domains, Constructive toposes with countable sums as models of constructive set theory, Complete topoi representing models of set theory