Hostname: page-component-586b7cd67f-dlnhk Total loading time: 0 Render date: 2024-11-28T09:06:17.228Z Has data issue: false hasContentIssue false

First Order Theory of Complete Stonean Algebras (Boolean-Valued Real and Complex Numbers)

Published online by Cambridge University Press:  20 November 2018

Thomas Jech*
Affiliation:
Pennsylvania State University University Park, PA 16802
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We axiomatize the theory of real and complex numbers in Boolean-valued models of set theory, and prove that every Horn sentence true in the complex numbers is true in any complete Stonean algebra, and provable from its axioms.

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 1987

References

1. Burris, S. and Werner, H., Sheaf constructions and their elementary properties, Trans. Amer. Math. Soc. 248 (1979), pp. 269309.Google Scholar
2. Carson, A., The model completion of the theory of commutative regular rings, J. of Algebra 27 (1973), pp. 136146.Google Scholar
3. Carson, A., Algebraically closed regular rings, Canad. J. Math. 36 (1974), pp. 10361049.Google Scholar
4. Chang, C.C. and Keisler, H.J., Model Theory, North-Holland 1971.Google Scholar
5. Comer, S., Representations by sections over Boolean spaces, Pac. J. Math. 38 (1971), pp. 2938.Google Scholar
6. Jech, T., Abstract theory of abelian operator algebras: an application of forcing, Trans. Amer. Math. Soc. 289 (1985), pp. 133162.Google Scholar
7. Kadison, R., Diagonalizing matrices over operator algebras, Bull. Amer. Math. Soc. 8 (1983), pp. 8486.Google Scholar
8. Lipschitz, L., The real closure of a commutative regular f ring, Fund. Math. 94 (1977), pp. 173176.Google Scholar
9. Lipschitz, L. and Saracino, D., The model companion of the theory of commutative rings without nilpotent elements, Proc. Amer. Math. Soc. 38 (1973), pp. 381387.Google Scholar
10. Macintyre, A., On the elementary theory of Banach algebras, Ann. Math. Logic 3 (1971), pp. 239269.Google Scholar
11. Macintyre, A., Model-completeness for sheaves of structures, Fund. Math. 81 (1973), pp. 7389.Google Scholar
12. Pierce, R.S., Modules over commutative regular rings, Memoirs of the Amer. Math. Soc. 70, 1967.Google Scholar
13. Scedrov, A., Diagonalization of continuous matrices as a representation of intuitionistic reals, Ann. Pure and Appl. Logic 30 (1986), pp. 201206.Google Scholar
14. Solovay, R., Real-valued measurable cardinals, in: Axiomatic Set Theory, Proc. Symp. Pure Math. 13, I (Scott, D., ed.), pp. 397428, AMS, Providence, RI 1971.Google Scholar
15. Takeuti, G., Two applications of logic to mathematics, Princeton Univ. Press 1978.Google Scholar
16. van den Dries, L., Artin-Schreier theory for commutative regular rings, Ann. Math. Logic 12 (1977), pp. 113150.Google Scholar
17. Kadison, R. and Pedersen, G., Means and convex combinations of unitary operators, preprint, January 1984.Google Scholar