Some Remarks on Computable (Non-Archimedean) Ordered Fields

DOI10.1112/jlms/s2-4.2.304zbMath0258.02044MaRDI QIDQ5672622

Eugene W. Madison

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

Mathematics Subject Classification ID

12J15: Ordered fields

03D60: Computability and recursion theory on ordinals, admissible sets, etc.

03F99: Proof theory and constructive mathematics

Related Items

Associative rings