Effective subsets under homeomorphisms of \(\mathbb{R}^n\)

DOI10.1016/j.ic.2015.09.001zbMath1337.03066OpenAlexW1443415878MaRDI QIDQ897661

Volker Bosserhoff, Peter H. Hertling

Publication date: 7 December 2015

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2015.09.001

zbMATH Keywords

Euclidean spacehomeomorphismcompact subsetcomputabilityarithmetical hierarchyreal numberscomputable analysiscomputable subsetcomputably coenumerable subsetcomputably enumerable subset

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Computation over the reals, computable analysis (03D78)

Related Items

COMPUTABLY COMPACT METRIC SPACES ⋮ Computability of Subsets of Metric Spaces

Cites Work

• Plottable Real Number Functions and the Computable Graph Theorem
• Unnamed Item
• Unnamed Item