“School of Mathematics”

Back to Papers Home
Back to Papers of School of Mathematics

Paper   IPM / M / 8702
School of Mathematics
  Title:   On Keisler singular-like models
  Author(s):  Sh. Mohsenipour
  Status:   Published
  Journal: Math. Logic Quart.
  Vol.:  54
  Year:  2008
  Pages:   324-330
  Supported by:  IPM
  Abstract:
Keisler in [] proved that if κ is a strong limit cardinal and λ is a singular cardinal, then the transfer relation κ→λ holds. We analyze the λ-like models produced in the proof of Keisler's transfer theorem when κ is further assumed to be regular. Our main result shows that with this extra assumption, Keisler's proof can be modified to produce a λ-like model M with built-in Skolem functions that satisfies the following two properties:
(1) M is generated by a subset C of order-type λ.
(2) M can be written as the union of an elementary end extension chain 〈Ni:i < δ〉 such that for each i < δ, there is an initial segment Ci of C with CiNi, and Ni∩(C\Ci)=∅.


Download TeX format
back to top
scroll left or right