Complete local rings as domains
From MaRDI portal
Publication:3812231
DOI10.2307/2274527zbMath0662.03040MaRDI QIDQ3812231
J. V. Tucker, Viggo Stoltenberg-Hansen
Publication date: 1988
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274527
03D45: Theory of numerations, effectively presented structures
Related Items
Domains for Computation in Mathematics, Physics and Exact Real Arithmetic, Computable and Continuous Partial Homomorphisms on Metric Partial Algebras, Stability for Effective Algebras, Domain representability of metric spaces, Two categories of effective continuous cpos, Algebraic and fixed point equations over inverse limits of algebras, A domain-theoretic approach to computability on the real line, Computable Banach spaces via domain theory, Concrete models of computation for topological algebras, Computation by `While' programs on topological partial algebras, Representability of locally compact regular spaces by domains and formal spaces, Domain representations of topological spaces, Domain representations of partial functions, with applications to spatial objects and constructive volume geometry., Foundation of a computable solid modelling., Computable total functions on metric algebras, universal algebraic specifications and dynamical systems, Ideals in computable rings, Stability of representations of effective partial algebras, Reducibility of domain representations and Cantor–Weihrauch domain representations