Some Remarks on Computable (Non-Archimedean) Ordered Fields
From MaRDI portal
Publication:5672622
DOI10.1112/jlms/s2-4.2.304zbMath0258.02044MaRDI QIDQ5672622
Publication date: 1971
Published in: Journal of the London Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1112/jlms/s2-4.2.304
12J15: Ordered fields
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
03F99: Proof theory and constructive mathematics
Related Items