ON THE COMPLEXITY OF THE SUCCESSIVITY RELATION IN COMPUTABLE LINEAR ORDERINGS
DOWNEY, ROD, LEMPP, STEFFEN, WU, GUOHUAVolume:
10
Language:
english
Journal:
Journal of Mathematical Logic
DOI:
10.1142/S0219061310000924
Date:
June, 2010
File:
PDF, 217 KB
english, 2010