Effectively hyperimmune sets and majorants
From MaRDI portal
Publication:1820774
DOI10.1007/BF01156252zbMath0615.03029OpenAlexW2009837012MaRDI QIDQ1820774
Publication date: 1985
Published in: Mathematical Notes (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01156252
Cites Work
- Unnamed Item
- Unnamed Item
- A lattice property of Post's simple set
- Post's problem and his hypersimple set
- Complete Recursively Enumerable Sets
- Effectively Simple Sets
- Completeness, the Recursion Theorem, and Effectively Simple Sets
- Recursively enumerable sets of positive integers and their decision problems