1 citations · 1 across the 7 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
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…
math.LO2020
Bounded Symbiosis and Upwards Reflection
Lorenzo Galeotti, Yurii Khomskii, Jouko Väänänen
Bagaria and Väänänen developed a framework for studying the large cardinal strength of downwards Löwenheim-Skolem theorems and related set theoretic reflection properties. The main…