Set theory with a proper class of indiscernibles

DOI10.4064/fm999-2-2022zbMath1506.03111arXiv2008.07706OpenAlexW3075633002MaRDI QIDQ5101293

Ali Enayat

Publication date: 30 August 2022

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2008.07706

zbMATH Keywords

indiscerniblesZermelo-Fraenkel set theoryweakly compact cardinalMahlo cardinalsatisfaction classGödel-Bernays class theory

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Models of arithmetic and set theory (03C62) Partition relations (03E02) Axiom of choice and related propositions (03E25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Largest initial segments pointwise fixed by automorphisms of models of set theory
• Model theory.
• Models of set theory with definable ordinals
• Set theoretical analogues of the Barwise-Schlipf theorem
• Inner-model reflection principles
• On generalization of definitional equivalence to non-disjoint languages
• Levy and set theory
• On elementary embeddings from an inner model to the universe
• Conservative extensions of models of set theory and generalizations
• Regressive Partition Relations for Infinite Cardinals
• Power-like models of set theory
• ZFC PROVES THAT THE CLASS OF ORDINALS IS NOT WEAKLY COMPACT FOR DEFINABLE CLASSES
• Set Theory
• On the Leibniz–Mycielski axiom in set theory
• New set-theoretic axioms derived from a lean metamathematics
• Stretchings
• Variations on a Visserian Theme
• Leibnizian models of set theory
• Local sentences and Mahlo cardinals
• A Partition Property Characterizing Cardinals Hyperinaccessible of Finite Type

This page was built for publication: Set theory with a proper class of indiscernibles