An extension of Ackermann's set theory

1972 ◽  
Vol 37 (4) ◽  
pp. 703-704
Author(s):  
Donald Perlis
Keyword(s):  
Set Theory ◽  
Free Variables ◽  
Image Position

Ackermann's set theory [1], called here A, involves a schemawhere φ is an ∈-formula with free variables among y1, …, yn and w does not appear in φ. Variables are thought of as ranging over classes and V is intended as the class of all sets.S is a kind of comprehension principle, perhaps most simply motivated by the following idea: The familiar paradoxes seem to arise when the class CP of all P-sets is claimed to be a set, while there exists some P-object x not in CP such that x would have to be a set if CP were. Clearly this cannot happen if all P-objects are sets.Now, Levy [2] and Reinhardt [3] showed that A* (A with regularity) is in some sense equivalent to ZF. But the strong replacement axiom of Gödel-Bernays set theory intuitively ought to be a theorem of A* although in fact it is not (Levy's work shows this). Strong replacement can be formulated asThis lack of A* can be remedied by replacing S above bywhere ψ and φ are ∈-formulas and x is not in ψ and w is not in φ. ψv is ψ with quantifiers relativized to V, and y and z stand for y1, …, yn and z1, …, zm.

Relative consistency of an extension of Ackermann's set theory

1976 ◽  
Vol 41 (2) ◽  
pp. 465-466
Author(s):  
John Lake
Keyword(s):  
Set Theory ◽  
Relative Strength ◽  
Axiom Of Choice ◽  
Relative Consistency ◽  
Free Variables ◽  
Image Position ◽  
The Axiom Of Choice

The set theory AFC was introduced by Perlis in [2] and he noted that it both includes and is stronger than Ackermann's set theory. We shall give a relative consistency result for AFC.AFC is obtained from Ackermann's set theory (see [2]) by replacing Ackermann's set existence schema with the schema(where ϕ, ψ, are ∈-formulae, x is not in ψ, w is not in ϕ, y is y1, …, yn, z is z1, …, zm and all free variables are shown) and adding the axiom of choice for sets. Following [1], we say that λ is invisible in Rκ if λ < κ and we haveholding for every ∈-formula θ which has exactly two free variables and does not involve u or υ. The existence of a Ramsey cardinal implies the existence of cardinals λ and κ with λ invisible in Rκ, and Theorem 1.13 of [1] gives some further indications about the relative strength of the notion of invisibility.Theorem. If there are cardinals λ and κ with λ invisible in Rκ, then AFC is consistent.Proof. Suppose that λ is invisible in Rκ and we will show that 〈Rκ, Rλ, ∈〉 ⊧ AFC (Rλ being the interpretation of V, of course).

On an Ackermann-type set theory

1973 ◽  
Vol 38 (3) ◽  
pp. 410-412
Author(s):  
John Lake
Keyword(s):  
Set Theory ◽  
Measurable Cardinal ◽  
Large Cardinal ◽  
Predicate Calculus ◽  
First Order ◽  
Free Variables ◽  
Individual Constant ◽  
Image Position ◽  
Order Predicate Calculus ◽  
Universal Closure

Ackermann's set theory A* is usually formulated in the first order predicate calculus with identity, ∈ for membership and V, an individual constant, for the class of all sets. We use small Greek letters to represent formulae which do not contain V and large Greek letters to represent any formulae. The axioms of A* are the universal closures ofwhere all free variables are shown in A4 and z does not occur in the Θ of A2.A+ is a generalisation of A* which Reinhardt introduced in [3] as an attempt to provide an elaboration of Ackermann's idea of “sharply delimited” collections. The language of A+ is that of A*'s augmented by a new constant V′, and its axioms are A1–A3, A5, V ⊆ V′ and the universal closure ofwhere all free variables are shown.Using a schema of indescribability, Reinhardt states in [3] that if ZF + ‘there exists a measurable cardinal’ is consistent then so is A+, and using [4] this result can be improved to a weaker large cardinal axiom. It seemed plausible that A+ was stronger than ZF, but our main result, which is contained in Theorem 5, shows that if ZF is consistent then so is A+, giving an improvement on the above results.

Natural models and Ackermann-type set theories

1975 ◽  
Vol 40 (2) ◽  
pp. 151-158 ◽  
Author(s):  
John Lake
Keyword(s):  
Set Theory ◽  
Predicate Calculus ◽  
First Order ◽  
Free Variables ◽  
Individual Constant ◽  
Image Position ◽  
Order Predicate Calculus

