7 research outputs found
Perfect subsets of generalized Baire spaces and long games
We extend Solovay's theorem about definable subsets of the Baire space to the
generalized Baire space , where is an uncountable
cardinal with . In the first main theorem, we show
that that the perfect set property for all subsets of
that are definable from elements of is consistent
relative to the existence of an inaccessible cardinal above . In the
second main theorem, we introduce a Banach-Mazur type game of length
and show that the determinacy of this game, for all subsets of
that are definable from elements of
as winning conditions, is consistent relative to the
existence of an inaccessible cardinal above . We further obtain some
related results about definable functions on and
consequences of resurrection axioms for definable subsets of
Laver trees in the generalized Baire space
We prove that any suitable generalization of Laver forcing to the space κκ, for uncountable regular κ, necessarily adds a Cohen κ-real. We also study a dichotomy and an ideal naturally related to generalized Laver forcing. Using this dichotomy, we prove the following stronger result: if κ<κ = κ, then every <κ-distributive tree forcing on κκ adding a dominating κ-real which is the image of the generic under a continuous function in the ground model, adds a Cohen κ-real. This is a contribution to the study of generalized Baire spaces and answers a question from [1]
The open dihypergraph dichotomy for generalized Baire spaces and its applications
The open graph dichotomy for a subset of the Baire space
states that any open graph on either admits a coloring in
countably many colors or contains a perfect complete subgraph. This strong
version of the open graph axiom for was introduced by Feng and
Todor\v{c}evi\'c to investigate definable sets of reals. We first show that its
recent generalization to infinite dimensional directed hypergraphs by Carroy,
Miller and Soukup holds for all subsets of the Baire space in Solovay's model,
extending a theorem of Feng in dimension .
The main theorem lifts this result to generalized Baire spaces
in two ways.
(1) For any regular infinite cardinal , the following holds after a
L\'evy collapse of an inaccessible cardinal to .
Suppose that is a -dimensional box-open directed hypergraph on a
subset of such that is definable from a -sequence
of ordinals. Then either admits a coloring in many colors or there
exists a continuous homomorphism from a canonical large directed hypergraph to
.
(2) If is a Mahlo cardinal, then the previous result extends to all
box-open directed hypergraphs on any subset of that is
definable from a -sequence of ordinals.
We derive several applications to definable subsets of generalized Baire
spaces, among them variants of the Hurewicz dichotomy that characterizes
subsets of sets, an asymmetric version of the Baire property, an
analogue of the Kechris-Louveau-Woodin dichotomy that characterizes when two
disjoint sets can be separated by an set, the determinacy of
V\"a\"an\"anen's perfect set game for all subsets of , and an
analogue of the Jayne-Rogers theorem that characterizes functions which are
-continuous with closed pieces.Comment: 115 pages, 11 figures. Added new results in Section 6.2.2 which
strengthen and replace the results in Section 6.3 of the previous version.
Improved results in Section 5.3. Various other minor corrections. Comments
are welcom