Back-and-forth arguments and infinitary logics.- Consistency properties for finite quantifier languages.- Chain models: Applications of consistency properties and back-and-forth techniques in infinite-quantifier languages.- On a finiteness condition for infinitary languages.
