Canonical effective subalgebras of classical algebras as constructive metric completions

zbMATH Open1219.03041MaRDI QIDQ3075211FDOQ3075211

Authors: Andrej Bauer, Jens Blanck 

Publication date: 10 February 2011

Full work available at URL: http://www.jucs.org/jucs_16_18/canonical_effective_subalgebras_of

Recommendations

• Canonical effective subalgebras of classical algebras as constructive metric completions
• Stability of representations of effective partial algebras
• Stability for effective algebras
• Effective metric model theory
• Completeness: when enough is enough

zbMATH Keywords

realizabilityeffective algebracomputable algebraconstructive metric spaces

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Abstract and axiomatic computability and recursion theory (03D75)

Cited In (3)

• Canonical effective subalgebras of classical algebras as constructive metric completions
• Models of computation for partial functions on the reals
• Theses for computation and recursion on concrete and abstract structures

This page was built for publication: Canonical effective subalgebras of classical algebras as constructive metric completions

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