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

DOI10.1017/S0305004100064823zbMath0718.46058OpenAlexW2053920642MaRDI QIDQ5749837

Philip Scowcroft, Andrej Scedrov

Publication date: 1988

Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0305004100064823

zbMATH Keywords

vector bundlesdecision algorithmweak inequalitiesU-spaceinfinite Rickart spaceintegral polynomial equations

Mathematics Subject Classification ID

Methods of algebraic topology in functional analysis (cohomology, sheaf and bundle theory, etc.) (46M20) Normed modules and Banach modules, topological modules (if not placed in 13-XX or 16-XX) (46H25) Extremally disconnected spaces, (F)-spaces, etc. (54G05) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Intuitionistic mathematics (03F55)

Cites Work

• Diagonalizing matrices over C(X)
• Sub-Stonean spaces and corona sets
• The real-algebraic structure of Scott's model of intuitionistic analysis
• Diagonalization of continuous matrices as a representation of intuitionistic reals
• Commutative rings whose finitely generated modules decompose
• Global intuitionistic analysis
• Rings of Continuous Functions in Which Every Finitely Generated Ideal is Principal
• Diagonalizing Matrices

This page was built for publication: Decompositions of finitely generated modules over C(X): sheaf semantics and a decision procedure