Set theory with a proper class of indiscernibles

DOI10.4064/FM999-2-2022MaRDI QIDQ5101293zbMATH OpenOpenAlexFDO

Authors 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

weakly compact cardinalZermelo-Fraenkel set theoryMahlo cardinalindiscerniblessatisfaction classGödel-Bernays class theory

Mathematics Subject Classification ID

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

Abstract: We investigate an extension of ZFC set theory (in an extended language) that stipulates the existence of a proper class of indiscernibles over the universe. One of the main results of the paper shows that the purely set-theoretical consequences of this extension of ZFC coincide with the theorems of the system of set theory obtained by augmenting ZFC with the (Levy) scheme whose instances assert, for each natural number $n$ in the metatheory, that there is an $n$-Mahlo cardinal $kappa$ with the property that the initial segment of the universe determined by $kappa$ is a $Sigm{a}_n$-elementary submodel of the universe.

Recommendations

• Ind- and pro-definable sets
• A theory of sets and classes
• TOWARDS A THEORY OF DEFINABLE SETS
• scientific article; zbMATH DE number 3959419
• Classes and truths in set theory
• scientific article; zbMATH DE number 3950520
• Intuitionistic set theory
• scientific article; zbMATH DE number 1021638
• scientific article; zbMATH DE number 3851015

Cites work

• scientific article; zbMATH DE number 3784871 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 3489124 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3504970 (Why is no real title available?)
• scientific article; zbMATH DE number 3531386 (Why is no real title available?)
• scientific article; zbMATH DE number 3627183 (Why is no real title available?)
• scientific article; zbMATH DE number 2144527 (Why is no real title available?)
• scientific article; zbMATH DE number 5066367 (Why is no real title available?)
• A Partition Property Characterizing Cardinals Hyperinaccessible of Finite Type
• Conservative extensions of models of set theory and generalizations
• Inner-model reflection principles
• Largest initial segments pointwise fixed by automorphisms of models of set theory
• Leibnizian models of set theory
• Levy and set theory
• Local sentences and Mahlo cardinals
• Model theory.
• Models of set theory with definable ordinals
• New set-theoretic axioms derived from a lean metamathematics
• On elementary embeddings from an inner model to the universe
• On generalization of definitional equivalence to non-disjoint languages
• On the Leibniz–Mycielski axiom in set theory
• Power-like models of set theory
• Regressive Partition Relations for Infinite Cardinals
• Set Theory
• Set theoretical analogues of the Barwise-Schlipf theorem
• Stretchings
• Variations on a Visserian theme
• ZFC proves that the class of ordinals is not weakly compact for definable classes

Cited in

(6)

• ZFC proves that the class of ordinals is not weakly compact for definable classes
• Indiscernibles and satisfaction classes in arithmetic
• On the Leibniz–Mycielski axiom in set theory
• Kelley–Morse set theory does not prove the class Fodor principle
• Sets of good indiscernibles and Chang conjectures without choice
• The indescribability of the order of the indescribable cardinals

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5101293)