MAXIMAL COMPUTABILITY STRUCTURES
From MaRDI portal
Publication:5283447
DOI10.1017/bsl.2016.26zbMath1403.03072OpenAlexW2563311411MaRDI QIDQ5283447
Lucija Validžić, Zvonko Iljazović
Publication date: 21 July 2017
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/bsl.2016.26
Theory of numerations, effectively presented structures (03D45) Computation over the reals, computable analysis (03D78)
Related Items
Semicomputable manifolds in computable topological spaces, Warsaw discs and semicomputability, Co-c.e. sets with disconnected complements, Dense computability structures, Effective compactness and orbits of points under the isometry group, Computability of Subsets of Metric Spaces
Cites Work