Stability for effective algebras

DOI10.1016/J.ENTCS.2008.12.002MaRDI QIDQ4918000zbMATH OpenOpenAlexFDO

Authors Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker

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

computably stableeffective partial algebrasrecursively equivalent

Mathematics Subject Classification ID

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

Recommendations

• Stability of representations of effective partial algebras
• A stability theorem for recursive analysis
• Stability among r.e. quotient algebras
• scientific article; zbMATH DE number 806750
• scientific article; zbMATH DE number 1873427

Cites work

• A Real Number Structure that is Effectively Categorical
• Complete local rings as domains
• Computable analysis. An introduction
• Computable and Continuous Partial Homomorphisms on Metric Partial Algebras
• CONSTRUCTIVE ALGEBRAS I
• scientific article; zbMATH DE number 821282 (Why is no real title available?)
• scientific article; zbMATH DE number 3230252 (Why is no real title available?)
• Recursive metric spaces

Cited in

(5)

• Stability among r.e. quotient algebras
• Canonical effective subalgebras of classical algebras as constructive metric completions
• Stability of representations of effective partial algebras
• Canonical effective subalgebras of classical algebras as constructive metric completions
• A stability theorem for recursive analysis

This page was built for publication: Stability for effective algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4918000)