A minimal pair of Π10 classes

DOI10.2307/2271516zbMath0219.02033OpenAlexW2182345675MaRDI QIDQ5623677

Carl G. jun. Jockusch, Robert I. Soare

Publication date: 1971

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2271516

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25)

Related Items

An effectively closed set with no join property*, COMPUTABLY COMPACT METRIC SPACES, One hundred and two problems in mathematical logic, Borel sets and hyperdegrees, Recursively enumerable sets and degrees, Minimal Covers and Hyperdegrees, Randomness below complete theories of arithmetic