Constructive theory of Banach algebras

DOI10.4115/jla.2010.2.11zbMath1285.03073arXiv1002.4011OpenAlexW3103887766MaRDI QIDQ3145957

Thierry Coquand, Bas Spitters

Publication date: 17 December 2012

Published in: Journal of Logic and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1002.4011

zbMATH Keywords

Banach algebraconstructive mathematicsGelfand-Mazur theoremWiener Tauberian theorem

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) General theory of topological algebras (46H05) Constructive functional analysis (46S30)

Related Items (1)

Powers of positive elements in C *-algebras

This page was built for publication: Constructive theory of Banach algebras