Logical operations and iterated infinitely deep languages (Q799666)

We discuss an abstract notion of a logical operation and corresponding logics. It is shown that if all the logical operations considered are implicitly definable in a logic \({\mathcal L}^*\), 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 implicitly 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.