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

DOI10.1007/BF01670108zbMATH Open0476.03042OpenAlexW2090119609MaRDI QIDQ1159632FDOQ1159632

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)