Abstract
The results of the present paper were announced in [1]. The work is divided into our parts. In the first part we define relations (relations between relational struc tures) and we show their connection with the equivalence of the languages LΚ,λ (Theorem 1). The relations generalize the games Gn (n < ω) of Ehrenfeucht (see [2]) and the conditions (i)–(ii) which were used by Karp in [5].
Publisher
Cambridge University Press (CUP)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Ehrenfeucht-Fraïssé game for Lω1ω;Mathematical Logic Quarterly;2013-08
2. References;Model Theory;1990
3. Primitive rings are not definable in l∞∞;Communications in Algebra;1982-01
4. Modeloids. I;Transactions of the American Mathematical Society;1979
5. L ∞λ -Equivalence, Isomorphism and Potential Isomorphism;Transactions of the American Mathematical Society;1978-02