Mathematics – Logic
Scientific paper
2010-02-21
Journal of Logic and Analysis 2:11 (2010) 1-15
Mathematics
Logic
Scientific paper
10.4115/jla.2010.2.11
We present a way to organize a constructive development of the theory of Banach algebras, inspired by works of Cohen, de Bruijn and Bishop. We illustrate this by giving elementary proofs of Wiener's result on the inverse of Fourier series and Wiener's Tauberian Theorem, in a sequel to this paper we show how this can be used in a localic, or point-free, description of the spectrum of a Banach algebra.
Coquand Thierry
Spitters Bas
No associations
LandOfFree
Constructive Theory of Banach algebras does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Constructive Theory of Banach algebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Constructive Theory of Banach algebras will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-372764