Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 16 / Issue 18

available in:   PDF (262 kB) PS (399 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-016-18-2496


Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions

Andrej Bauer (University of Ljubljana, Slovenia)

Jens Blanck (Swansea University, United Kingdom)

Abstract: We prove general theorems about unique existence of effective subalgebras of classical algebras. The theorems are consequences of standard facts about completions of metric spaces within the framework of constructive mathematics, suitably interpreted in realizability models. We work with general realizability models rather than with a particular model of computation. Consequently, all the results are applicable in various established schools of computability, such as type 1 and type 2 effectivity, domain representations, equilogical spaces, and others.

Keywords: computable and effective algebra, constructive metric spaces, realizability

Categories: G.0