Solvability of the all-existence-theory of a certain factor-lattice of recursively enumerable sets

DOI10.1007/BF01670108MaRDI QIDQ1159632zbMATH OpenOpenAlexFDO

Authors A. N. Degtev

Publication date 1979

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01670108

zbMATH Keywords

lattice of recursively enumerable setsimmune sets

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25)

Cites work

• On the Lattice of Recursively Enumerable Sets

This page was built for publication: Solvability of the all-existence-theory of a certain factor-lattice of recursively enumerable sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1159632)