Some results on $\mathbb{R}$-computable structures

zbMath1370.03053arXiv0803.3404MaRDI QIDQ3464655

Wesley Calvert, John E. Porter

Publication date: 27 January 2016

Full work available at URL: https://arxiv.org/abs/0803.3404

zbMATH Keywords

Turing computability\(\mathbb{R}\)-computable structureseffectiveness properties

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Computation over the reals, computable analysis (03D78)

This page was built for publication: Some results on $\mathbb{R}$-computable structures