O struktuře modelů omezené -indukce
On elementary cuts in recursively saturated models of Peano Arithmetic
On External Properties of Nonstandard Models of Arithmetic
On regular interstices and selective types in countable arithmetically saturated models of Peano Arithmetic
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.
On Sigma10-extensions of Omega
On some problems in
On the adjunction of any semiset to the system of -classes in AST
On the strength of several versions of Dirichlet's ("Pigeon-Hole"-) principle in the sense of first-order logic.
On -extensions of .
Ordered ultraconnected rings
Order-types of models of arithmetic and a connection with arithmetic saturation.