The Irrationals are not Recursively Enumerable
From MaRDI portal
Publication:3487334
DOI10.2307/2048094zbMath0707.03040OpenAlexW4256716950MaRDI QIDQ3487334
Publication date: 1990
Full work available at URL: https://doi.org/10.2307/2048094
Applications of computability and recursion theory (03D80) Abstract and axiomatic computability and recursion theory (03D75)
Related Items
Ordered Subrings of the Reals in which Output Sets are Recursively Enumerable, Algorithmic Procedures
Cites Work