scientific article; zbMATH DE number 535104

zbMath0785.03026MaRDI QIDQ4285797

André Nies

Publication date: 21 March 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

undecidabilitydefinabilityreducibilitieslattices of sets under inclusion and degree orderingsupper semilattices of r.e. degrees

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30)

Related Items

Undecidable fragments of elementary theories ⋮ Interpreting \(\mathbb{N}\) in the computably enumerable weak truth table degrees