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, Volume 73 (1982) no. 21, p. 67-74
@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},
     publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
     volume = {73},
     number = {21},
     year = {1982},
     pages = {67-74},
     zbl = {0523.03051},
     mrnumber = {706123},
     language = {fr},
     url = {http://www.numdam.org/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, Volume 73 (1982) no. 21, pp. 67-74. http://www.numdam.org/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.