Complete local rings as domains

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

zbMATH Keywords

completion; local rings; Artinian ring; computable ring; Scott-Ershov effective domains

Mathematics Subject Classification ID

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, 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