Canonical effective subalgebras of classical algebras as constructive metric completions
type: Item
instance of: scholarly article
zbMATH Open document ID: 1247.03090
author: Andrej Bauer
author: Jens Blanck
publication date: 2012-09-28T00:00:00Z
Mathematics Subject Classification ID: 03D45
Mathematics Subject Classification ID: 03F60
zbMATH DE Number: 6087954
zbMATH Keywords: effective algebras
zbMATH Keywords: realizability
zbMATH Keywords: constructive metric spaces
MaRDI profile type: Publication
full work available at URL: effalg.pdf
OpenAlex ID: W1490906872
DOI: 10.4230/OASICS.CCA.2009.2257
title: Canonical effective subalgebras of classical algebras as constructive metric completions
description: scientific article; zbMATH DE number 6087954