\(\varPi^1 1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs

From MaRDI portal
(Redirected from Publication:436224)