Infinitary Languages N∞λ and Generalized Partial Isomorphisms
In  Hintikka and Rantala define a new hierarchy of infinitary languages (the so-called N ∞λ. In our paper we consider the relationship between these languages and some generalized partial isomorphisms. With these generalizations we can give an algebraic characterization to the elementary equivalence of N∞λ.
KeywordsFree Variable Atomic Formula Predicate Symbol Winning Strategy Regular Cardinal
Unable to display preview. Download preview PDF.
- Dickmann, M. A., Large Infinitary Languages, North-Holland, Amsterdam, 1975.Google Scholar
- Drake, F. R., Set Theory. An Introduction to Large Cardinals, North-Holland, Amsterdam, 1973.Google Scholar
- Keisler, H. J., ‘Formulas with linearly ordered quantifiers’, in The Syntax and Semantics of Infinitary Languages, ed. by J. Barwise, Lecture Notes in Mathematics 72, Springer, Berlin, 1968, pp. 96–130.Google Scholar