scientific article
From MaRDI portal
Publication:4003284
zbMath0755.03029MaRDI QIDQ4003284
Publication date: 18 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
NFessaywell-founded setsset theory with a universal setChurch universal set theoryRieger-Bernays permutation models
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Nonclassical and second-order set theories (03E70)
Related Items (9)
Finite sets and natural numbers in intuitionistic TT ⋮ Models of intuitionistic TT and NF ⋮ The subset relation and 2‐stratified sentences in set theory and class theory ⋮ Amphi-ZF : axioms for Conway games ⋮ Pointfree expression and calculation: From quantification to temporal logic ⋮ A combinatorial result related to the consistency of New Foundations ⋮ Broadening the iterative conception of set ⋮ Neo-Fregeanism: an embarrassment of riches ⋮ Why is the universe of sets not a set?
This page was built for publication: