Publication:4656800
From MaRDI portal
zbMath1061.03035MaRDI QIDQ4656800
Publication date: 14 March 2005
03E55: Large cardinals
03E70: Nonclassical and second-order set theories
03C62: Models of arithmetic and set theory
03C50: Models with special properties (saturated, rigid, etc.)
03H05: Nonstandard models in mathematics
Related Items
ZFC PROVES THAT THE CLASS OF ORDINALS IS NOT WEAKLY COMPACT FOR DEFINABLE CLASSES, Set theory with a proper class of indiscernibles, Feferman’s Forays into the Foundations of Category Theory, ALGEBRAIC NEW FOUNDATIONS, Bootstrapping. I, Largest initial segments pointwise fixed by automorphisms of models of set theory, Rank-initial embeddings of non-standard models of set theory, Localizing the axioms, Iterated ultrapowers for the masses, Automorphisms of models of set theory and extensions of NFU