Representation theorems for recursively enumerable sets and a conjecture related to Poonen's large subring of \(\mathbb Q\)
From MaRDI portal
Publication:393224
DOI10.1007/s10958-010-0176-7zbMath1345.03021WikidataQ122884024 ScholiaQ122884024MaRDI QIDQ393224
Publication date: 16 January 2014
Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10958-010-0176-7
11U05: Decidability (number-theoretic aspects)
03B25: Decidability of theories and sets of sentences
03D25: Recursively (computably) enumerable sets and degrees
Related Items
Cites Work