5 citations · 7 across the 7 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.LO2023
On the Consistency Strength of MM()
Natasha Dobrinen, John Krueger, Pedro Marun +2
We prove that the consistency strength of Martin's Maximum restricted to partial orders of cardinality follows from the consistency of ZFC.
math.LO2023
A Rigid Kurepa Tree From a Free Suslin Tree
John Krueger
We analyze a countable support product of a free Suslin tree which turns it into a highly rigid Kurepa tree with no Aronszajn subtree. In the process, we introduce a new rigidity p…