Set theory with a proper class of indiscernibles

DOI10.4064/FM999-2-2022zbMATH Open1506.03111arXiv2008.07706OpenAlexW3075633002MaRDI QIDQ5101293FDOQ5101293

Authors: Ali Enayat 

Publication date: 30 August 2022

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

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.

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

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

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)

Cites Work

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

Cited In (6)

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

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)