Publisher: Cambridge University Press
E-ISSN: 1943-5886|66|2|902-922
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.66, Iss.2, 2001-06, pp. : 902-922
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
The relation of recursive isomorphism for countable structures
The Journal of Symbolic Logic, Vol. 67, Iss. 2, 2002-06 ,pp. :
Isomorphism relations on computable structures
The Journal of Symbolic Logic, Vol. 77, Iss. 1, 2012-03 ,pp. :
Some complements to the Lazard isomorphism
Compositio Mathematica, Vol. 147, Iss. 1, 2011-01 ,pp. :
Theories without countable models
The Journal of Symbolic Logic, Vol. 37, Iss. 3, 1972-09 ,pp. :