论文信息 - Ideals in constructive Banach algebra theory - 字舞流文

Ideals in constructive Banach algebra theory

We introduce the notion of a 'q-ideal in a commutative Banach algebra, and investigate the relation between q-ideals and maximal ideals constructively.

Douglas S. Bridges | Robin Havea | Peter Schuster | P. Schuster | D. Bridges | Robin Havea

[1] S. Douglas. CONSTRUCTIVE METHODS IN BANACH ALGEBRA THEORY , 2000 .

[2] W. Rudin. Real and complex analysis, 3rd ed. , 1987 .

[3] Douglas S. Bridges,et al. A weak countable choice principle , 2000 .

[4] J. Myhill,et al. Choice Implies Excluded Middle , 1978, Math. Log. Q..

[5] Fred Richman,et al. Intuitionism As Generalization , 1990 .

[6] W. Rudin. Real and complex analysis , 1968 .

[7] F. Richman,et al. Varieties of Constructive Mathematics: CONSTRUCTIVE ALGEBRA , 1987 .

[8] Wim Ruitenburg,et al. A Course in Constructive Algebra , 1987 .

[9] P. Aczel,et al. Notes on constructive set theory , 1997 .

[10] Errett Bishop. THE CONSTRUCTIVIZATION OF ABSTRACT MATHEMATICAL ANALYSIS , 1986 .

[11] Douglas S. Bridges,et al. Linear mappings are fairly well-behaved , 1990 .

[12] Douglas S. Bridges,et al. PRIME AND MAXIMAL IDEALS IN CONSTRUCTIVE RING THEORY , 2001 .

[13] Hiroki Takamura. An introduction to the theory of c*-algegras in constructive mathematics , 2005, From sets and types to topology and analysis.

[14] M. Dummett. Elements of Intuitionism , 2000 .