Some results about (+) proved by iterated forcing

Publisher： Cambridge University Press

E-ISSN： 1943-5886|77|2|515-531

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.77, Iss.2, 2012-06, pp. : 515-531

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

0# and some forcing principles

By  

The Journal of Symbolic Logic, Vol. 51, Iss. 1, 1986-03 ,pp. : 39-46

Cambridge University Press

Access to resources Recommend Favorite

Some results about Borel sets in descriptive set theory of hyperfinite sets

By  

The Journal of Symbolic Logic, Vol. 55, Iss. 2, 1990-06 ,pp. : 604-614

Cambridge University Press

Access to resources Recommend Favorite

Some theoretical results about second-order work, uniqueness, existence and controllability independent of the constitutive equation

By Chambon René  

Journal of Engineering Mathematics, Vol. 52, Iss. 1, 2005-07 ,pp. : 53-61

Springer Publishing Company

Access to resources Recommend Favorite

About some symmetries of negation

By  

The Journal of Symbolic Logic, Vol. 59, Iss. 2, 1994-06 ,pp. : 473-485

Cambridge University Press

Access to resources Recommend Favorite

Some Results on Effective Randomness

By Merkle Wolfgang  

Theory of Computing Systems, Vol. 39, Iss. 5, 2006-09 ,pp. : 707-721

Springer Publishing Company

Access to resources Recommend Favorite