Omitting types algebraically
Annales scientifiques de l'Université de Clermont. Mathématiques (1978)
- Volume: 66, Issue: 16, page 101-105
- ISSN: 0249-7042
Access Full Article
topHow to cite
topMonk, J. Donald. "Omitting types algebraically." Annales scientifiques de l'Université de Clermont. Mathématiques 66.16 (1978): 101-105. <http://eudml.org/doc/80471>.
@article{Monk1978,
author = {Monk, J. Donald},
journal = {Annales scientifiques de l'Université de Clermont. Mathématiques},
keywords = {Cylindric Algebra; Omitting Types; Model Theory; Consistency},
language = {eng},
number = {16},
pages = {101-105},
publisher = {UER de Sciences exactes et naturelles de l'Université de Clermont},
title = {Omitting types algebraically},
url = {http://eudml.org/doc/80471},
volume = {66},
year = {1978},
}
TY - JOUR
AU - Monk, J. Donald
TI - Omitting types algebraically
JO - Annales scientifiques de l'Université de Clermont. Mathématiques
PY - 1978
PB - UER de Sciences exactes et naturelles de l'Université de Clermont
VL - 66
IS - 16
SP - 101
EP - 105
LA - eng
KW - Cylindric Algebra; Omitting Types; Model Theory; Consistency
UR - http://eudml.org/doc/80471
ER -
References
top- [1] Halmos, P.R. - Algebraic logic. Chelsea1962, 271 pp. Zbl0101.01101MR131961
- [2] Henkin, L., Monk, J.D. and Tarski, A. - Cylindric algebras, Part I., North-Holland1971, 508 pp. Zbl0576.03043MR781929
- [3] Keisler, H.J.- Model theory for infinitary logic. North-Holland1971, 208 pp. Zbl0222.02064MR344115
- [4] Pinter, C. - Terms in cylindric algebras, Proc. Amer. Math. Soc.40 (1973), 568-572. Zbl0286.02067MR325391
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.