We provide a list of open problems in the research area of generalised Baire spaces, compiled with the help of the participants of two workshops held in Amsterdam (2014) and Hamburg (2015).

We present some results about the burgeoning research area concerning set theory of the “κ‐reals”. We focus on some notions of measurability coming from generalizations of Silver and Miller trees. We present analogies and mostly differences from the classical setting.

We present a model where ω1 is inaccessible by reals, Silver measurability holds for all sets but Miller and Lebesgue measurability fail for some sets. This contributes to a line of research started by Shelah in the 1980s and more recently continued by Schrittesser and Friedman, regarding the separation of different notions of regularity properties of the real line.

In this paper we analyse some notions of amoeba for tree forcings. In particular we introduce an amoeba-Silver and prove that it satisfies quasi pure decision but not pure decision. Further we define an amoeba-Sacks and prove that it satisfies the Laver property. We also show some application to regularity properties. We finally present a generalized version of amoeba and discuss some interesting associated questions.

We investigate some versions of amoeba for tree-forcings in the generalized Cantor and Baire spaces. This answers [10, Question 3.20] and generalizes a line of research that in the standard case has been studied in [11], [13], and [7]. Moreover, we also answer questions posed in [3] by Friedman, Khomskii, and Kulikov, about the relationships between regularity properties at uncountable cardinals. We show ${\bf{\Sigma }}_1^1$-counterexamples to some regularity properties related to trees without club splitting. In particular we prove a strong (...) relationship between the Ramsey and the Baire properties, in slight contrast with the standard case. (shrink)

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)

In this paper we analyse some questions concerning trees on κ, both for the countable and the uncountable case, and the connections with Cohen reals. In particular, we provide a proof for one of the implications left open in [6, Question 5.2] about the diagram for regularity properties.

We define and investigate versions of Silver and Mathias forcing with respect to lower and upper density. We focus on properness, Axiom A, chain conditions, preservation of cardinals and adding Cohen reals. We find rough forcings that collapse $$2^\omega $$ 2 ω to $$\omega $$ ω, while others are surprisingly gentle. We also study connections between regularity properties induced by these parametrized forcing notions and the Baire property.

We investigate two variants of splitting tree forcing, their ideals and regularity properties. We prove connections with other well‐known notions, such as Lebesgue measurablility, Baire‐ and Doughnut‐property and the Marczewski field. Moreover, we prove that any absolute amoeba forcing for splitting trees necessarily adds a dominating real, providing more support to Hein's and Spinas' conjecture that.

Motivated by the analysis of a general optimal portfolio selection problem, which encompasses as special cases an optimal consumption and an optimal debt-arrangement problem, we are concerned with the questions of how a personality trait like risk-perception can be formalized and whether the two objectives of utility-maximization and risk-minimization can be both achieved simultaneously. We address these questions by developing an axiomatic foundation of preferences for which utility-maximization is equivalent to minimizing a utility-based shortfall risk measure. Our axiomatization hinges on (...) a novel axiom in decision theory, namely the risk-perception axiom. (shrink)