Marlene Koelbing

activity

20202022

collaborators

4 papers

math.LO2022

Games on base matrices

Vera Fischer, Marlene Koelbing, Wolfgang Wohofsky

Using a game characterization of distributivity, we show that base matrices for $P (ω) / fin$ of regular height larger than $h$ necessarily have maximal br…

math.LO2022

On heights of distributivity matrices

Vera Fischer, Marlene Koelbing, Wolfgang Wohofsky

We construct a model in which there exists a distributivity matrix of regular height $λ$ larger than $h$ ; both $λ = c$ and $λ < c$ are possible. A di…

math.LO2021

Ideal Topologies in Higher Descriptive Set Theory

Peter Holy, Marlene Koelbing, Philipp Schlicht +1

We investigate generalizations of the topology of the higher Cantor space on $2^{κ}$ , based on arbitrary ideals rather than the bounded ideal on $κ$ . Our main focus is on the topolog…

math.LO2020

Laver Trees in the Generalized Baire Space

Yurii Khomskii, Marlene Koelbing, Giorgio Laguzzi +1

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 ide…