TY  - CHAP
AU  - Lascar, Daniel
TI  - Une indicatrice de type "Ramsey" pour l'arithmétique de Peano et la formule de Paris-Harrington
BT  - Modèles de l'arithmétique : Séminaire Paris VII
AU  - Collectif
ED  - McAloon Kenneth
T3  - Astérisque
PY  - 1980
SP  - 19
EP  - 30
IS  - 73
PB  - Société mathématique de France
UR  - http://www.numdam.org/item/AST_1980__73__19_0/
LA  - fr
ID  - AST_1980__73__19_0
ER  -