This is a preview. Log in through your library . Abstract In recent papers, B. Šapirovskiĭ, R. Pol, and R. E. Hodel have used a transfinite construction technique of Šapirovskiĭ to provide a unified ...

Let $\scr{L}$ be a first-order language of cardinality κ⁺⁺ with a distinguished unary predicate symbol U. In this paper we prove, working on L, the two cardinal transfer theorem (κ⁺, κ) ⇒ (κ⁺⁺,κ⁺) for ...