Publisher: Cambridge University Press
E-ISSN: 1943-5886|58|1|291-313
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.58, Iss.1, 1993-03, pp. : 291-313
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
On sets of relations definable by addition
The Journal of Symbolic Logic, Vol. 47, Iss. 3, 1982-09 ,pp. :
On sets ∀-definable from Pfaffian functions
The Journal of Symbolic Logic, Vol. 57, Iss. 2, 1992-06 ,pp. :
Definable Encodings in the Computably Enumerable Sets
Bulletin of Symbolic Logic, Vol. 6, Iss. 2, 2000-06 ,pp. :
Degrees of unsolvability of constructible sets of integers
The Journal of Symbolic Logic, Vol. 33, Iss. 4, 1969-01 ,pp. :