scientific article; zbMATH DE number 627413
From MaRDI portal
Publication:4304754
real closed fieldsordered fieldsoutput setsabstract computationinput setsuncountable subfields of \(\mathbb{R}\)unordered fields
Analysis of algorithms and problem complexity (68Q25) Complexity of computation (including implicit computational complexity) (03D15) Turing machines and related notions (03D10) Ordered fields (12J15) Abstract and axiomatic computability and recursion theory (03D75) Connections between field theory and logic (12L99)
Recommendations
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4304754)