Voir la notice de l'article provenant de la source Cambridge University Press
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
[1] 1. Burris, S. and Werner, H., Sheaf constructions and their elementary properties, Trans. Amer. Math. Soc. 248 (1979), pp. 269–309. Google Scholar
[2] 2. Carson, A., The model completion of the theory of commutative regular rings, J. of Algebra 27 (1973), pp. 136–146. Google Scholar
[3] 3. Carson, A., Algebraically closed regular rings, Canad. J. Math. 36 (1974), pp. 1036–1049. Google Scholar
[4] 4. Chang, C.C. and Keisler, H.J., Model Theory, North-Holland 1971. Google Scholar
[5] 5. Comer, S., Representations by sections over Boolean spaces, Pac. J. Math. 38 (1971), pp. 29–38. Google Scholar
[6] 6. Jech, T., Abstract theory of abelian operator algebras: an application of forcing, Trans. Amer. Math. Soc. 289 (1985), pp. 133–162. Google Scholar
[7] 7. Kadison, R., Diagonalizing matrices over operator algebras, Bull. Amer. Math. Soc. 8 (1983), pp. 84–86. Google Scholar
[8] 8. Lipschitz, L., The real closure of a commutative regular f ring, Fund. Math. 94 (1977), pp. 173–176. Google Scholar
[9] 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. 381–387. Google Scholar
[10] 10. Macintyre, A., On the elementary theory of Banach algebras, Ann. Math. Logic 3 (1971), pp. 239–269. Google Scholar
[11] 11. Macintyre, A., Model-completeness for sheaves of structures, Fund. Math. 81 (1973), pp. 73–89. Google Scholar
[12] 12. Pierce, R.S., Modules over commutative regular rings, Memoirs of the Amer. Math. Soc. 70, 1967. Google Scholar
[13] 13. Scedrov, A., Diagonalization of continuous matrices as a representation of intuitionistic reals, Ann. Pure and Appl. Logic 30 (1986), pp. 201–206. Google Scholar
[14] 14. Solovay, R., Real-valued measurable cardinals, in: Axiomatic Set Theory, Proc. Symp. Pure Math. 13, I (Scott, D., ed.), pp. 397–428, AMS, Providence, RI 1971. Google Scholar
[15] 15. Takeuti, G., Two applications of logic to mathematics, Princeton Univ. Press 1978. Google Scholar
[16] 16. van den Dries, L., Artin-Schreier theory for commutative regular rings, Ann. Math. Logic 12 (1977), pp. 113–150. Google Scholar
[17] 17. Kadison, R. and Pedersen, G., Means and convex combinations of unitary operators, preprint, January 1984. Google Scholar
Cité par Sources :