Currently displaying 1 – 4 of 4

Showing per page

Order by Relevance | Title | Year of publication

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

Teresa BigorajskaHenryk KotlarskiJames Schmerl — 1998

Fundamenta Mathematicae

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.

Page 1

Download Results (CSV)