English
Related papers

Related papers: Universally Baire sets in $2^{\kappa}$

200 papers

Let $\kappa$ be a regular cardinal. Consider the Baire numbers of the spaces $(2^{\theta})_\kappa$ (functions from $\theta$ to 2 and the less than $\kappa$ topology) for various $\theta \geq \kappa$. Let l be the number of such different…

Logic · Mathematics 2008-02-03 Avner Landver

In this paper, we are interested in parallels to the classical notions of special subsets in $\R$ defined in the generalized Cantor and Baire spaces ($2^\kappa$ and $\kappa^\kappa$). We consider generalizations of the well-known classes of…

Logic · Mathematics 2020-03-03 Michał Korch , Tomasz Weiss

We construct a model of ZFC with a singular cardinal $\kappa$ such that every subset of $\kappa$ in $L(V_{\kappa+1})$ has both the $\kappa$-Perfect Set Property and the $\mathcal{\vec{U}}$-Baire Property. This is a higher analogue of…

Logic · Mathematics 2024-08-13 Vincenzo Dimonte , Alejandro Poveda , Sebastiano Thei

We start by giving a survey to the theory of Borel*(\kappa) sets in the generalized Baire space Baire({\kappa}) = {\kappa}^{\kappa}. In particular we look at the relation of this complexity class to other complexity classes which we denote…

Logic · Mathematics 2012-09-19 Tapani Hyttinen , Vadim Kulikov

Let $\kappa$ be an uncountable cardinal with $\kappa=\kappa^{{<}\kappa}$. Given a cardinal $\mu$, we equip the set ${}^\kappa\mu$ consisting of all functions from $\kappa$ to $\mu$ with the topology whose basic open sets consist of all…

Logic · Mathematics 2023-02-03 Philipp Lücke , Philipp Schlicht

We develop Descriptive Set Theory in Generalized Baire Spaces without assuming $\kappa^{<\kappa}=\kappa$. We point out that without this assumption the basic topological concepts of these spaces have to be slightly modified in order to…

Logic · Mathematics 2025-11-04 Tapani Hyttinen , Miguel Moreno , Jouko Väänänen

We will give an overview of four families of cardinal characteristics defined on subspaces $\prod_{\alpha\in\kappa}b(\alpha)$ of the generalised Baire space ${}^\kappa\kappa$, where $\kappa$ is strongly inaccessible and…

Logic · Mathematics 2025-03-17 Tristan van der Vlugt

Generalizing classical descriptive set theory opens foundational questions about the Borel hierarchy. In this paper we systematically study those questions, working in the general framework of Polish-like spaces relative to an uncountable…

Logic · Mathematics 2025-11-20 Claudio Agostini , Nick Chapman , Luca Motto Ros , Beatrice Pitton

We investigate regularity properties derived from tree-like forcing notions in the setting of "generalized descriptive set theory", i.e., descriptive set theory on $\kappa^\kappa$ and $2^\kappa$, for regular uncountable cardinals $\kappa$.

Logic · Mathematics 2014-08-26 Sy-David Friedman , Yurii Khomskii , Vadim Kulikov

We use generalizations of concepts from descriptive set theory to study combinatorial objects of uncountable regular cardinality, focussing on higher Kurepa trees and the representation of the sets of cofinal branches through such trees as…

Logic · Mathematics 2021-03-19 Philipp Lücke , Philipp Schlicht

Let $\Gamma^\infty$ be the set of all universally Baire sets of reals. Inspired by recent work of the second author and Nam Trang, we introduce a new technique for establishing generic absoluteness results for models containing…

Logic · Mathematics 2025-04-16 Sandra Müller , Grigor Sargsyan

In this paper we study the Borel reducibility of Borel equivalence relations, including some orbit equivalence relations, on the generalised Baire space $\kappa^\kappa$ for an uncountable $\kappa$ with the property…

Logic · Mathematics 2014-08-20 Sy-David Friedman , Tapani Hyttinen , Vadim Kulikov

We consider the following dichotomy for $\Sigma^0_2$ finitary relations $R$ on analytic subsets of the generalized Baire space for $\kappa$: either all $R$-independent sets are of size at most $\kappa$, or there is a $\kappa$-perfect…

Logic · Mathematics 2016-09-16 Dorottya Sziráki , Jouko Väänänen

There is a well-known global equivalence between \Sigma^1_2 sets having the Universal Baire property, two-step \Sigma^1_3 generic absoluteness, and the closure of the universe under the sharp operation. In this note, we determine the exact…

Logic · Mathematics 2007-05-23 Stuart Zoble

Answering some of the main questions from [MR13], we show that whenever $\kappa$ is a cardinal satisfying $\kappa^{< \kappa} = \kappa > \omega$, then the embeddability relation between $\kappa$-sized structures is strongly invariantly…

Logic · Mathematics 2021-02-18 Filippo Calderoni , Heike Mildenberger , Luca Motto Ros

Given a regular cardinal $\kappa$ such that $\kappa^{<\kappa}=\kappa$, we study a class of toposes with enough points, the $\kappa$-separable toposes. These are equivalent to sheaf toposes over a site with $\kappa$-small limits that has at…

Logic · Mathematics 2017-09-08 Christian Espíndola

We show that if \kappa\ is a weakly compact cardinal then the embeddability relation on (generalized) trees of size \kappa\ is invariantly universal. This means that for every analytic quasi-order R on the generalized Cantor space 2^\kappa\…

Logic · Mathematics 2013-06-28 Luca Motto Ros

We extend Solovay's theorem about definable subsets of the Baire space to the generalized Baire space ${}^\lambda\lambda$, where $\lambda$ is an uncountable cardinal with $\lambda^{<\lambda}=\lambda$. In the first main theorem, we show that…

Logic · Mathematics 2017-06-14 Philipp Schlicht

We provide a model where u(\kappa) < 2^{\kappa} for a supercompact cardinal \kappa. Garti and Shelah have provided a sketch of how to obtain such a model by modifying the construction in a paper of Dzamonja and Shelah; we provide here a…

Logic · Mathematics 2015-11-10 A. D. Brooke-Taylor , V. Fischer , S. D. Friedman , D. C. Montoya

We prove that any suitable generalization of Laver forcing to the space $ \kappa^\kappa$, for uncountable regular $\kappa$, necessarily adds a Cohen $\kappa$-real. We also study a dichotomy and an ideal naturally related to generalized…

Logic · Mathematics 2020-09-07 Yurii Khomskii , Marlene Koelbing , Giorgio Laguzzi , Wolfgang Wohofsky
‹ Prev 1 2 3 10 Next ›