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)$.

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.

Two Applications of Inner Model Theory to the Study of Sets

1996 ◽  
Vol 2 (1) ◽  
pp. 94-107 ◽  
Author(s):  
Greg Hjorth
Keyword(s):  
Los Angeles ◽  
Set Theory ◽  
Model Theory ◽  
Large Cardinals ◽  
Descriptive Set Theory ◽  
Inner Model Theory ◽  
Regular Cardinals ◽  
Inner Model ◽  
Definable Sets ◽  
Descriptive Set

§0. Preface. There has been an expectation that the endgame of the more tenacious problems raised by the Los Angeles ‘cabal’ school of descriptive set theory in the 1970's should ultimately be played out with the use of inner model theory. Questions phrased in the language of descriptive set theory, where both the conclusions and the assumptions are couched in terms that only mention simply definable sets of reals, and which have proved resistant to purely descriptive set theoretic arguments, may at last find their solution through the connection between determinacy and large cardinals.Perhaps the most striking example was given by [24], where the core model theory was used to analyze the structure of HOD and then show that all regular cardinals below ΘL(ℝ) are measurable. John Steel's analysis also settled a number of structural questions regarding HODL(ℝ), such as GCH.Another illustration is provided by [21]. There an application of large cardinals and inner model theory is used to generalize the Harrington-Martin theorem that determinacy implies )determinacy.However, it is harder to find examples of theorems regarding the structure of the projective sets whose only known proof from determinacy assumptions uses the link between determinacy and large cardinals. We may equivalently ask whether there are second order statements of number theory that cannot be proved under PD–the axiom of projective determinacy–without appealing to the large cardinal consequences of the PD, such as the existence of certain kinds of inner models that contain given types of large cardinals.

Making the hyperreal line both saturated and complete

1991 ◽  
Vol 56 (3) ◽  
pp. 1016-1025 ◽  
Author(s):  
H. Jerome Keisler ◽  
James H. Schmerl
Keyword(s):  
Set Theory ◽  
Nonempty Intersection ◽  
Finite Intersection ◽  
Second Order Arithmetic ◽  
Ordered Field ◽  
Finite Intersection Property ◽  
Regular Cardinals ◽  
Hyperreal Numbers ◽  
Order Arithmetic ◽  
Internal Sets

AbstractIn a nonstandard universe, the κ-saturation property states that any family of fewer than κ internal sets with the finite intersection property has a nonempty intersection. An ordered field F is said to have the λ-Bolzano-Weierstrass property iff F has cofinality λ and every bounded λ-sequence in F has a convergent λ-subsequence. We show that if κ < λ are uncountable regular cardinals and βα < λ whenever α < κ and β < λ then there is a κ-saturated nonstandard universe in which the hyperreal numbers have the λ-Bolzano-Weierstrass property. The result also applies to certain fragments of set theory and second order arithmetic.

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.

scholarly journals TOWERS IN FILTERS, CARDINAL INVARIANTS, AND LUZIN TYPE FAMILIES

2018 ◽  
Vol 83 (3) ◽  
pp. 1013-1062 ◽  
Author(s):  
JÖRG BRENDLE ◽  
BARNABÁS FARKAS ◽  
JONATHAN VERNER
Keyword(s):  
List Type ◽  
Type Number ◽  
Cardinal Invariants ◽  
Regular Cardinals ◽  
Image Position

AbstractWe investigate which filters onωcan contain towers, that is, a modulo finite descending sequence without any pseudointersection (in${[\omega ]^\omega }$). We prove the following results:(1)Many classical examples of nice tall filters contain no towers (in ZFC).(2)It is consistent that tall analytic P-filters contain towers of arbitrary regular height (simultaneously for many regular cardinals as well).(3)It is consistent that all towers generate nonmeager filters (this answers a question of P. Borodulin-Nadzieja and D. Chodounský), in particular (consistently) Borel filters do not contain towers.(4)The statement “Every ultrafilter contains towers.” is independent of ZFC (this improves an older result of K. Kunen, J. van Mill, and C. F. Mills).Furthermore, we study many possible logical (non)implications between the existence of towers in filters, inequalities between cardinal invariants of filters (${\rm{ad}}{{\rm{d}}^{\rm{*}}}\left( {\cal F} \right)$,${\rm{co}}{{\rm{f}}^{\rm{*}}}\left( {\cal F} \right)$,${\rm{no}}{{\rm{n}}^{\rm{*}}}\left( {\cal F} \right)$, and${\rm{co}}{{\rm{v}}^{\rm{*}}}\left( {\cal F} \right)$), and the existence of Luzin type families (of size$\ge {\omega _2}$), that is, if${\cal F}$is a filter then${\cal X} \subseteq {[\omega ]^\omega }$is an${\cal F}$-Luzin family if$\left\{ {X \in {\cal X}:|X \setminus F| = \omega } \right\}$is countable for every$F \in {\cal F}$.

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]).

On a set theory of bernays

1967 ◽  
Vol 32 (3) ◽  
pp. 319-321 ◽  
Author(s):  
Leslie H. Tharp
Keyword(s):  
Set Theory ◽  
Free Variable ◽  
Reflection Principle ◽  
Formal Definition ◽  
Von Neumann ◽  
Starting Point ◽  
Definition Of ◽  
Image Position

We are concerned here with the set theory given in [1], which we call BL (Bernays-Levy). This theory can be given an elegant syntactical presentation which allows most of the usual axioms to be deduced from the reflection principle. However, it is more convenient here to take the usual Von Neumann-Bernays set theory [3] as a starting point, and to regard BL as arising from the addition of the schema where S is the formal definition of satisfaction (with respect to models which are sets) and ┌φ┐ is the Gödel number of φ which has a single free variable X.

Type-raising operations on cardinal and ordinal numbers in Quine's “New foundations”

1973 ◽  
Vol 38 (1) ◽  
pp. 59-68 ◽  
Author(s):  
C. Ward Henson
Keyword(s):  
Set Theory ◽  
Initial Segment ◽  
Initial Section ◽  
Ordinal Numbers ◽  
Cardinal Numbers ◽  
Basic Facts ◽  
Image Position ◽  
The Axiom Of Choice ◽  
Increasing Function ◽  
Standard Operations

In this paper we develop certain methods of proof in Quine's set theory NF which have no counterparts elsewhere. These ideas were first used by Specker [5] in his disproof of the Axiom of Choice in NF. They depend on the properties of two related operations, T(n) on cardinal numbers and U(α) on ordinal numbers, which are defined by the equationsfor each set x and well ordering R. (Here and below we use Rosser's notation [3].) The definitions insure that the formulas T(x) = y and U(x) = y are stratified when y is assigned a type one higher than x. The importance of T and U stems from the following facts: (i) each of T and U is a 1-1, order preserving operation from its domain onto a proper initial section of its domain; (ii) Tand U commute with most of the standard operations on cardinal and ordinal numbers.These basic facts are discussed in §1. In §2 we prove in NF that the exponential function 2n is not 1-1. Indeed, there exist cardinal numbers m and n which satisfyIn §3 we prove the following technical result, which has many important applications. Suppose f is an increasing function from an initial segment S of the set NO of ordinal numbers into NO and that f commutes with U.

Sign in / Sign up

Export Citation Format

Share Document