Geodesic
First Order Theory of Complete Stonean Algebras (Boolean-Valued Real and Complex Numbers)
Canadian mathematical bulletin, Tome 30 (1987) no. 4, pp. 385-392

Voir la notice de l'article provenant de la source Cambridge

DOI

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.
DOI : 10.4153/CMB-1987-057-7
Mots-clés : 03E40, 03C60, 13L05, 46J99 
Jech, Thomas. First Order Theory of Complete Stonean Algebras (Boolean-Valued Real and Complex Numbers). Canadian mathematical bulletin, Tome 30 (1987) no. 4, pp. 385-392. doi: 10.4153/CMB-1987-057-7
@article{10_4153_CMB_1987_057_7,
     author = {Jech, Thomas},
     title = {First {Order} {Theory} of {Complete} {Stonean} {Algebras} {(Boolean-Valued} {Real} and {Complex} {Numbers)}},
     journal = {Canadian mathematical bulletin},
     pages = {385--392},
     year = {1987},
     volume = {30},
     number = {4},
     doi = {10.4153/CMB-1987-057-7},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CMB-1987-057-7/}
}
TY  - JOUR
AU  - Jech, Thomas
TI  - First Order Theory of Complete Stonean Algebras (Boolean-Valued Real and Complex Numbers)
JO  - Canadian mathematical bulletin
PY  - 1987
SP  - 385
EP  - 392
VL  - 30
IS  - 4
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CMB-1987-057-7/
DO  - 10.4153/CMB-1987-057-7
ID  - 10_4153_CMB_1987_057_7
ER  - 
%0 Journal Article
%A Jech, Thomas
%T First Order Theory of Complete Stonean Algebras (Boolean-Valued Real and Complex Numbers)
%J Canadian mathematical bulletin
%D 1987
%P 385-392
%V 30
%N 4
%U http://geodesic.mathdoc.fr/articles/10.4153/CMB-1987-057-7/
%R 10.4153/CMB-1987-057-7
%F 10_4153_CMB_1987_057_7

Cité par Sources :