The following pages link to (Q5586303):
Displayed 4 items.
- Undecidability and 1-types in the recursively enumerable degrees (Q688787) (← links)
- The structure of the honest polynomial m-degrees (Q1341316) (← links)
- Undecidability and 1-types in intervals of the computably enumerable degrees (Q1591201) (← links)
- The undecidability of the elementary theory of lattices of all equational theories of large signature (Q2311327) (← links)