scientific article; zbMATH DE number 3999912
From MaRDI portal
Publication:4726244
zbMath0617.03031MaRDI QIDQ4726244
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal set theoryexistence propertydisjunctive propertyconservative extension of ZFCS4 modal theory for properties
Modal logic (including the logic of norms) (03B45) Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55)
Related Items (4)
Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator ⋮ Topological models of epistemic set theory ⋮ Integrating classical and intuitionistic type theory ⋮ The knowing mathematician
This page was built for publication:
