Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 
 

 

On the first order theory of the arithmetical degrees


Author: Piergiorgio Odifreddi
Journal: Proc. Amer. Math. Soc. 87 (1983), 505-507
MSC: Primary 03D30
DOI: https://doi.org/10.1090/S0002-9939-1983-0684647-3
MathSciNet review: 684647
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: The first order theory of the arithmetical degrees with arithmetical jump is not elementarily equivalent to the first order theory of the Turing degrees with jump.


References [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 03D30

Retrieve articles in all journals with MSC: 03D30


Additional Information

DOI: https://doi.org/10.1090/S0002-9939-1983-0684647-3
Keywords: Arithmetical degree, arithmetical jump, arithmetically pointed tree, local forcing
Article copyright: © Copyright 1983 American Mathematical Society

American Mathematical Society