Forcing infini et théorème d'omission des types de Chang
Annales scientifiques de l'Université de Clermont. Mathématiques (1978)
- Volume: 66, Issue: 16, page 27-31
- ISSN: 0249-7042
Access Full Article
top
How to cite
topLablanquie, Jean-Claude. "Forcing infini et théorème d'omission des types de Chang." Annales scientifiques de l'Université de Clermont. Mathématiques 66.16 (1978): 27-31. <http://eudml.org/doc/80474>.
@article{Lablanquie1978,
author = {Lablanquie, Jean-Claude},
journal = {Annales scientifiques de l'Université de Clermont. Mathématiques},
keywords = {Infinite Forcing; Model-Theoretic Forcing; Chang's Omitting Type Theorem},
language = {fre},
number = {16},
pages = {27-31},
publisher = {UER de Sciences exactes et naturelles de l'Université de Clermont},
title = {Forcing infini et théorème d'omission des types de Chang},
url = {http://eudml.org/doc/80474},
volume = {66},
year = {1978},
}
TY - JOUR
AU - Lablanquie, Jean-Claude
TI - Forcing infini et théorème d'omission des types de Chang
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 - 27
EP - 31
LA - fre
KW - Infinite Forcing; Model-Theoretic Forcing; Chang's Omitting Type Theorem
UR - http://eudml.org/doc/80474
ER -
References
top- (1) C.C. Chang - Omitting types of prenex formulas - J.S.L. - Vol. 32 (1967) - pp. 61-74. Zbl0161.00503MR213230
- (2) A. Robinson - Infinite forcing in Model Theory - Proc. of the 2nd Scandinavian Logic Symposium - North Holland (1971) - pp. 317-340. Zbl0222.02057MR357106
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.