Une indicatrice de type "Ramsey" pour l'arithmétique de Peano et la formule de Paris-Harrington
Modèles de l'arithmétique : Séminaire Paris VII, Astérisque, no. 73 (1980), pp. 19-30.
@incollection{AST_1980__73__19_0,
     author = {Lascar, Daniel},
     title = {Une indicatrice de type {"Ramsey"} pour l'arithm\'etique de {Peano} et la formule de {Paris-Harrington}},
     booktitle = {Mod\`eles de l'arithm\'etique : S\'eminaire Paris VII},
     editor = {McAloon Kenneth},
     series = {Ast\'erisque},
     pages = {19--30},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {73},
     year = {1980},
     mrnumber = {590459},
     zbl = {0458.03024},
     language = {fr},
     url = {http://archive.numdam.org/item/AST_1980__73__19_0/}
}
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://archive.numdam.org/item/AST_1980__73__19_0/
LA  - fr
ID  - AST_1980__73__19_0
ER  - 
%0 Book Section
%A Lascar, Daniel
%T Une indicatrice de type "Ramsey" pour l'arithmétique de Peano et la formule de Paris-Harrington
%B Modèles de l'arithmétique : Séminaire Paris VII
%A Collectif
%E McAloon Kenneth
%S Astérisque
%D 1980
%P 19-30
%N 73
%I Société mathématique de France
%U http://archive.numdam.org/item/AST_1980__73__19_0/
%G fr
%F AST_1980__73__19_0
Lascar, Daniel. Une indicatrice de type "Ramsey" pour l'arithmétique de Peano et la formule de Paris-Harrington, in Modèles de l'arithmétique : Séminaire Paris VII, Astérisque, no. 73 (1980), pp. 19-30. http://archive.numdam.org/item/AST_1980__73__19_0/

[Fe] S. Feferman, Arithmetization of metamathematics in a general setting, F.M. 49. | EuDML | MR | Zbl

[J] C. Jockusch, Ramsey's Theorem and recursion theory, JSL 37 | MR | Zbl

[K.S] J. Ketonen and R. Solovay, Rapidly growing Ramsey functions, à paraître. | DOI | Zbl

[M] K. Mcaloon, Formes combinatoires du théorème d'incomplétude, Séminaire Bourbaki 1977-78, SLN | EuDML | Numdam | Zbl

[P] J. Paris, On models of arithmetic, Proceedings of the London Logic Conference, 1970, SLN. | Zbl

[P. bis] J. Paris, Some in dependence results for Peano arithmetic, JSL 1978. | MR | Zbl

[P. ter] J. Paris, A hierarchy of cuts for models of arithmetic, à paraître. | DOI | Zbl

[P. H] J. Paris and L. Harrington, A mathematical incompleteness in Peano's arithmetic, Handbook of Mathematical Logic, North-Holland | MR

[S] R. Solovay, Fast growing Ramsey functions, manuscrit. | Zbl

[E. R] P. Erdös et R. Rado, Combinatorial theorems on classifications of subsets of a given set, Proc. London Math. Soc. (3) 2 (1952). | MR | Zbl