Pages that link to "Item:Q3216640"
From MaRDI portal
The following pages link to On the First Order Theory of the Arithmetical Degrees (Q3216640):
Displaying 8 items.
- Upper semilattice of recursively enumerable Q-degrees (Q1071761) (← links)
- Towards a theory of arithmetic degrees (Q1914838) (← links)
- Low level nondefinability results: domination and recursive enumeration (Q2869914) (← links)
- (Q3218118) (← links)
- The arithmetic and Turing degrees are not elementarily equivalent (Q3765755) (← links)
- Strong reducibilities (Q3942949) (← links)
- A fixed point for the jump operator on structures (Q5300071) (← links)
- (Q5450322) (← links)