Stav dette: Model theory of infinitary logic :