A constructive version of the spectral mapping theorem

DOI10.1002/1521-3870(200108)47:3%3C299::AID-MALQ299%3E3.0.CO;2-UMaRDI QIDQ2743644zbMATH OpenOpenAlexFDO

Authors Douglas Bridges, Robin Havea

Publication date 16 September 2002

Published in Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/1521-3870(200108)47:3%3C299::aid-malq299%3E3.0.co;2-u

zbMATH Keywords

constructive mathematicsSpectral Mapping Theorem

Mathematics Subject Classification ID

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

Review text

A constructive version of the Spectral Mapping Theorem is given. The paper is almost self-contained.

Cited in

(11)

• A spectral characterization of skeletal maps
• Ein Spektralabbildungssatz. (A spectral mapping theorem)
• Powers of positive elements in C^*-algebras
• Basic notions of (constructive) semigroups with apartness
• scientific article; zbMATH DE number 4208869 (Why is no real title available?)
• An Analogue of the Spectral Mapping Theorem for Condition Spectrum
• Semigroups with apartness
• Spectral Mapping Theorems
• scientific article; zbMATH DE number 5238483 (Why is no real title available?)
• Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice
• Factorizing \(\tau \)-spectra of mappings

This page was built for publication: A constructive version of the spectral mapping theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2743644)