Leibnizian models of set theory

2004 ◽  
Vol 69 (3) ◽  
pp. 775-789 ◽  
Author(s):  
Ali Enayat
Keyword(s):  
Set Theory ◽  
Complete Theory ◽  
Infinite Cardinal ◽  
First Order ◽  
Models Of Set Theory

Abstract.A model is said to be Leibnizian if it has no pair of indiscernibles. Mycielski has shown that there is a first order axiom LM (the Leibniz-Mycielski axiom) such that for any completion T of Zermelo-Fraenkel set theory ZF. T has a Leibnizian model if and only if T proves LM. Here we prove:Theorem A. Every complete theory T extending ZF + LM has nonisomorphic countable Leibnizian models.Theorem B. If κ is a prescribed definable infinite cardinal ofa complete theory T extending ZF + V = OD, then there are nonisomorphic Leibnizian models of T of power ℵ1such thatis ℵ1-like.Theorem C. Every complete theory T extendingZF + V = ODhas nonisomorphic ℵ1-like Leibnizian models.

scholarly journals Condensable models of set theory

2021 ◽  
Author(s):  
Ali Enayat
Keyword(s):  
Set Theory ◽  
Countable Model ◽  
Saturated Model ◽  
Infinitary Logic ◽  
First Order ◽  
Recursively Saturated ◽  
Recursively Saturated Model ◽  
Models Of Set Theory

AbstractA model $${\mathcal {M}}$$ M of ZF is said to be condensable if $$ {\mathcal {M}}\cong {\mathcal {M}}(\alpha )\prec _{\mathbb {L}_{{\mathcal {M}}}} {\mathcal {M}}$$ M ≅ M ( α ) ≺ L M M for some “ordinal” $$\alpha \in \mathrm {Ord}^{{\mathcal {M}}}$$ α ∈ Ord M , where $$\mathcal {M}(\alpha ):=(\mathrm {V}(\alpha ),\in )^{{\mathcal {M}}}$$ M ( α ) : = ( V ( α ) , ∈ ) M and $$\mathbb {L}_{{\mathcal {M}}}$$ L M is the set of formulae of the infinitary logic $$\mathbb {L}_{\infty ,\omega }$$ L ∞ , ω that appear in the well-founded part of $${\mathcal {M}}$$ M . The work of Barwise and Schlipf in the 1970s revealed the fact that every countable recursively saturated model of ZF is cofinally condensable (i.e., $${\mathcal {M}}\cong {\mathcal {M}}(\alpha ) \prec _{\mathbb {L}_{{\mathcal {M}}}}{\mathcal {M}}$$ M ≅ M ( α ) ≺ L M M for an unbounded collection of $$\alpha \in \mathrm {Ord}^{{\mathcal {M}}}$$ α ∈ Ord M ). Moreover, it can be readily shown that any $$\omega $$ ω -nonstandard condensable model of $$\mathrm {ZF}$$ ZF is recursively saturated. These considerations provide the context for the following result that answers a question posed to the author by Paul Kindvall Gorbow.Theorem A.Assuming a modest set-theoretic hypothesis, there is a countable model $${\mathcal {M}}$$ M of ZFC that is bothdefinably well-founded (i.e., every first order definable element of $${\mathcal {M}}$$ M is in the well-founded part of $$\mathcal {M)}$$ M ) andcofinally condensable. We also provide various equivalents of the notion of condensability, including the result below.Theorem B.The following are equivalent for a countable model$${\mathcal {M}}$$ M of $$\mathrm {ZF}$$ ZF : (a) $${\mathcal {M}}$$ M is condensable. (b) $${\mathcal {M}}$$ M is cofinally condensable. (c) $${\mathcal {M}}$$ M is nonstandard and $$\mathcal {M}(\alpha )\prec _{\mathbb {L}_{{\mathcal {M}}}}{\mathcal {M}}$$ M ( α ) ≺ L M M for an unbounded collection of $$ \alpha \in \mathrm {Ord}^{{\mathcal {M}}}$$ α ∈ Ord M .

First Order Theory of Complete Stonean Algebras (Boolean-Valued Real and Complex Numbers)

1987 ◽  
Vol 30 (4) ◽  
pp. 385-392 ◽  
Author(s):  
Thomas Jech
Keyword(s):  
Set Theory ◽  
Order Theory ◽  
Complex Numbers ◽  
First Order ◽  
First Order Theory ◽  
Models Of Set Theory ◽  
Horn Sentence

AbstractWe axiomatize the theory of real and complex numbers in Boolean-valued models of set theory, and prove that every Horn sentence true in the complex numbers is true in any complete Stonean algebra, and provable from its axioms.

scholarly journals Pointwise definable models of set theory

2013 ◽  
Vol 78 (1) ◽  
pp. 139-156 ◽  
Author(s):  
Joel David Hamkins ◽  
David Linetsky ◽  
Jonas Reitz
Keyword(s):  
Set Theory ◽  
Countable Model ◽  
First Order ◽  
Transitive Model ◽  
Class Forcing ◽  
Models Of Set Theory

AbstractA pointwise definable model is one in which every object is definable without parameters. In a model of set theory, this property strengthens V = HOD, but is not first-order expressible. Nevertheless, if ZFC is consistent, then there are continuum many pointwise definable models of ZFC. If there is a transitive model of ZFC, then there are continuum many pointwise definable transitive models of ZFC. What is more, every countable model of ZFC has a class forcing extension that is pointwise definable. Indeed, for the main contribution of this article, every countable model of Gödel-Bernays set theory has a pointwise definable extension, in which every set and class is first-order definable without parameters.

