A cofinality-preserving small forcing may introduce a special Aronszajn tree

From MaRDI portal
Publication:1042443