@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},
year = {1980},
publisher = {Soci\'et\'e math\'ematique de France},
number = {73},
mrnumber = {590462},
zbl = {0463.03040},
language = {fr},
url = {https://www.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 - https://www.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 https://www.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, dans Modèles de l'arithmétique : Séminaire Paris VII, Astérisque, no. 73 (1980), pp. 59-117. https://www.numdam.org/item/AST_1980__73__59_0/
[A.H] , , Models without indiscernibles, Journal Symb. Logic, vol. 43 (1978), pp. 572-600. | MR | Zbl | DOI
[E.R] , , A partition calculus in set theory, Bull. Amer. Math. Soc., vol 62 (1956), pp. 427-489. | MR | Zbl | DOI
[G] , Models and types of Peano's arithmetic, Ann. Math. Logic, vol. 9 (1976), pp. 223-306. | MR | Zbl | DOI
[K] , Omitting types in set theory and arithmetic, Journal Symb. Logic, vol. 41 (1976), pp. 25-32. | MR | Zbl | DOI
[N.R] , , Partitions of finite relation and set systems, Journal Combinatorial Theory, Series A, vol. 22 (1976), pp. 289-312. | MR | Zbl | DOI
[S] , End extensions and numbers of countable models, Journal Symb. Logic, vol. 43 (1978), pp. 550-562. | MR | Zbl | DOI
[Si] , Forcing and models of arithmetic, Proc. Amer. Math. Soc., vol 43 (1974), pp. 193-194. | MR | Zbl | DOI







