Reduced products and nonstandard logics
- 17 November 1969
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 34 (3) , 424-436
- https://doi.org/10.2307/2270907
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].Keywords
This publication has 7 references indexed in Scilit:
- Languages with Expressions of Infinite Length.The American Mathematical Monthly, 1966
- Ultraproducts and Saturated ModelsIndagationes Mathematicae, 1964
- Reduced direct productsFundamenta Mathematicae, 1962
- Ultraproducts in the Theory of ModelsAnnals of Mathematics, 1961
- Ultraproducts and elementary classesIndagationes Mathematicae, 1961
- An application of games to the completeness problem for formalized theoriesFundamenta Mathematicae, 1960
- The first order properties of products of algebraic systemsFundamenta Mathematicae, 1959