On the First Order Theory of the Arithmetical Degrees
From MaRDI portal
Publication:3216640
Cites work
Cited in
(8)- Low level nondefinability results: domination and recursive enumeration
- scientific article; zbMATH DE number 5251297 (Why is no real title available?)
- Upper semilattice of recursively enumerable Q-degrees
- A fixed point for the jump operator on structures
- Towards a theory of arithmetic degrees
- scientific article; zbMATH DE number 3884151 (Why is no real title available?)
- The arithmetic and Turing degrees are not elementarily equivalent
- Strong reducibilities
This page was built for publication: On the First Order Theory of the Arithmetical Degrees
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3216640)