2 papers
math.LO2025
A virtual five element basis for the uncountable linear orders
John Krueger, Justin Tatch Moore
We prove that for every Aronzsajn line A and every Countryman line C, there is a proper forcing extension in which A contains an isomorphic copy of either C or its converse C*. As…
math.LO2025
A Strong Kurepa Tree
John Krueger
We prove that it is consistent that there exists a Kurepa tree such that is a continuous image of the topological space consisting of all cofinal branches of…