A new construction of a Kurepa tree with no Aronszajn subtree

From MaRDI portal
Publication:3320355