A Constructive Version of the Spectral Mapping Theorem

DOI<link itemprop=identifier href="https://doi.org/10.1002/1521-3870(200108)47:3<299::AID-MALQ299>3.0.CO;2-U" /><299::AID-MALQ299>3.0.CO;2-U 10.1002/1521-3870(200108)47:3<299::AID-MALQ299>3.0.CO;2-UzbMath0992.03075OpenAlexW1989113398MaRDI QIDQ2743644

Douglas S. Bridges, Robin Havea

Publication date: 16 September 2002

Full work available at URL: https://doi.org/10.1002/1521-3870(200108)47:3<299::aid-malq299>3.0.co;2-u

zbMATH Keywords

constructive mathematicsSpectral Mapping Theorem

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive functional analysis (46S30)

Related Items (4)

Basic notions of (constructive) semigroups with apartness ⋮ Semigroups with apartness ⋮ Powers of positive elements in C *-algebras ⋮ Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice

This page was built for publication: A Constructive Version of the Spectral Mapping Theorem