scientific article
From MaRDI portal
Publication:3963000
zbMath0498.03052MaRDI QIDQ3963000
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 (3)
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
This page was built for publication:
