Canonical effective subalgebras of classical algebras as constructive metric completions

MaRDI QIDQ3075211zbMATH OpenFDO

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

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)

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

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)