One of the main results of Gödel [4] and [5] is that, if M is a transitive set such that $\langle M, \epsilon \rangle$ is a model of ZF (Zermelo-Fraenkel set theory) and α is the least ordinal not in M, then $\langle L_\alpha, \epsilon \rangle$ is also a model of ZF. In this note we shall use the Jensen uniformisation theorem to show that results analogous to the above hold for certain subsystems of ZF. The subsystems we (...) have in mind are those that are formed by restricting the formulas in the separation and replacement axioms to various levels of the Levy hierarchy. This is all done in § 1. In § 2 we proceed to establish the exact order relationships which hold among the ordinals of the minimal models of some of the systems discussed in § 1. Although the proofs of these latter results will not require any use of the uniformisation theorem, we will find it convenient to use some of the more elementary results and techniques from Jensen's fine-structural theory of L. We thus provide a brief review of the pertinent parts of Jensen's works in § 0, where a list of general preliminaries is also furnished. We remark that some of the techniques which we use in the present paper have been used by us previously in [6] to prove various results about β-models of analysis. Since β-models for analysis are analogous to transitive models for set theory, this is not surprising. (shrink)

We define a generic Vopěnka cardinal to be an inaccessible cardinal \ such that for every first-order language \ of cardinality less than \ and every set \ of \-structures, if \ and every structure in \ has cardinality less than \, then an elementary embedding between two structures in \ exists in some generic extension of V. We investigate connections between generic Vopěnka cardinals in models of ZFC and the number and complexity of \-Suslin sets of reals in models (...) of ZF. In particular, we show that ZFC + is equiconsistent with ZF + \\) where \ is the pointclass of all \-Suslin sets of reals, and also with ZF + \\) + \\) where \ is the least ordinal that is not a surjective image of the reals. (shrink)

We define a generic Vopěnka cardinal to be an inaccessible cardinal \ such that for every first-order language \ of cardinality less than \ and every set \ of \-structures, if \ and every structure in \ has cardinality less than \, then an elementary embedding between two structures in \ exists in some generic extension of V. We investigate connections between generic Vopěnka cardinals in models of ZFC and the number and complexity of \-Suslin sets of reals in models (...) of ZF. In particular, we show that ZFC + is equiconsistent with ZF + \\) where \ is the pointclass of all \-Suslin sets of reals, and also with ZF + \\) + \\) where \ is the least ordinal that is not a surjective image of the reals. (shrink)

This paper contributes to the generalization of lattice-valued models of set theory to non-classical contexts. First, we show that there are infinitely many complete bounded distributive lattices, which are neither Boolean nor Heyting algebra, but are able to validate the negation-free fragment of \. Then, we build lattice-valued models of full \, whose internal logic is weaker than intuitionistic logic. We conclude by using these models to give an independence proof of the Foundation axiom from \.

The theory New Foundations of Quine was introduced in [14]. This theory is finitely axiomatizable as it has been proved in [9]. A similar result is shown in [8] using a system called K. Particular subsystems of NF, inspired by [8] and [9], have models in ZF. Very little is known about subsystems of NF satisfying typical properties of ZF; for example in [11] it is shown that the existence of some sets which appear naturally in ZF is an axiom (...) independent from NF . Here we discuss a model of subsystems of NF in which there is a set which is a model of ZF. MSC: 03E70. (shrink)

We study several perfect set properties of the Baire space which follow from the Ramsey property ω→(ω) ω . In particular we present some independence results which complete the picture of how these perfect set properties relate to each other.

In this paper, we present set theories based upon the paraconsistent logic Pac. We describe two different techniques to construct models of such set theories. The first of these is an adaptation of one used to construct classical models of positive comprehension. The properties of the models obtained in that way give rise to a natural paraconsistent set theory which is presented here. The status of the axiom of choice in that theory is also discussed. The second leads to show (...) that any classical universe of set theory (e.g. a model of ZF) can be extended to a paraconsistent one, via a term model construction using an adapted bisimulation technique. (shrink)

A theory of two-sided containers, denoted ZF2, is introduced. This theory is then shown to be synonymous to ZF in the sense of Visser (2006), via an interpretation involving Quine pairs. Several subtheories of ZF2, and their relationships with ZF, are also examined. We include a short discussion of permutation models (in the sense of Rieger–Bernays) over ZF2. We close with highlighting some areas for future research, mostly motivated by the need to understand non-wellfounded games.

We present a generalization of the algebra-valued models of \ where the axioms of set theory are not necessarily mapped to the top element of an algebra, but may get intermediate values, in a set of designated values. Under this generalization there are many algebras which are neither Boolean, nor Heyting, but that still validate \.

