Trees and -subsets of ω1ω1

DOI10.2307/2275112zbMath0795.03068OpenAlexW2077127157MaRDI QIDQ4276037

Jouko Väänänen, Alan H. Mekler

Publication date: 1 September 1994

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275112

zbMATH Keywords

treescovering propertyinaccessible cardinaldefinable setuniversal familyseparation propertyreduction propertyextended Borel sets\(\Pi_ 1^ 1\)-universal set\(\Pi^ 1_ 1\)-complete setorbit of relationpre-well-ordering property

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50)

Related Items

-definability at uncountable regular cardinals ⋮ Forcing axioms and the complexity of non-stationary ideals ⋮ Souslin quasi-orders and bi-embeddability of uncountable structures ⋮ Continuous images of closed sets in generalized Baire spaces ⋮ Σ₁(κ)-DEFINABLE SUBSETS OF H(κ⁺) ⋮ PERFECT SUBSETS OF GENERALIZED BAIRE SPACES AND LONG GAMES ⋮ Uncountable structures are not classifiable up to bi-embeddability ⋮ Kurepa trees and spectra of \(\mathcal{L}_{\omega_1, \omega}\)-sentences ⋮ Borel $$^{*}$$ Sets in the Generalized Baire Space and Infinitary Languages ⋮ Large cardinals and definable well-orders, without the GCH ⋮ On the complexity of classes of uncountable structures: trees on $\aleph _1$ ⋮ A generalized Borel-reducibility counterpart of Shelah's main gap theorem ⋮ On ‐complete equivalence relations on the generalized Baire space ⋮ Regularity properties on the generalized reals ⋮ Generalized Descriptive Set Theory and Classification Theory ⋮ CHAIN MODELS, TREES OF SINGULAR CARDINALITY AND DYNAMIC EF-GAMES ⋮ Questions on generalised Baire spaces ⋮ Closed maximality principles and generalized Baire spaces ⋮ Inclusion modulo nonstationary ⋮ ON WIDE ARONSZAJN TREES IN THE PRESENCE OF MA ⋮ Club guessing and the universal models

Cites Work

• Borel sets via games
• Constructing strongly equivalent nonisomorphic models for unstable theories
• Relative separation theorems for \(\mathcal L _{\kappa^ + \kappa}\)
• A weak generalization of MA to higher cardinals
• A model of set-theory in which every set of reals is Lebesgue measurable
• Unnamed Item
• Unnamed Item