Decidability of the AE-theory of the lattice of \({\Pi}_1^0\) classes
From MaRDI portal
Publication:1745361
DOI10.1007/s00153-017-0564-5OpenAlexW2744322233MaRDI QIDQ1745361
Publication date: 17 April 2018
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-017-0564-5
Logical aspects of lattices and related structures (03G10) Computability and recursion theory (03Dxx)
Cites Work
- Unnamed Item
- Unnamed Item
- The elementary theory of recursively enumerable sets
- The decidability of the existential theory of the poset of recursively enumerable degrees with jump relations
- Almost complemented \(\Pi^{0}_{1}\) classes
- Automorphisms of the lattice of $\Pi _1^0$ classes; perfect thin classes and anc degrees