scientific article; zbMATH DE number 803071
From MaRDI portal
Publication:4850035
zbMath0831.03027MaRDI QIDQ4850035
Publication date: 8 October 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
NFessaywell-founded setsset theory with a universal setChurch universal set theoryChurch-Oswald modelsReiger-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 (18)
Increasing sentences in simple type theory ⋮ Hierarchical propositions ⋮ A fixed point theory over stratified truth ⋮ Strong Ambiguity ⋮ On the strength of a weak variant of the axiom of counting ⋮ Decreasing sentences in Simple Type Theory ⋮ CAN MODALITIES SAVE NAIVE SET THEORY? ⋮ Strong axioms of infinity in NFU ⋮ The usual model construction for NFU preserves information ⋮ A semantic characterization of the well-typed formulae of \(\lambda\)- calculus ⋮ The 3-stratifiable theorems of \(\text{NFU}_\infty\) ⋮ On modal \(\mu\)-calculus and non-well-founded set theory ⋮ Modal expansionism ⋮ The graph conception of set ⋮ ALGEBRAIC NEW FOUNDATIONS ⋮ Permutations and wellfoundedness: the true meaning of the bizarre arithmetic of Quine's NF ⋮ A modern rigorous approach to stratification in NF/NFU ⋮ Nonsets
This page was built for publication:
