Publisher: Cambridge University Press
E-ISSN: 1943-5886|22|1|55-67
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.22, Iss.1, 1957-03, pp. : 55-67
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
Self-reference with negative types
The Journal of Symbolic Logic, Vol. 49, Iss. 3, 1984-09 ,pp. :
Implicit definability and infinitary languages
The Journal of Symbolic Logic, Vol. 33, Iss. 3, 1968-10 ,pp. :
Σ1-compactness in languages stronger than
The Journal of Symbolic Logic, Vol. 43, Iss. 3, 1978-09 ,pp. :
A minimal degree which collapses ω1
The Journal of Symbolic Logic, Vol. 49, Iss. 1, 1984-03 ,pp. :
A 1-generic degree which bounds a minimal degree
The Journal of Symbolic Logic, Vol. 55, Iss. 2, 1990-06 ,pp. :