@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://archive.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://archive.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://archive.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://archive.numdam.org/item/ASCFM_1982__73_21_67_0/
[1] Model theory, North-Holland, 1973. | Zbl
, ,[2] Théorie des modèles en logique mathématique, Les Presses de l'Université de Montréal, 1967. | MR | Zbl
,[3] Asupra unei versiuni poliadice a teoremei de omitere a tipurilor, St. Cerc. Math., 32, 5, 1980, 505-515. | MR | Zbl
,[4] Algebraic logic, Chelsea, 1962. | MR | Zbl
,[ 5 ] Lectures on Boolean algebras, Van-Nostrand, 1963. | MR | Zbl
,[ 6 ] Sheaves and Boolean valued model theory, J. Symb. Logic, vol. 44, 3, 1979,153-183. | MR | Zbl
,[7] Omitting types algebraically, Ann. Sci. Univ. Clermont, Fasc. 16, 1978, 101-105. | Numdam | MR | Zbl
,[ 8 ] Some problems in algebraic logic, Colloque international de Logique de Clermont-Ferrand, Editions du CNRS, 1977. | MR | Zbl
,[9 ] Contributions to Boolean valued model theory, Ph. D. Thesis, Univ. of Minnesota, 1969.
,