Cofinal Indiscernibles and some Applications to New Foundations
From MaRDI portal
Publication:4304093
DOI10.1002/malq.19940400305zbMath0807.03024OpenAlexW2149930346MaRDI QIDQ4304093
Publication date: 5 March 1995
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19940400305
Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Set-theoretic model theory (03C55)
Related Items
Models of intuitionistic TT and NF ⋮ Strong axioms of infinity in NFU ⋮ Automorphisms of models of set theory and extensions of NFU ⋮ Permutations and wellfoundedness: the true meaning of the bizarre arithmetic of Quine's NF ⋮ Automorphisms moving all non-algebraic points and an application to NF
Cites Work