Embedding relations in the lattice of recursively enumerable sets
From MaRDI portal
Publication:4074892
DOI10.1007/BF02280811zbMath0315.02040MaRDI QIDQ4074892
Publication date: 1975
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137901
03B25: Decidability of theories and sets of sentences
03D25: Recursively (computably) enumerable sets and degrees
Cites Work