A generalization of the Keisler‐Morley theorem to recursively saturated ordered structures |
| |
| Authors: | Shahram Mohsenipour |
| |
| Affiliation: | Institute for Studies in Theoretical Physics and Mathematics, P.O. Box 19395‐5746, Tehran, Iran |
| |
| Abstract: | We prove a model theoretic generalization of an extension of the Keisler‐Morley theorem for countable recursively saturated models of theories having a κ ‐like model, where κ is an inaccessible cardinal. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) |
| |
| Keywords: | Models of set theory elementary end extension recursively saturated model power‐like model |
|
|
