Title: Definability and infinitely deep languages
Subjects: Infinitary languages, Symbolic and mathematical Logic