Stability for Effective Algebras

DOI10.1016/j.entcs.2008.12.002zbMath1262.03071OpenAlexW2102879503MaRDI QIDQ4918000

Viggo Stoltenberg-Hansen, J. V. Tucker, Jens Blanck

Publication date: 3 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.12.002

zbMATH Keywords

effective partial algebrascomputably stablerecursively equivalent

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Computation over the reals, computable analysis (03D78)

Cites Work

• Complete local rings as domains
• A Real Number Structure that is Effectively Categorical
• Computable and Continuous Partial Homomorphisms on Metric Partial Algebras
• CONSTRUCTIVE ALGEBRAS I
• Recursive metric spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Stability for Effective Algebras