Publisher： Cambridge University Press
E-ISSN： 1943-5886|61|1|40-51
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.61, Iss.1, 1996-03, pp. : 40-51
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Solovay models and forcing extensions
The Journal of Symbolic Logic, Vol. 69, Iss. 3, 2004-09 ,pp. :
Access to resources
Recommend
Proper forcing extensions and Solovay models
Archive for Mathematical Logic, Vol. 43, Iss. 6, 2004-08 ,pp. :
Solovay-type characterizations for forcing-algebras
The Journal of Symbolic Logic, Vol. 64, Iss. 3, 1999-09 ,pp. :
Time-Bounded Kolmogorov Complexity and Solovay Functions
By Hölzl Rupert
Theory of Computing Systems, Vol. 52, Iss. 1, 2013-01 ,pp. :
Why Solovay real produces Cohen real
The Journal of Symbolic Logic, Vol. 51, Iss. 4, 1986-12 ,pp. :