- Tytuł:
- On regular interstices and selective types in countable arithmetically saturated models of Peano Arithmetic
- Autorzy:
-
Bigorajska, Teresa
Kotlarski, Henryk
Schmerl, James - Powiązania:
- https://bibliotekanauki.pl/articles/1205291.pdf
- Data publikacji:
- 1998
- Wydawca:
- Polska Akademia Nauk. Instytut Matematyczny PAN
- Opis:
- 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.
- Źródło:
-
Fundamenta Mathematicae; 1998, 158, 2; 125-146
0016-2736 - Pojawia się w:
- Fundamenta Mathematicae
- Dostawca treści:
- Biblioteka Nauki
Artykuł