Theories with recursive models

Publisher： Cambridge University Press

E-ISSN： 1943-5886|44|1|59-76

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.44, Iss.1, 1979-03, pp. : 59-76

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

Nonarithmetical ℵ0-categorical theories with recursive models

By  

The Journal of Symbolic Logic, Vol. 59, Iss. 1, 1994-03 ,pp. : 106-112

Cambridge University Press

Access to resources Recommend Favorite

Transfinite recursive progressions of axiomatic theories

By  

The Journal of Symbolic Logic, Vol. 27, Iss. 3, 1962-09 ,pp. : 259-316

Cambridge University Press

Access to resources Recommend Favorite

On the completeness of some transfinite recursive progressions of axiomatic theories

By  

The Journal of Symbolic Logic, Vol. 33, Iss. 1, 1968-04 ,pp. : 69-76

Cambridge University Press

Access to resources Recommend Favorite

Primitive recursive algebraic theories and program schemes

By  

Bulletin of the Australian Mathematical Society, Vol. 17, Iss. 2, 1977-10 ,pp. : 207-233

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