Pages that link to "Item:Q5287687"
From MaRDI portal
The following pages link to On the <i>Σ</i><sub>2</sub>-theory of the upper semilattice of Turing degrees (Q5287687):
Displayed 6 items.
- Extensions of embeddings below computably enumerable degrees (Q2838113) (← links)
- Degree Structures: Local and Global Investigations (Q3412461) (← links)
- ON THE DECIDABILITY OF THE THEORIES OF THE ARITHMETIC AND HYPERARITHMETIC DEGREES AS UPPERSEMILATTICES (Q4600467) (← links)
- The ∀∃-theory of ℛ(≤,∨,∧) is undecidable (Q4813796) (← links)
- The Σ 2 theory of D h ( ⩽ h O ) as an uppersemilattice with least and greatest element is decidable (Q5037208) (← links)
- Decidability of the two-quantifier theory of the recursively enumerable weak truth-table degrees and other distributive upper semi-lattices (Q5687321) (← links)