Our results concern the natural models of Ackermann-type set theories, but they can also be viewed as results about the definability of ordinals in certain sets.Ackermann's set theory A was introduced in [1] and it is now formulated in the first order predicate calculus with identity, using ∈ for membership and an individual constant V for the class of all sets. We use the letters ϕ, χ, θ, and χ to stand for formulae which do not contain V and capital Greek letters to stand for any formulae. Then, the axioms of A* are the universal closures ofwhere all the free variables are shown in A4 and z does not occur in the Θ of A2. A is the theory A* − A5.Most of our notation is standard (for instance, α, β, γ, δ, κ, λ, ξ are variables ranging over ordinals) and, in general, we follow the notation of [7]. When x ⊆ Rα, we use Df(Rα, x) for the set of those elements of Rα which are definable in 〈Rα, ∈〉, using a first order ∈-formula and parameters from x.We refer the reader to [7] for an outline of the results which are known about A, but we shall summarise those facts which are frequently used in this paper.

Term models for weak set theories with a universal set

1987 ◽  
Vol 52 (2) ◽  
pp. 374-387 ◽  
Author(s):  
T. E. Forster
Keyword(s):  
Boolean Algebra ◽  
Set Theory ◽  
Axiom Of Choice ◽  
The Other ◽  
Free Variables ◽  
Image Position ◽  
The Axiom Of Choice ◽  
Axiomatic Systems ◽  
The Universe

We shall be concerned here with weak axiomatic systems of set theory with a universal set. The language in which they are expressed is that of set theory—two primitive predicates, = and ϵ, and no function symbols (though some function symbols will be introduced by definitional abbreviation). All the theories will have stratified axioms only, and they will all have Ext (extensionality: (∀x)(∀y)(x = y· ↔ ·(∀z)(z ϵ x ↔ z ϵ y))). In fact, in addition to extensionality, they have only axioms saying that the universe is closed under certain set-theoretic operations, viz. all of the formand these will always include singleton, i.e., ι′x exists if x does (the iota notation for singleton, due to Russell and Whitehead, is used here to avoid confusion with {x: Φ}, set abstraction), and also x ∪ y, x ∩ y and − x (the complement of x). The system with these axioms is called NF2 in the literature (see [F]). The other axioms we consider will be those giving ⋃x, ⋂x, {y: y ⊆x} and {y: x ⊆ y}. We will frequently have occasion to bear in mind that 〈 V, ⊆ 〉 is a Boolean algebra in any theory extending NF2. There is no use of the axiom of choice at any point in this paper. Since the systems with which we will be concerned exhibit this feature of having, in addition to extensionality, only axioms stating that V is closed under certain operations, we will be very interested in terms of the theories in question. A T-term, for T such a theory, is a thing (with no free variables) built up from V or ∧ by means of the T-operations, which are of course the operations that the axioms of T say the universe is closed under.

scholarly journals THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY

2019 ◽  
Vol 85 (1) ◽  
pp. 338-366 ◽  
Author(s):  
JUAN P. AGUILERA ◽  
SANDRA MÜLLER
Keyword(s):  
Set Theory ◽  
Consistency Strength ◽  
Axiom Of Determinacy ◽  
Woodin Cardinals ◽  
Inner Model ◽  
Image Position ◽  
Woodin Cardinal

AbstractWe determine the consistency strength of determinacy for projective games of length ω2. Our main theorem is that $\Pi _{n + 1}^1 $-determinacy for games of length ω2 implies the existence of a model of set theory with ω + n Woodin cardinals. In a first step, we show that this hypothesis implies that there is a countable set of reals A such that Mn (A), the canonical inner model for n Woodin cardinals constructed over A, satisfies $$A = R$$ and the Axiom of Determinacy. Then we argue how to obtain a model with ω + n Woodin cardinal from this.We also show how the proof can be adapted to investigate the consistency strength of determinacy for games of length ω2 with payoff in $^R R\Pi _1^1 $ or with σ-projective payoff.

scholarly journals SQUARES, ASCENT PATHS, AND CHAIN CONDITIONS

2018 ◽  
Vol 83 (04) ◽  
pp. 1512-1538 ◽  
Author(s):  
CHRIS LAMBIE-HANSON ◽  
PHILIPP LÜCKE
Keyword(s):  
Partial Order ◽  
Set Theory ◽  
Consistency Strength ◽  
Chain Conditions ◽  
Regular Cardinals ◽  
Aronszajn Tree ◽  
Square Principles ◽  
Image Position ◽  
Aronszajn Trees ◽  
Consistency Strengths

