# Strong tree properties for two successive cardinals

@article{Fontanella2012StrongTP,
title={Strong tree properties for two successive cardinals},
author={Laura Fontanella},
journal={Archive for Mathematical Logic},
year={2012},
volume={51},
pages={601-620}
}
• Laura Fontanella
• Published 31 October 2011
• Mathematics
• Archive for Mathematical Logic
An inaccessible cardinal κ is supercompact when (κ, λ)-ITP holds for all λ ≥ κ. We prove that if there is a model of ZFC with two supercompact cardinals, then there is a model of ZFC where simultaneously $${(\aleph_2, \mu)}$$ -ITP and $${(\aleph_3, \mu')}$$ -ITP hold, for all $${\mu\geq \aleph_2}$$ and $${\mu'\geq \aleph_3}$$ .
8 Citations

### Strong tree properties for small cardinals

It is proved that if there is a model of ZFC with infinitely many supercompact cardinals, then there is one where for every n ≥ 2 and μ ≥ ℕn, there is (ℕ n, μ)-ITP.

### THE STRONG TREE PROPERTY AT SUCCESSORS OF SINGULAR CARDINALS

It is proved that if there is a model of ZFC with infinitely many supercompact cardinals, then there is the strong tree property of Z FC where ${\aleph _{\omega + 1}}$ has theStrong tree property.

### The Strong and Super Tree Property at Successors of Singular Cardinals

. The strong tree property and ITP (also called the super tree property) are generalizations of the tree property that characterize strong compactness and supercompactness up to inaccessibility. That

### Strong Tree Properties at Successors of Singular Cardinals

We prove that successors of singular limits of strongly compact cardinals have the strong tree property. We also prove that aleph_{omega+1} can consistently satisfy the strong tree property.

### Guessing models and the approachability ideal

• Mathematics
J. Math. Log.
• 2021
This paper produces a generic extension of the universe in which the principles of supercompact cardinals and ISP hold simultaneously, and the restriction of the approachability ideal $I[\omega_2]$ to the set of ordinals of cofinality $\omega-1$ is the non stationary ideal on this set.

## References

SHOWING 1-10 OF 17 REFERENCES

### Subtle and Ineffable Tree Properties

In the style of the tree property, we give combinatorial principles that capture the concepts of the so-called subtle and ineffable cardinals in such a way that they are also applicable to small

### Combinatorial characterization of supercompact cardinals

It is proved that supercompact cardinals can be characterized by combinatorial properties which are generalizations of ineffability. 0. Introduction. A A B is the symmetric difference of A and B.

### The Tree Property

• Mathematics, Economics
• 1998
Abstract We construct a model in which there are no ℵn-Aronszajn trees for any finiten⩾2, starting from a model with infinitely many supercompact cardinals. We also construct a model in which there

### THE HIGHER INFINITE. LARGE CARDINALS IN SET THEORY FROM THEIR BEGINNINGS (Perspectives in Mathematical Logic)

By Akihiro Kanamori: 536 pp., DM.178.-, ISBN 3 540 57071 3 (Springer, 1994). CLASSICAL DESCRIPTIVE SET THEORY (Graduate Texts in Mathematics) By Alexander S. Kechris: 402 pp., DM.79.-, isbn 0 387

### Making the supercompactness of κ indestructible under κ-directed closed forcing

A model is found in which there is a supercompact cardinal κ which remains supercompact in any κ-directed closed forcing extension.

### Annals of Pure and Applied Logic

• Computer Science
• 1991
A new process logic is defined, called computation paths logic (CPL), which treats lbnn~~la~ and programs essentially alike and is decidable in elementary tlmc, and also ofrcr extensions for modeling asynchronouaisynchronous concurrency and infinite computanons.

### Set theory - an introduction to independence proofs

• K. Kunen
• Mathematics
Studies in logic and the foundations of mathematics
• 1983
The Foundations of Set Theory and Infinitary Combinatorics are presented, followed by a discussion of easy Consistency Proofs and Defining Definability.