Une généralisation du théorème d'omission des types dans les algèbres polyadiques
Georgescu, Georges1
1 Institut de Mathématiques Str. Academiei 14 BUCAREST, Roumanie
Annales scientifiques de l'Université de Clermont. Mathématiques, Tome 73 (1982) no. 21, pp. 67-74.
Georgescu, Georges 1

1 Institut de Mathématiques Str. Academiei 14 BUCAREST, Roumanie 
@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},
     pages = {67--74},
     publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
     volume = {73},
     number = {21},
     year = {1982},
     mrnumber = {706123},
     zbl = {0523.03051},
     language = {fr},
     url = {http://www.numdam.org/item/ASCFM_1982__73_21_67_0/}
}
TY  - JOUR
AU  - Georgescu, Georges
TI  - Une généralisation du théorème d'omission des types dans les algèbres polyadiques
JO  - Annales scientifiques de l'Université de Clermont. Mathématiques
PY  - 1982
SP  - 67
EP  - 74
VL  - 73
IS  - 21
PB  - UER de Sciences exactes et naturelles de l'Université de Clermont
UR  - http://www.numdam.org/item/ASCFM_1982__73_21_67_0/
LA  - fr
ID  - ASCFM_1982__73_21_67_0
ER  - 
%0 Journal Article
%A Georgescu, Georges
%T Une généralisation du théorème d'omission des types dans les algèbres polyadiques
%J Annales scientifiques de l'Université de Clermont. Mathématiques
%D 1982
%P 67-74
%V 73
%N 21
%I UER de Sciences exactes et naturelles de l'Université de Clermont
%U http://www.numdam.org/item/ASCFM_1982__73_21_67_0/
%G fr
%F 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) 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

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

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

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

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

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

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

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

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