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
SP  - 27
EP  - 31
VL  - 66
IS  - 16
PB  - UER de Sciences exactes et naturelles de l'Université de Clermont
UR  - http://www.numdam.org/item/ASCFM_1978__66_16_27_0/
LA  - fr
ID  - ASCFM_1978__66_16_27_0
ER  -