Locally countable models of Σ 1-separation

Publisher： Cambridge University Press

E-ISSN： 1943-5886|46|1|96-100

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.46, Iss.1, 1981-03, pp. : 96-100

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

Σ1-separation

By  

The Journal of Symbolic Logic, Vol. 44, Iss. 3, 1979-09 ,pp. : 374-382

Cambridge University Press

Access to resources Recommend Favorite

A note on Σ1-maximal models

By  

The Journal of Symbolic Logic, Vol. 72, Iss. 3, 2007-09 ,pp. : 1072-1078

Cambridge University Press

Access to resources Recommend Favorite

An algebraic characterization of power set in countable standard models of ZF1

By  

The Journal of Symbolic Logic, Vol. 40, Iss. 2, 1975-06 ,pp. : 167-170

Cambridge University Press

Access to resources Recommend Favorite

Upper bounds on locally countable admissible initial segments of a Turing degree hierarchy1

By  

The Journal of Symbolic Logic, Vol. 46, Iss. 4, 1981-12 ,pp. : 753-760

Cambridge University Press

Access to resources Recommend Favorite

Theories without countable models

By  

The Journal of Symbolic Logic, Vol. 37, Iss. 3, 1972-09 ,pp. : 562-568

Cambridge University Press

Access to resources Recommend Favorite