Aronszajn trees and the independence of the transfer property

DOI10.1016/0003-4843(72)90017-4zbMath0255.02069OpenAlexW2040139506MaRDI QIDQ5668481

William J. Mitchell

Publication date: 1972

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(72)90017-4

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55)

Related Items

Compactness versus hugeness at successor cardinals, A weak variation of shelah's I[ω₂], Club stationary reflection and the special Aronszajn tree property, S-spaces and large continuum, A note on highly connected and well-connected Ramsey theory, Weak saturation properties and side conditions, Indestructibility of some compactness principles over models of \(\mathsf{PFA} \), TREES AND STATIONARY REFLECTION AT DOUBLE SUCCESSORS OF REGULAR CARDINALS, Fresh function spectra, Reflection principles, GCH and the uniformization properties, On minimal non-\(\sigma\)-scattered linear orders, THE TREE PROPERTY AT THE TWO IMMEDIATE SUCCESSORS OF A SINGULAR CARDINAL, NIP FOR THE ASYMPTOTIC COUPLE OF THE FIELD OF LOGARITHMIC TRANSSERIES, REFLECTION OF STATIONARY SETS AND THE TREE PROPERTY AT THE SUCCESSOR OF A SINGULAR CARDINAL, Gap forcing, Laver and set theory, A note on the eightfold way, THE HARRINGTON–SHELAH MODEL WITH LARGE CONTINUUM, ITP, ISP, AND SCH, The tree property at both ℵ_ω+1and ℵ_ω+2, Approachability and Games on Posets, Height and Width of Superatomic Boolean Algebras, Small embedding characterizations for large cardinals, Souslin trees and successors of singular cardinals, Canonical structure in the universe of set theory. I, On the cardinality of Lindelöf spaces with points \(G_ \delta\), More set-theory for topologists, A Note on Chains of Open Sets, The spectrum of the \(\Gamma\)-invariant of a bilinear space, Remarks on superatomic Boolean algebras, Chains, antichains, and complements in infinite partition lattices, THE STRONG TREE PROPERTY AT SUCCESSORS OF SINGULAR CARDINALS, On the Hamkins approximation property, Higher Souslin trees and the GCH, revisited, Aronszajn trees and the successors of a singular cardinal, The bounded proper forcing axiom, Minimally generated Boolean algebras, Chains of pseudocompact group topologies, Cardinal invariants and independence results in the poset of precompact group topologies, The tree property, In memoriam: James Earl Baumgartner (1943--2011), THE TREE PROPERTY AT AND, Separating weak partial square principles, The super tree property at the successor of a singular, Mekler's construction and generalized stability, SUBCOMPACT CARDINALS, TYPE OMISSION, AND LADDER SYSTEMS, Strong Chang’s Conjecture, Semi-Stationary Reflection, the Strong Tree Property and two-cardinal square principles, The tree property and the continuum function below, Strong Chang's conjecture and the tree property at \(\omega_{2}\), The consistency strength of successive cardinals with the tree property, The tree property below \(\aleph_{\omega \cdot 2}\), Rado’s Conjecture and its Baire version, The special Aronszajn tree property, Almost free groups and long Ehrenfeucht-Fraïssé games, Boolean extensions which efface the Mahlo property, A remark on the tree property in a choiceless context, Some consequences of MA + non wKH, Local coherence., Generalizing special Aronszajn trees, ON THE NUMBER OF DEDEKIND CUTS AND TWO-CARDINAL MODELS OF DEPENDENT THEORIES, On the consistency strength of the proper forcing axiom, The combinatorial essence of supercompactness, Fragility and indestructibility of the tree property, Independence of higher Kurepa hypotheses, Strong tree properties for two successive cardinals, Stationary and closed rainbow subsets, Integer-valued functions and increasing unions of first countable spaces, Baire reflection, A general Mitchell style iteration, A Forcing Axiom Deciding the Generalized Souslin Hypothesis, A Laver-like indestructibility for hypermeasurable cardinals, The tree property at $\aleph _{\omega +2}$ with a finite gap, Characterizing large cardinals through Neeman's pure side condition forcing, Fragility and indestructibility. II, SQUARES, SCALES AND STATIONARY REFLECTION, THE EIGHTFOLD WAY, Large Cardinals and the Continuum Hypothesis, On non-forking spectra, The tree property at the first and double successors of a singular, SQUARES, ASCENT PATHS, AND CHAIN CONDITIONS, An infinite cardinal-valued Krull dimension for rings, Mitchell's theorem revisited, Aronszajn and Kurepa trees, Consistently \(\mathcal P(\omega_{1})\) is the union of less than \(2^{\aleph _1}\) strongly independent families, Strong tree properties for small cardinals, The tree property at double successors of singular cardinals of uncountable cofinality with infinite gaps, Diagonal supercompact Radin forcing, Unnamed Item, A note on a problem of Erdős and Hajnal, The Tree Property at $\omega _2$ and Bounded Forcing Axioms, Reflection and Weakly Collectionwise Hausdorff Spaces, 𝐼[𝜔₂ can be the nonstationary ideal on 𝐶𝑜𝑓(𝜔₁)], CHAIN CONDITIONS OF PRODUCTS, AND WEAKLY COMPACT CARDINALS, Easton's theorem for the tree property below \(\aleph_\omega\), Set-theoretic geology, The tree property at the \(\aleph_{2 n}\)'s and the failure of SCH at \(\aleph_\omega\), Successive failures of approachability, Unnamed Item, A model of Cummings and Foreman revisited, Some applications of mixed support iterations, The tree property at first and double successors of singular cardinals with an arbitrary gap, The two-cardinals transfer property and resurrection of supercompactness 󠀼span style=󠀢color:red󠀢󠀾This article has been retracted󠀼/span󠀾, Surrealist landscape with figures (a survey of recent results in set theory), Long chains of Hausdorff topological group topologies, Approachability at the second successor of a singular cardinal, Onn-dependent groups and fields II, Independence in Boolean algebras, The theorems of beth and Craig in abstract model theory II. Compact logics, Thin stationary sets and disjoint club sequences, Aronszajn trees on \(\aleph_2\) and \(\aleph_3\)., Properness under closed forcing, NOTES ON SOME ERDŐS–HAJNAL PROBLEMS, Forcing closed unbounded sets, New proofs of the consistency of the normal Moore space conjecture. II, \(\omega {}^*_ 2U(\omega_ 2)\) can be \(C^*\)-embedded in \(\beta \omega_ 2\), Notes on singular cardinal combinatorics, Adding closed unbounded subsets of \(\omega_2\) with finite forcing, FREE GROUPS AND AUTOMORPHISM GROUPS OF INFINITE STRUCTURES, On regular reduced products, Reflecting Lindelöfness