Models of set theory with more real numbers than ordinals

1974 ◽  
Vol 39 (3) ◽  
pp. 579-583 ◽  
Author(s):  
Paul E. Cohen
Keyword(s):  
Standard Model ◽  
Set Theory ◽  
Axiom Of Choice ◽  
Infinite Cardinal ◽  
Real Numbers ◽  
Transitive Model ◽  
Lower Case ◽  
The Axiom Of Choice ◽  
Dependent Choice ◽  
Models Of Set Theory

Suppose M is a countable standard transitive model of set theory. P. J. Cohen [2] showed that if κ is an infinite cardinal of M then there is a one-to-one function Fκ from κ into the set of real numbers such that M[Fκ] is a model of set theory with the same cardinals as M.If Tκ is the range of Fκ then Cohen also showed [2] that M[Tκ] fails to satisfy the axiom of choice. We will give an easy proof of this fact.If κ, λ are infinite we will also show that M[Tκ] is elementarily equivalent to M[Tλ] and that (] in M[Fλ]) is elementarily equivalent to (] in M[FK]).Finally we show that there may be an N ∈ M[GK] which is a standard model of set theory (without the axiom of choice) and which has, from the viewpoint of M[GK], more real numbers than ordinals.We write ZFC and ZF for Zermelo-Fraenkel set theory, respectively with and without the axiom of choice (AC). GBC is Gödel-Bernays' set theory with AC. DC and ACℵo are respectively the axioms of dependent choice and of countable choice defined in [6].Lower case Greek characters (other than ω) are used as variables over ordinals. When α is an ordinal, R(α) is the set of all sets with rank less than α.

Categoricity and the sets

2018 ◽  
Author(s):  
Tim Button ◽  
Sean Walsh
Keyword(s):  
Set Theory ◽  
Second Order ◽  
Order Logic ◽  
First Order ◽  
The Status ◽  
Second Order Logic ◽  
Philosophy Of Set Theory ◽  
Order Set

In this chapter, the focus shifts from numbers to sets. Again, no first-order set theory can hope to get anywhere near categoricity, but Zermelo famously proved the quasi-categoricity of second-order set theory. As in the previous chapter, we must ask who is entitled to invoke full second-order logic. That question is as subtle as before, and raises the same problem for moderate modelists. However, the quasi-categorical nature of Zermelo's Theorem gives rise to some specific questions concerning the aims of axiomatic set theories. Given the status of Zermelo's Theorem in the philosophy of set theory, we include a stand-alone proof of this theorem. We also prove a similar quasi-categoricity for Scott-Potter set theory, a theory which axiomatises the idea of an arbitrary stage of the iterative hierarchy.

scholarly journals Models of Set Theory in which Nonconstructible Reals First Appear at a Given Projective Level

Mathematics ◽  
2020 ◽  
Vol 8 (6) ◽  
pp. 910 ◽  
Author(s):  
Vladimir Kanovei ◽  
Vassily Lyubetsky
Keyword(s):  
Lower Limit ◽  
Set Theory ◽  
Generic Extension ◽  
Projective Class ◽  
Almost Disjoint ◽  
Projective Hierarchy ◽  
Models Of Set Theory

Models of set theory are defined, in which nonconstructible reals first appear on a given level of the projective hierarchy. Our main results are as follows. Suppose that n ≥ 2 . Then: 1. If it holds in the constructible universe L that a ⊆ ω and a ∉ Σ n 1 ∪ Π n 1 , then there is a generic extension of L in which a ∈ Δ n + 1 1 but still a ∉ Σ n 1 ∪ Π n 1 , and moreover, any set x ⊆ ω , x ∈ Σ n 1 , is constructible and Σ n 1 in L . 2. There exists a generic extension L in which it is true that there is a nonconstructible Δ n + 1 1 set a ⊆ ω , but all Σ n 1 sets x ⊆ ω are constructible and even Σ n 1 in L , and in addition, V = L [ a ] in the extension. 3. There exists an generic extension of L in which there is a nonconstructible Σ n + 1 1 set a ⊆ ω , but all Δ n + 1 1 sets x ⊆ ω are constructible and Δ n + 1 1 in L . Thus, nonconstructible reals (here subsets of ω ) can first appear at a given lightface projective class strictly higher than Σ 2 1 , in an appropriate generic extension of L . The lower limit Σ 2 1 is motivated by the Shoenfield absoluteness theorem, which implies that all Σ 2 1 sets a ⊆ ω are constructible. Our methods are based on almost-disjoint forcing. We add a sufficient number of generic reals to L , which are very similar at a given projective level n but discernible at the next level n + 1 .

Elementary extensions of models of set theory

2000 ◽  
Vol 39 (7) ◽  
pp. 509-514 ◽  
Author(s):  
James H. Schmerl
Keyword(s):  
Set Theory ◽  
Models Of Set Theory

Subdifferentials in Boolean-valued models of set theory

1984 ◽  
Vol 24 (5) ◽  
pp. 735-746 ◽  
Author(s):  
A. G. Kusraev ◽  
S. S. Kutateladze
Keyword(s):  
Set Theory ◽  
Models Of Set Theory
Sign in / Sign up

Export Citation Format

Share Document