In this paper, we are interested in parallels to the classical notions of special subsets in defined in the generalized Cantor and Baire spaces (2κ and ). We consider generalizations of the well‐known classes of special subsets, like Lusin sets, strongly null sets, concentrated sets, perfectly meagre sets, σ‐sets, γ‐sets, sets with the Menger, the Rothberger, or the Hurewicz property, but also of some less‐know classes like X‐small sets, meagre additive sets, Ramsey null sets, Marczewski, Silver, Miller, and Laver‐null sets. (...) We notice that many classical theorems regarding these classes can be relatively easy generalized to higher cardinals although sometimes with some additional assumptions. This paper serves as a catalogue of such results along with some other generalizations and open problems. (shrink)

Assuming the existence of a supercompact cardinal, we construct a model where, for some uncountable regular cardinal κ, there are no κ‐mad families.

In this paper we introduce a tree-like forcing notion extending some properties of the random forcing in the context of 2κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$2^\kappa $$\end{document}, κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\kappa $$\end{document} inaccessible, and study its associated ideal of null sets and notion of measurability. This issue was addressed by Shelah ), arXiv:0904.0817, Problem 0.5) and concerns the definition of a forcing which is κκ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} (...) \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\kappa ^\kappa $$\end{document}-bounding, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\,>\,$$\end{document}cov_λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\_\lambda $$\end{document}), arXiv:0904.0817, Problem 0.5), and in this paper we independently reprove this result by using a different type of construction. This also contributes to a line of research adressed in the survey paper :439–456, 2016). (shrink)

Motivated by recent results and questions of Raghavan and Shelah, we present ZFC theorems on the bounding and various almost disjointness numbers, as well as on reaping and dominating families on uncountable, regular cardinals. We show that if $\kappa =\lambda ^+$ for some $\lambda \geq \omega $ and $\mathfrak {b}=\kappa ^+$ then $\mathfrak {a}_e=\mathfrak {a}_p=\kappa ^+$. If, additionally, $2^{<\lambda }=\lambda $ then $\mathfrak {a}_g=\kappa ^+$ as well. Furthermore, we prove a variety of new bounds for $\mathfrak {d}$ in terms of (...) $\mathfrak {r}$, including $\mathfrak {d}\leq \mathfrak {r}_\sigma \leq \operatorname {\mathrm {cf}}]^\omega )$, and $\mathfrak {d}\leq \mathfrak {r}$ whenever $\mathfrak {r}<\mathfrak {b}^{+\kappa }$ or $\operatorname {\mathrm {cf}})\leq \kappa $ holds. (shrink)

We investigate the notion of strong measure zero sets in the context of the higher Cantor space $2^\kappa $ for $\kappa $ at least inaccessible. Using an iteration of perfect tree forcings, we give two proofs of the relative consistency of $$\begin{align*}|2^\kappa| = \kappa^{++} + \forall X \subseteq 2^\kappa:\ X \textrm{ is strong measure zero if and only if } |X| \leq \kappa^+. \end{align*}$$ Furthermore, we also investigate the stronger notion of stationary strong measure zero and show that the equivalence (...) of the two notions is undecidable in ZFC. (shrink)

Working under large cardinal assumptions such as supercompactness, we study the Borel reducibility between equivalence relations modulo restrictions of the nonstationary ideal on some fixed cardinal κ. We show the consistency of Eλ-clubλ++,λ++, the relation of equivalence modulo the nonstationary ideal restricted to Sλλ++ in the space λ++, being continuously reducible to Eλ+-club2,λ++, the relation of equivalence modulo the nonstationary ideal restricted to Sλ+λ++ in the space 2λ++. Then we show that for κ ineffable Ereg2,κ, the relation of equivalence modulo (...) the nonstationary ideal restricted to regular cardinals in the space 2κ is Σ11-complete. We finish by showing that, for Π21-indescribable κ, the isomorphism relation between dense linear orders of cardinality κ is Σ11-complete. (shrink)

We investigate the cofinality of the strong measure zero ideal for κ inaccessible and show that it is independent of the size of 2κ.