Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions

DOI10.4230/OASICS.CCA.2009.2257zbMath1247.03090OpenAlexW1490906872MaRDI QIDQ2917338

Andrej Bauer, Jens Blanck

Publication date: 28 September 2012

Full work available at URL: http://math.andrej.com/wp-content/uploads/2010/01/effalg.pdf

zbMATH Keywords

realizabilityconstructive metric spaceseffective algebras

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Theory of numerations, effectively presented structures (03D45)

Related Items (1)

Intuitionistic fixed point logic

This page was built for publication: Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions