Article contents
First Order Theory of Complete Stonean Algebras (Boolean-Valued Real and Complex Numbers)
Published online by Cambridge University Press: 20 November 2018
Abstract
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
- Information
- Copyright
- Copyright © Canadian Mathematical Society 1987
References
- 5
- Cited by