10.4230/OASICS.CCA.2009.2257
Bauer, Andrej
Andrej
Bauer
Blanck, Jens
Jens
Blanck
Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
2009
Effective algebras
realizability
constructive metric spaces
Bauer, Andrej
Andrej
Bauer
Hertling, Peter
Peter
Hertling
Ko, Ker-I
Ker-I
Ko
2009
2009-11-25
2009-11-25
2009-11-25
en
urn:nbn:de:0030-drops-22579
10.4230/OASIcs.CCA.2009
978-3-939897-12-5
2190-6807
10.4230/OASIcs.CCA.2009
OASIcs, Volume 11, CCA 2009
6th International Conference on Computability and Complexity in Analysis (CCA'09)
2012
11
9
37
48
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Bauer, Andrej
Andrej
Bauer
Hertling, Peter
Peter
Hertling
Ko, Ker-I
Ker-I
Ko
2190-6807
Open Access Series in Informatics (OASIcs)
2009
11
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
12 pages
382185 bytes
application/pdf
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
info:eu-repo/semantics/openAccess
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.
OASIcs, Vol. 11, 6th International Conference on Computability and Complexity in Analysis (CCA'09), pages 37-48