Name: First Order Theory of Complete Stonean Algebras (Boolean-Valued Real and Complex Numbers)
Creator: Jech, Thomas
Keywords: Other aspects of forcing and Boolean-valued models, Boolean-valued model of set theory, 0101 mathematics, 16. Peace & justice, 10. No inequality, 01 natural sciences, complete Stonean algebras

First order theory of complete Stonean algebras (Boolean-valued real and complex numbers)

descriptionPublicationkeyboard_double_arrow_right Article 01 Dec 1987 English Publisher:Canadian Mathematical SocietyJournal:Canadian Mathematical Bulletin, volume 30, pages 385-392 (issn: 0008-4395, eissn: 1496-4287,

Authors: Jech, Thomas;

doi: 10.4153/cmb-1987-057-7

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

- Summary
- Subjects
- Related research
  (5)
- Metrics

Abstract

AbstractWe 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.

Related Organizations

Pennsylvania State University
United States
Parker University
United States

Keywords

Other aspects of forcing and Boolean-valued models, Boolean-valued model of set theory, complete Stonean algebras

5 Research products, page 1 of 1

On the duality between Boolean-valued analysis and reduction theory under the assumption of separability
1993IsAmongTopNSimilarDocuments
On continuous fiber bundles of C*-algebras over Stonean compact
2011IsAmongTopNSimilarDocuments
A Representation Theorem, Based on Ideals, for Stonean Residuated Lattices
2020IsAmongTopNSimilarDocuments
Some properties of filters in Stonean residuated lattices
2014IsAmongTopNSimilarDocuments
A Categorical Equivalence for Stonean Residuated Lattices
2018IsAmongTopNSimilarDocuments

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	5
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average