21 citations · 88 across the 30 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.LO2022
Geometric condition for Dependent Choice
Asaf Karagila, Jonathan Schilhan
We provide a geometric condition which characterises when the Principle of Dependent Choice holds in a Fraenkel--Mostowski--Specker permutation model. This condition is a slight we…
math.LO2022
Small measurable cardinals
Yair Hayut, Asaf Karagila
We continue the work from [8] and make a small -- but significant -- improvement to the definition of -decomposable system. This provides us with a better lifting of elementary…