On regular interstices and selective types in countable arithmetically saturated models of Peano Arithmetic
Fundamenta Mathematicae, Tome 158 (1998) no. 2, pp. 125-146
Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences
We continue the earlier research of [1]. In particular, we work out a class of regular interstices and show that selective types are realized in regular interstices. We also show that, contrary to the situation above definable elements, the stabilizer of an element inside M(0) whose type is selective need not be maximal.
Affiliations des auteurs :
Teresa Bigorajska 1 ; Henryk Kotlarski 1 ; James H. Schmerl 1
@article{10_4064_fm_158_2_125_146,
author = {Teresa Bigorajska and Henryk Kotlarski and James H. Schmerl},
title = {On regular interstices and selective types in countable arithmetically saturated models of {Peano} {Arithmetic}},
journal = {Fundamenta Mathematicae},
pages = {125--146},
publisher = {mathdoc},
volume = {158},
number = {2},
year = {1998},
doi = {10.4064/fm-158-2-125-146},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-158-2-125-146/}
}
TY - JOUR AU - Teresa Bigorajska AU - Henryk Kotlarski AU - James H. Schmerl TI - On regular interstices and selective types in countable arithmetically saturated models of Peano Arithmetic JO - Fundamenta Mathematicae PY - 1998 SP - 125 EP - 146 VL - 158 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.4064/fm-158-2-125-146/ DO - 10.4064/fm-158-2-125-146 LA - en ID - 10_4064_fm_158_2_125_146 ER -
%0 Journal Article %A Teresa Bigorajska %A Henryk Kotlarski %A James H. Schmerl %T On regular interstices and selective types in countable arithmetically saturated models of Peano Arithmetic %J Fundamenta Mathematicae %D 1998 %P 125-146 %V 158 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.4064/fm-158-2-125-146/ %R 10.4064/fm-158-2-125-146 %G en %F 10_4064_fm_158_2_125_146
Teresa Bigorajska; Henryk Kotlarski; James H. Schmerl. On regular interstices and selective types in countable arithmetically saturated models of Peano Arithmetic. Fundamenta Mathematicae, Tome 158 (1998) no. 2, pp. 125-146. doi: 10.4064/fm-158-2-125-146
Cité par Sources :