3 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 of regular height larger than 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 ; both and are possible. A di…
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…