Journal of Mathematical Logic. 2002;2(2):261-296. doi: 10.1142/S0219061302000151 Q10.92025

ON THE DEFINABILITY OF THE DOUBLE JUMP IN THE COMPUTABLY ENUMERABLE SETS

CHOLAK, PETER A.; HARRINGTON, LEO A.

DOI: 10.1142/S0219061302000151

期刊名：Journal of mathematical logic

缩写：J MATH LOG

ISSN：0219-0613

e-ISSN：1793-6691

IF/分区：0.9/Q1

全文链接

官方链接

PMC全文

引文链接

复制

已复制！

格式：