Publication:3480023
From MaRDI portal
zbMath0702.03019MaRDI QIDQ3480023
Publication date: 1990
03D25: Recursively (computably) enumerable sets and degrees
Related Items
The combinatorics of the splitting theorem, Incomparable prime ideals of recursively enumerable degrees, \(\Sigma_2\)-constructions and \(\text{I}\Sigma_1\), Coding a family of sets, Iterated trees and fragments of arithmetic, \(\Sigma_ 5\)-completeness of index sets arising from the recursively enumerable Turing degrees, \(\Sigma_ 5\)-completeness of index sets arising from the lattice of recursively enumerable sets