Hostname: page-component-cd9895bd7-mkpzs Total loading time: 0 Render date: 2024-12-24T13:19:55.306Z Has data issue: false hasContentIssue false
  • English
  • Français

Decompositions of finitely generated modules over C(X): sheaf semantics and a decision procedure

Published online by Cambridge University Press:  24 October 2008

Andre Scedrov  and
Philip Scowcroft
Andre Scedrov
Affiliation:
Department of Mathematics, University of Pennsylvania, Philadelphia, PA 19104
Philip Scowcroft
Affiliation:
Department of Mathematics, Stanford University, Stanford, California 94305
Get access Rights & Permissions [Opens in a new window]

Extract

In the theory of operator algebras the rings of finite matrices over such algebras play a very important role (see [10]). For commutative operator algebras, the Gelfand-Naimark representation allows one to concentrate on matrices over rings of continuous complex functions on compact Hausdorif spaces.

Type
Research Article
Information
Mathematical Proceedings of the Cambridge Philosophical Society , Volume 103 , Issue 2 , March 1988 , pp. 257 - 268
Copyright
Copyright © Cambridge Philosophical Society 1988

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Atiyah, M. F.. K-Theory (Benjamin, 1967).Google Scholar
[2]Brandal, W.. Commutative rings whose finitely generated modules decompose. Lecture Notes in Math. vol. 723 (Springer-Verlag, 1979).CrossRefGoogle Scholar
[3]Cherlin, G.. Rings of continuous functions: decision problems. In Model Theory of Algebra and Arithmetic, Lecture Notes in Math. vol. 723 (Springer-Verlag, 1980), pp. 44–91.CrossRefGoogle Scholar
[4]Collins, O. E.. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In Automata Theory and Formal Languages: 2nd GI Conference, Lecture Notes in Comp. Science vol. 33 (Springer-Verlag, 1975), pp. 134–183.Google Scholar
[5]Gillman, L. and Henriksen, M.. Rings of continuous functions in which every finitely generated ideal is principal. Trans. Amer. Math. Soc. 82 (1956), 366–391.CrossRefGoogle Scholar
[6]Gillman, L. and Jerison, M.. Rings of Continuous Functions (Van Nostrand, 1960).CrossRefGoogle Scholar
[7]Grove, K. and Pedersen, O. K.. Sub-Stonean spaces and corona sets. J. Funct. Analysis 56 (1984), 124–143.CrossRefGoogle Scholar
[8]Grove, K. and Pedersen, O. K.. Diagonalizing matrices over C(X). J. Fund. Analysis 59 (1984), 65–89.CrossRefGoogle Scholar
[9]Kadison, R. V.. Diagonalizing matrices. Amer. J. Math. 106 (1984), 1451–1468.CrossRefGoogle Scholar
[10]Kadison, R. V. and Rinorose, J. R.. Fundamentals of the Theory of Operator Algebras, vols. I, II (Academic Press, 1983–1984).Google Scholar
[11]Mulvey, C. J.. Intuitionistic algebra and representations of rings. Mem. Amer. Math. Soc. 148 (1974), 3–57.Google Scholar
[12]Scedrov, A.. Diagonalization of continuous matrices as a representation of intuitionistic reals. Ann. Pure Appl. Logic 30 (1986), 201–206.CrossRefGoogle Scholar
[13]Scedrov, A.. Some aspects of categorical semantics sheaves and glueing. In Logic Colloquium 85 (ed. Dickmann, M. A. et al. ) (North-Holland, 1987), pp. 281–301.Google Scholar
[14]Scowcroft, P.. The real-algebraic structure of Scott's model of intuitionistic analysis. Ann. Pure Appl. Logic 27 (1984), 275–308.CrossRefGoogle Scholar
[15]Takeuti, G. and Titani, S.. Global intuitionistic analysis. Ann. Pure Appl. Logic 31(1986), 307–339.CrossRefGoogle Scholar
[16]Vaught, R. L.. On sentences holding in direct products of relational systems. In Proc. International Congress Math. 1954, vol. II (North-Holland), pp. 409–410.Google Scholar