Specializing Aronszajn trees with strong axiom A and Halving

From MaRDI portal
Publication:2295734