Types remarquables et extensions de modèles dans l'arithmétique de Peano, I
Modèles de l'arithmétique : Séminaire Paris VII, Astérisque, no. 73 (1980), pp. 59-117.
@incollection{AST_1980__73__59_0,
     author = {Dickmann, M. A.},
     title = {Types remarquables et extensions de mod\`eles dans l'arithm\'etique de {Peano,} {I}},
     booktitle = {Mod\`eles de l'arithm\'etique : S\'eminaire Paris VII},
     editor = {McAloon Kenneth},
     series = {Ast\'erisque},
     pages = {59--117},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {73},
     year = {1980},
     mrnumber = {590462},
     zbl = {0463.03040},
     language = {fr},
     url = {http://archive.numdam.org/item/AST_1980__73__59_0/}
}
TY  - CHAP
AU  - Dickmann, M. A.
TI  - Types remarquables et extensions de modèles dans l'arithmétique de Peano, I
BT  - Modèles de l'arithmétique : Séminaire Paris VII
AU  - Collectif
ED  - McAloon Kenneth
T3  - Astérisque
PY  - 1980
SP  - 59
EP  - 117
IS  - 73
PB  - Société mathématique de France
UR  - http://archive.numdam.org/item/AST_1980__73__59_0/
LA  - fr
ID  - AST_1980__73__59_0
ER  - 
%0 Book Section
%A Dickmann, M. A.
%T Types remarquables et extensions de modèles dans l'arithmétique de Peano, I
%B Modèles de l'arithmétique : Séminaire Paris VII
%A Collectif
%E McAloon Kenneth
%S Astérisque
%D 1980
%P 59-117
%N 73
%I Société mathématique de France
%U http://archive.numdam.org/item/AST_1980__73__59_0/
%G fr
%F AST_1980__73__59_0
Dickmann, M. A. Types remarquables et extensions de modèles dans l'arithmétique de Peano, I, in Modèles de l'arithmétique : Séminaire Paris VII, Astérisque, no. 73 (1980), pp. 59-117. http://archive.numdam.org/item/AST_1980__73__59_0/

[A.H] F. Abramson, L. Harrington, Models without indiscernibles, Journal Symb. Logic, vol. 43 (1978), pp. 572-600. | DOI | MR | Zbl

[E.R] P. Erdös, R. Rado, A partition calculus in set theory, Bull. Amer. Math. Soc., vol 62 (1956), pp. 427-489. | DOI | MR | Zbl

[G] H. Gaifman, Models and types of Peano's arithmetic, Ann. Math. Logic, vol. 9 (1976), pp. 223-306. | DOI | MR | Zbl

[K] J. Knight, Omitting types in set theory and arithmetic, Journal Symb. Logic, vol. 41 (1976), pp. 25-32. | DOI | MR | Zbl

[N.R] J. Nesětřil, V. Rödl, Partitions of finite relation and set systems, Journal Combinatorial Theory, Series A, vol. 22 (1976), pp. 289-312. | DOI | MR | Zbl

[S] S. Shelah, End extensions and numbers of countable models, Journal Symb. Logic, vol. 43 (1978), pp. 550-562. | DOI | MR | Zbl

[Si] S. G. Simpson, Forcing and models of arithmetic, Proc. Amer. Math. Soc., vol 43 (1974), pp. 193-194. | DOI | MR | Zbl