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

DOI10.1007/BF01670108zbMath0476.03042OpenAlexW2090119609MaRDI QIDQ1159632

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