Propriétés de consistance et forcing
Annales scientifiques de l'Université de Clermont. Mathématiques (1979)
- Volume: 68, Issue: 18, page 37-45
- ISSN: 0249-7042
Access Full Article
top
How to cite
topLablanquie, J.-C.. "Propriétés de consistance et forcing." Annales scientifiques de l'Université de Clermont. Mathématiques 68.18 (1979): 37-45. <http://eudml.org/doc/80492>.
@article{Lablanquie1979,
author = {Lablanquie, J.-C.},
journal = {Annales scientifiques de l'Université de Clermont. Mathématiques},
keywords = {consistency properties; generic models},
language = {fre},
number = {18},
pages = {37-45},
publisher = {UER de Sciences exactes et naturelles de l'Université de Clermont},
title = {Propriétés de consistance et forcing},
url = {http://eudml.org/doc/80492},
volume = {68},
year = {1979},
}
TY - JOUR
AU - Lablanquie, J.-C.
TI - Propriétés de consistance et forcing
JO - Annales scientifiques de l'Université de Clermont. Mathématiques
PY - 1979
PB - UER de Sciences exactes et naturelles de l'Université de Clermont
VL - 68
IS - 18
SP - 37
EP - 45
LA - fre
KW - consistency properties; generic models
UR - http://eudml.org/doc/80492
ER -
References
top- [1] Keisler, H.J., Model Theory for Infinitary Logic. (North-Holland, Amsterdam, 1971). Zbl0222.02064MR344115
- [2] Keisler, H.J., Forcing and the Omitting types theorem. (Studies in Model Theory, pp. 96-133MAA STUDIES IN MATH., Vol. 8, Buffalo, N.Y., 1973). MR337571
- [3] Ressayre, J.P., Boolean models and infinitary first-order languages, Annals of Mathematical Logic, Vol. 6 (1974), pp. 41-92. Zbl0288.02013MR337599
- [4] Stern, J., Forcing et théorie des modèles, Thèse 3e cycle, ParisVII (1972).
- [5] Stern, J., A new look at the interpolation theorem; The Journal of Symbolic Logic; Vol. 40, No 1 (1975), pp. 1-13. Zbl0319.02012MR444432
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.