“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
Paper IPM / M / 17090 | ||||||||||||
|
||||||||||||
Abstract: | ||||||||||||
In this paper we will show that for every cut I of any countable nonstandard model \M of \IΣ1, each I-small Σ1-elementary submodel of \M is of the form of the set of fixed points of some proper initial self-embedding of \M iff I is a strong cut of \M. Especially, this feature will provide us with some equivalent conditions with the strongness of the standard cut in a given countable model \M of \IΣ1. In addition, we will find some criteria for extendability of initial self-embeddings of countable nonstandard models of \IΣ1 to larger models.
Download TeX format |
||||||||||||
back to top |