Effective forcing versus proper forcing
From MaRDI portal
Publication:1923578
DOI10.1016/0168-0072(95)00052-6zbMath0857.03025MaRDI QIDQ1923578
Publication date: 11 March 1997
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(95)00052-6
03E40: Other aspects of forcing and Boolean-valued models
03D65: Higher-type and set recursion theory
Cites Work