Publisher: Cambridge University Press
E-ISSN: 1943-5886|64|2|460-468
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.64, Iss.2, 1999-06, pp. : 460-468
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
Fixed points for the jump operator
By Puzarenko V.
Algebra and Logic, Vol. 50, Iss. 5, 2011-10 ,pp. :
Jump operator and Yates Degrees
The Journal of Symbolic Logic, Vol. 71, Iss. 1, 2006-03 ,pp. :
Minimal degrees and the jump operator
The Journal of Symbolic Logic, Vol. 38, Iss. 2, 1973-06 ,pp. :
A fixed point for the jump operator on structures
The Journal of Symbolic Logic, Vol. 78, Iss. 2, 2013-06 ,pp. :
On first-order theories with provability operator
The Journal of Symbolic Logic, Vol. 59, Iss. 4, 1994-12 ,pp. :