Let ZFB be ZF + "every set is the same size as a wellfounded set". Then the following are true. Every sentence true in every (Rieger-Bernays) permutation model of a model of ZF is a theorem of ZFB. (i.e.. ZFB is the theory of Rieger-Bernays permutation models of models of ZF) ZF and ZFAFA are both extensions of ZFB conservative for stratified formulæ. The class of models of ZFB is closed under creation of Rieger-Bernays permutation models.

CZF is an intuitionistic set theory that does not contain Power Set, substituting instead a weaker version, Subset Collection. In this paper a Kripke model of CZF is presented in which Power Set is false. In addition, another Kripke model is presented of CZF with Subset Collection replaced by Exponentiation, in which Subset Collection fails.

According to a theorem due to Kenneth Kunen, under ZFC, there is no ordinal [Formula: see text] and nontrivial elementary embedding [Formula: see text]. His proof relied on the Axiom of Choice (AC), and no proof from ZF alone is has been discovered. [Formula: see text] is the assertion, introduced by Hugh Woodin, that [Formula: see text] is an ordinal and there is an elementary embedding [Formula: see text] with critical point [Formula: see text]. And [Formula: see text] asserts that (...) [Formula: see text] holds for some [Formula: see text]. The axiom [Formula: see text] is one of the strongest large cardinals not known to be inconsistent with AC. It is usually studied assuming ZFC in the full universe [Formula: see text] (in which case [Formula: see text] must be a limit ordinal), but we assume only ZF. We prove, assuming ZF [Formula: see text] [Formula: see text] [Formula: see text] “[Formula: see text] is an even ordinal”, that there is a proper class transitive inner model [Formula: see text] containing [Formula: see text] and satisfying ZF [Formula: see text] [Formula: see text] [Formula: see text] “there is an elementary embedding [Formula: see text]”; in fact we will have [Formula: see text] ⊆[Formula: see text], where [Formula: see text] witnesses [Formula: see text] in [Formula: see text]. This result was first proved by the author under the added assumption that [Formula: see text] exists; Gabe Goldberg noticed that this extra assumption was unnecessary. If also [Formula: see text] is a limit ordinal and [Formula: see text]-DC holds in [Formula: see text], then the model [Formula: see text] will also satisfy [Formula: see text]-DC. We show that ZFC [Formula: see text] “[Formula: see text] is even” [Formula: see text] [Formula: see text] implies [Formula: see text] exists for every [Formula: see text], but if consistent, this theory does not imply [Formula: see text] exists. (shrink)

For a set x, let S(x) be the set of all permutations of x. We prove by the method of permutation models that the following statements are consistent with ZF: (1) There is an infinite set x such that |p(x)|<|S(x)|<|seq^1-1(x)|<|seq(x)|, where p(x) is the powerset of x, seq(x) is the set of all finite sequences of elements of x, and seq^1-1(x) is the set of all finite sequences of elements of x without repetition. (2) There is a Dedekind infinite set (...) x such that |S(x)|<|[x]^3| and such that there exists a surjection from x onto S(x). (3) There is an infinite set x such that there is a finite-to-one function from S(x) into x. (shrink)

A model \ of ZF is said to be condensable if \\prec _{\mathbb {L}_{{\mathcal {M}}}} {\mathcal {M}}\) for some “ordinal” \, where \:=,\in )^{{\mathcal {M}}}\) and \ is the set of formulae of the infinitary logic \ that appear in the well-founded part of \. The work of Barwise and Schlipf in the 1970s revealed the fact that every countable recursively saturated model of ZF is cofinally condensable \prec _{\mathbb {L}_{{\mathcal {M}}}}{\mathcal {M}}\) for an unbounded collection of \). (...) Moreover, it can be readily shown that any \-nonstandard condensable model of \ 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 \ of ZFC that is both definably well-founded is in the well-founded part of \}\) and cofinally 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 \ of \: \ is condensable. \ is cofinally condensable. \ is nonstandard and \\prec _{\mathbb {L}_{{\mathcal {M}}}}{\mathcal {M}}\) for an unbounded collection of \. (shrink)

Adjoin, to a countable standard model M of Zermelo-Fraenkel set theory (ZF), a countable set A of independent Cohen generic reals. If one attempts to construct the model generated over M by these reals (not necessarily containing A as an element) as the intersection of all standard models that include M ∪ A, the resulting model fails to satisfy the power set axiom, although it does satisfy all the other ZF axioms. Thus, there is no smallest ZF (...) model including M ∪ A, but there are minimal such models. These are classified by their sets of reals, and there is one minimal model whose set of reals is the smallest possible. We give several characterizations of this model, we determine which weak axioms of choice it satisfies, and we show that some better known models are forcing extensions of it. (shrink)