AbstractWith the help of various square principles, we obtain results concerning the consistency strength of several statements about trees containing ascent paths, special trees, and strong chain conditions. Building on a result that shows that Todorčević’s principle $\square \left( {\kappa ,\lambda } \right)$ implies an indexed version of $\square \left( {\kappa ,\lambda } \right)$, we show that for all infinite, regular cardinals $\lambda < \kappa$, the principle $\square \left( \kappa \right)$ implies the existence of a κ-Aronszajn tree containing a λ-ascent path. We then provide a complete picture of the consistency strengths of statements relating the interactions of trees with ascent paths and special trees. As a part of this analysis, we construct a model of set theory in which ${\aleph _2}$-Aronszajn trees exist and all such trees contain ${\aleph _0}$-ascent paths. Finally, we use our techniques to show that the assumption that the κ-Knaster property is countably productive and the assumption that every κ-Knaster partial order is κ-stationarily layered both imply the failure of $\square \left( \kappa \right)$.

Existence of classes and value specification of variables

1950 ◽  
Vol 15 (2) ◽  
pp. 103-112 ◽  
Author(s):  
Hao Wang
Keyword(s):  
Mathematical Logic ◽  
Set Theory ◽  
Definition Of ◽  
Image Position

In mathematics, when we want to introduce classes which fulfill certain conditions, we usually prove beforehand that classes fulfilling such conditions do exist, and that such classes are uniquely determined by the conditions. The statements which state such unicity and existence of classes are in mathematical logic consequences of the principles of extensionality and class existence. In order to illustrate how these principles enable us to introduce classes into systems of mathematical logic, let us consider the manner in which Gödel introduces classes in his book on set theory.For instance, before introducing the definition of the non-ordered pair of two classesGödel puts down as its justification the following two axioms:By A4, for every two classesyandzthere exists at least one non-ordered pairwof them; and by A3,wis uniquely determined in A4.

scholarly journals AN EXTENSION OF A THEOREM OF ZERMELO

2019 ◽  
Vol 25 (2) ◽  
pp. 208-212 ◽  
Author(s):  
JOUKO VÄÄNÄNEN
Keyword(s):  
Set Theory ◽  
First Order ◽  
Membership Relation ◽  
Image Position

AbstractWe show that if $(M,{ \in _1},{ \in _2})$ satisfies the first-order Zermelo–Fraenkel axioms of set theory when the membership relation is ${ \in _1}$ and also when the membership relation is ${ \in _2}$, and in both cases the formulas are allowed to contain both ${ \in _1}$ and ${ \in _2}$, then $\left( {M, \in _1 } \right) \cong \left( {M, \in _2 } \right)$, and the isomorphism is definable in $(M,{ \in _1},{ \in _2})$. This extends Zermelo’s 1930 theorem in [6].

scholarly journals IDEAL PROJECTIONS AND FORCING PROJECTIONS

2014 ◽  
Vol 79 (4) ◽  
pp. 1247-1285 ◽  
Author(s):  
SEAN COX ◽  
MARTIN ZEMAN
Keyword(s):  
Set Theory ◽  
Negative Answer ◽  
Large Cardinals ◽  
Normal Ideal ◽  
List Type ◽  
Type Number ◽  
Inner Model ◽  
Image Position ◽  
Open Question ◽  
Woodin Cardinal

AbstractIt is well known that saturation of ideals is closely related to the “antichain-catching” phenomenon from Foreman–Magidor–Shelah [10]. We consider several antichain-catching properties that are weaker than saturation, and prove:(1)If${\cal I}$is a normal ideal on$\omega _2 $which satisfiesstationary antichain catching, then there is an inner model with a Woodin cardinal;(2)For any$n \in \omega $, it is consistent relative to large cardinals that there is a normal ideal${\cal I}$on$\omega _n $which satisfiesprojective antichain catching, yet${\cal I}$is not saturated (or even strong). This provides a negative answer to Open Question number 13 from Foreman’s chapter in the Handbook of Set Theory ([7]).

Truth In V for ∃*∀∀-Sentences is Decidable

2006 ◽  
Vol 71 (4) ◽  
pp. 1200-1222 ◽  
Author(s):  
D. Bellé ◽  
F. Parlamento
Keyword(s):  
Set Theory ◽  
Finite Sets ◽  
First Order ◽  
Free Variables ◽  
Order Language

AbstractLet V be the cumulative set theoretic hierarchy, generated from the empty set by taking powers at successor stages and unions at limit stages and. following [2], let the primitive language of set theory be the first order language which contains binary symbols for equality and membership only. Despite the existence of ∀∀-formulae in the primitive language, with two free variables, which are satisfiable in ∀ but not by finite sets ([5]). and therefore of ∃∃∀∀ sentences of the same language, which are undecidable in ZFC without the Axiom of Infinity, truth in V for ∃*∀∀-sentences of the primitive language, is decidable ([1]). Completeness of ZF with respect to such sentences follows.

Sign in / Sign up

Export Citation Format

Share Document