Logical operations and iterated infinitely deep languages (original) (raw)

We discuss an abstract notion of a logical operation and corresponding logics. It is shown that if all the logical operations considered are implieitely definable in a logic £f*, then the same holds also for the logic obtained from these operations. As an application we show that certain iterated forms of infinitely deep languages are implicitely definable in game quantifier languages. We consider also relations between structures and show that Karttunen's characterization of elementary equivalence for the ordinary infinitely deep languages can be generalized to hold for the iterated infinitely deep languages. An early version of this work was presented in the Abstracts Section of ICM '78.