For T any completion of Peano Arithmetic and for n any positive integer, there is a model of T of size $\beth_n$ with no (n + 1)-length sequence of indiscernibles. Hence the Hanf number for omitting types over T, H(T), is at least $\beth_\omega$ . (Now, using an upper bound previously obtained by Julia Knight H (true arithmetic) is exactly $\beth_\omega$ ). If T ≠ true arithmetic, then $H(T) = \beth_{\omega1}$ . If $\delta \not\rightarrow (\rho)^{ , then any completion (...) of Peano Arithmetic has a model of size δ with no set of indiscernibles of size ρ. There are similar results for theories strongly resembling Peano Arithmetic, e.g., ZF + V = L. (shrink)

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 $2^{\aleph_{0}}$ nonisomorphic countable Leibnizian models. THEOREM B. If $\kappa$ is aprescribed definable infinite cardinal (...) of a complete theory T extending ZF + V = OD. then there are $2^{\aleph_{1}}$ nonisomorphic Leibnizian models $\mathfrak{M}$ of T of power $\aleph_{1}$ such that $(\kappa^{+})^\mathfrak{M}$ is $\aleph_{1}-like$ . THEOREM C. Every complete theory T extending ZF + V = OD has $2^{\aleph_{1}}$ nonisomorphic \aleph_{1}-like$ Leibnizian models. (shrink)

A DO model (here also referred to a Paris model) is a model of set theory all of whose ordinals are first order definable in . Jeffrey Paris (1973) initiated the study of DO models and showed that (1) every consistent extension T of ZF has a DO model, and (2) for complete extensions T, T has a unique DO model up to isomorphism iff T proves V=OD. Here we provide a comprehensive treatment of Paris (...) models. Our results include the following:1. If T is a consistent completion of ZF+V≠OD, then T has continuum-many countable nonisomorphic Paris models.2. Every countable model of ZFC has a Paris generic extension.3. If there is an uncountable well-founded model of ZFC, then for every infinite cardinal κ there is a Paris model of ZF of cardinality κ which has a nontrivial automorphism.4. For a model ZF, is a prime model ⇒ is a Paris model and satisfies AC⇒ is a minimal model. Moreover, Neither implication reverses assuming Con(ZF). (shrink)

We construct a model of ZF in which there is a measurable cardinal but there is no normal ultrafilter over it.

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms (...) of ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

Let us define the intuitionistic part of a classical theory T as the intuitionistic theory whose proper axioms are identical with the proper axioms of T. For example, Heyting arithmetic HA is the intuitionistic part of classical Peano arithmetic PA. It's a well-known fact, proved by Heyting and Myhill, that ZF is identical with its intuitionistic part. In this paper, we mainly prove that TT, Russell's Simple Theory of Types, and NF, Quine's "New Foundations," are not equal to their intuitionistic (...) part. So, an intuitionistic version of TT or NF seems more naturally definable than an intuitionistic version of ZF. In the first section, we present a simple technique to build Kripke models of the intuitionistic part of TT (with short examples showing bad properties of finite sets if they are defined in the usual classical way). In the remaining sections, we show how models of intuitionistic NF 2 and NF can be obtained from well-chosen classical ones. In these models, the excluded middle will not be satisfied for some non-stratified sentences. (shrink)

According to the math tea argument, there must be real numbers that we cannot describe or define, because there are uncountably many real numbers, but only countably many definitions. And yet, the existence of pointwise-definable models of set theory, in which every individual is definable without parameters, challenges this conclusion. In this article, I introduce a flexible new method for constructing pointwise-definable models of arithmetic and set theory, showing furthermore that every countable model of Zermelo-Fraenkel ZF set theory and (...) of Peano arithmetic PA has a pointwise-definable end extension. In the arithmetic case, I use the universal algorithm and its Σ n generalizations to build a progressively elementary tower making any desired individual a n definable at each stage n, while preserving these definitions through to the limit model, which can thus be arranged to be pointwise definable. A similar method works in set theory, and one can moreover achieve V = L in the extension or indeed any other suitable theory holding in an inner model of the original model, thereby fulfilling the resurrection phenomenon. For example, every countable model of ZF with an inner model with a measurable cardinal has an end extension to a pointwise-definable model of ZFC + V = L[μ]. (shrink)

This paper continues the study of covering properties of models closed under countable sequences. In a previous article we focused on C. Chang's Model . Our purpose is now to deal with the model N = ∪ { L [A]: A countable ⊂ Ord}. We study here relations between covering properties, satisfaction of ZF by N , and cardinality of power sets. Under large cardinal assumptions N is strictly included in Chang's Model C , it may thus (...) be interesting to obtain an analogue for N of the covering result for C . As in [13], we say that N satisfies the covering property if, for any set of ordinals X in the Universe, there exists a set Y in N such that X ⊂ Y and |Y| = |X| ℵ0 . In the first part, we show that if N does not satisfy the covering property, then for any α ω 1 , there exists an inner model with α measurable cardinals. Throughout this paper, we compare three situations: 1. V is the universe constructible from a countable sequence of ultrafilters on different measurable cardinals. 2. N does not satisfy the covering property. 3. There exist ω 1 measurable cardinals or a compact cardinal. Section 2 is devoted to the relation between satisfaction of ZF by N and the covering property. If holds, then N satisfies both ZF and the covering property. On the contrary, in case , N satisfies neither ZF nor the covering property. It is thus natural to obtain that the satisfaction of ZF by N implies the satisfaction of the covering property. Finally we study the cardinality of P ∩ N for a cardinal λ in the different cases. For example we show that if N does not satisfy the covering property, then + is inaccessible in any L [ A ] where A is a countable set of ordinals. This is not the case if holds. Let the expression “ λ + is inaccessible in N ” mean that for any α λ + | P ∩ N | ⩽ λ . If situation occurs, then there exists a measurable cardinal κ such that “ κ + is inaccessible in N ”. The large cardinal assumption is necessary since we show that the last fact implies the violation of the covering property by N. (shrink)

We prove Łos conjecture = Morley theorem in ZF, with the same characterization, i.e., of first order countable theories categorical in $N_\alpha $ for some (equivalently for every ordinal) α > 0. Another central result here in this context is: the number of models of a countable first order T of cardinality $N_\alpha $ is either ≥ |α| for every α or it has a small upper bound (independent of α close to Ð₂).

A model M = (M, E,...) of Zermelo-Fraenkel set theory ZF is said to be θ-like, where E interprets ∈ and θ is an uncountable cardinal, if |M| = θ but $|\{b \in M: bEa\}| for each a ∈ M. An immediate corollary of the classical theorem of Keisler and Morley on elementary end extensions of models of set theory is that every consistent extension of ZF has an ℵ 1 -like model. Coupled with Chang's two cardinal theorem (...) this implies that if θ is a regular cardinal θ such that $2^{ then every consistent extension of ZF also has a θ + -like model. In particular, in the presence of the continuum hypothesis every consistent extension of ZF has an ℵ 2 -like model. Here we prove: THEOREM A. If θ has the tree property then the following are equivalent for any completion T of ZFC: (i) T has a θ-like model. (ii) $\Phi \subseteq T$ , where Φ is the recursive set of axioms {∃ κ(κ is n-Mahlo and "V κ is a Σ n -elementary submodel of the universe"): n ∈ ω}. (iii) T has a λ-like model for every uncountable cardinal λ. THEOREM B. The following are equiconsistent over ZFC: (i) "There exists an ω-Mahlo cardinal". (ii) "For every finite language L, all ℵ 2 -like models of ZFC(L) satisfy the scheme Φ(L). (shrink)

Partial models of the theory New Foundations (NF) introduced by Quine have already appeared in the literature, but in every model the membership set of NF is missing. On the other hand, Jensen showed that "NF + Urelements" is consistent with respect to ZF and, in the model built there, the membership set of the theory exists. Here we build a partial model of NF from the one of Jensen in which the membership set exists.

This paper introduces the real core model K() and determines the extent of scales in this inner model. K() is an analog of Dodd-Jensen's core model K and contains L(), the smallest inner model of ZF containing the reals R. We define iterable real premice and show that Σ1∩() has the scale property when vR AD. We then prove the following Main Theorem: ZF + AD + V = K() DC. Thus, we obtain the Corollary: If (...) ZF + AD +()L() is consistent, then ZF + AD + DC + α < ω2 -AD is also consistent. (shrink)

By a model of set theory we mean a Boolean-valued model of Zermelo-Fraenkel set theory allowing atoms (ZFA), which contains a copy of the ordinary universe of (two-valued,pure) sets as a transitive subclass; examples include Scott-Solovay Boolean-valued models and their symmetric submodels, as well as Fraenkel-Mostowski permutation models. Any such model M can be regarded as a topos. A logical subtopos E of M is said to represent M if it is complete and its cumulative hierarchy, as (...) defined by Fourman and Hayashi, coincides with the usual cumulative hierarchy of M. We show that, although M need not be a complete topos, it has a smallest complete representing subtopos, and we describe this subtopos in terms of definability in M. We characterize, again in terms of definability, those models M whose smallest representing topos is a Grothendieck topos. Finally, we discuss the extent to which a model can be reconstructed when its smallest representing topos is given. (shrink)

By a classical theorem of Harvey Friedman, every countable nonstandard model $\mathcal {M}$ of a sufficiently strong fragment of ZF has a proper rank-initial self-embedding j, i.e., j is a self-embedding of $\mathcal {M}$ such that $j[\mathcal {M}]\subsetneq \mathcal {M}$, and the ordinal rank of each member of $j[\mathcal {M}]$ is less than the ordinal rank of each element of $\mathcal {M}\setminus j[\mathcal {M}]$. Here, we investigate the larger family of proper initial-embeddings j of models $\mathcal {M}$ of fragments (...) of set theory, where the image of j is a transitive submodel of $\mathcal {M}$. Our results include the following three theorems. In what follows, $\mathrm {ZF}^-$ is $\mathrm {ZF}$ without the power set axiom; $\mathrm {WO}$ is the axiom stating that every set can be well-ordered; $\mathrm {WF}$ is the well-founded part of $\mathcal {M}$ ; and $\Pi ^1_\infty \text{-}\mathrm {DC}_\alpha $ is the full scheme of dependent choice of length $\alpha $.Theorem A.There is an $\omega $ -standard countable nonstandard model $\mathcal {M}$ of $\mathrm {ZF}^-+\mathrm {WO}$ that carries no initial self-embedding $j:\mathcal {M} \longrightarrow \mathcal {M}$ other than the identity embedding.Theorem B.Every countable $\omega $ -nonstandard model $\mathcal {M}$ of $\ \mathrm {ZF}$ is isomorphic to a transitive submodel of the hereditarily countable sets of its own constructible universe $L^{\mathcal {M}}$.Theorem C.The following three conditions are equivalent for a countable nonstandard model $\mathcal {M}$ of $\mathrm {ZF}^{-}+\mathrm {WO}+\forall \alpha \ \Pi ^1_\infty \text{-}\mathrm {DC}_\alpha $. There is a cardinal in $\mathcal {M}$ that is a strict upper bound for the cardinality of each member of $\mathrm {WF}$. $\mathrm {WF}$ satisfies the powerset axiom.For all $n \in \omega $ and for all $b \in M$, there exists a proper initial self-embedding $j: \mathcal {M} \longrightarrow \mathcal {M}$ such that $b \in \mathrm {rng}$ and $j[\mathcal {M}] \prec _n \mathcal {M}$. (shrink)

For classical sets one has with the cumulative hierarchy of sets, with axiomatizations like the system ZF, and with the category SET of all sets and mappings standard approaches toward global universes of all sets. We discuss here the corresponding situation for fuzzy set theory.Our emphasis will be on various approaches toward (more or less naively formed)universes of fuzzy sets as well as on axiomatizations, and on categories of fuzzy sets.

This is the third edition of a book originally published in the 1970s; it provides a systematic and nicely organized presentation of the elegant method of using Boolean-valued models to prove independence results. Four things are new in the third edition: background material on Heyting algebras, a chapter on ‘Boolean-valued analysis’, one on using Heyting algebras to understand intuitionistic set theory, and an appendix explaining how Boolean and Heyting algebras look from the perspective of category theory. The book presents results (...) from a number of set theorists and includes an insightful and informative foreword by Dana Scott. Bell's presentation is lively and pleasant to read, and the material is given in a nicely cohesive way.One obvious reason to be interested in independence proofs is that they concern the important question, what is the set-theoretic hierarchy like? The proofs in Bell's book cover some of the most basic and fundamental independence results, such as those concerning the size of the continuum, the independence of the Axiom of Choice from ZF, cardinal collapsing, Souslin's hypothesis, and Martin's Axiom.Since Gödel's incompleteness theorem, it has been known that for any serious candidate list of set-theoretic axioms, there will be statements neither provable nor disprovable from those axioms. What is really interesting, however, and what the independence proofs discussed here show, is how many of the most natural questions about sets are not decided by the standard axioms of ZFC, and how …. (shrink)

" In Imagination and the Meaningful Brain, psychoanalyst Arnold Modell claims that subjective human experience must be included in any scientific...