On regular interstices and selective types in countable arithmetically saturated models of Peano Arithmetic

被引:0
|
作者
Bigorajska, T
Kotlarski, H
Schmerl, JH
机构
[1] Agr & Pedagog Univ, Inst Math, PL-08110 Siedlce, Poland
[2] Univ Connecticut, Dept Math, Storrs, CT 06269 USA
关键词
D O I
暂无
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
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.
引用
收藏
页码:125 / 146
页数:22
相关论文
共 13 条