Une généralisation du théorème d'omission des types dans les algèbres polyadiques
Georgescu, Georges
Annales scientifiques de l'Université de Clermont. Mathématiques, Tome 73 (1982), p. 67-74 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1982-01-01
@article{ASCFM_1982__73_21_67_0,
     author = {Georgescu, Georges},
     title = {Une g\'en\'eralisation du th\'eor\`eme d'omission des types dans les alg\`ebres polyadiques},
     journal = {Annales scientifiques de l'Universit\'e de Clermont. Math\'ematiques},
     volume = {73},
     year = {1982},
     pages = {67-74},
     mrnumber = {706123},
     zbl = {0523.03051},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ASCFM_1982__73_21_67_0}
}

Georgescu, Georges. Une généralisation du théorème d'omission des types dans les algèbres polyadiques. Annales scientifiques de l'Université de Clermont. Mathématiques, Tome 73 (1982) pp. 67-74. http://gdmltest.u-ga.fr/item/ASCFM_1982__73_21_67_0/

[1] C.C. Chang, H.J. Keisler, Model theory, North-Holland, 1973. | Zbl 0276.02032

[2] A. Daigneault, Théorie des modèles en logique mathématique, Les Presses de l'Université de Montréal, 1967. | MR 246761 | Zbl 0164.31001

[3] G. Georgescu, Asupra unei versiuni poliadice a teoremei de omitere a tipurilor, St. Cerc. Math., 32, 5, 1980, 505-515. | MR 616978 | Zbl 0453.03067

[4] P.R. Halmos, Algebraic logic, Chelsea, 1962. | MR 131961 | Zbl 0101.01101

[ 5 ] P.R. Halmos, Lectures on Boolean algebras, Van-Nostrand, 1963. | MR 167440 | Zbl 0114.01603

[ 6 ] G. Loullis, Sheaves and Boolean valued model theory, J. Symb. Logic, vol. 44, 3, 1979,153-183. | MR 534567 | Zbl 0411.03028

[7] J.D. Monk, Omitting types algebraically, Ann. Sci. Univ. Clermont, Fasc. 16, 1978, 101-105. | Numdam | MR 526953 | Zbl 0396.03046

[ 8 ] J.D. Monk, Some problems in algebraic logic, Colloque international de Logique de Clermont-Ferrand, Editions du CNRS, 1977. | MR 540735 | Zbl 0448.03045

[9 ] A. Shorb, Contributions to Boolean valued model theory, Ph. D. Thesis, Univ. of Minnesota, 1969.