Αποστολή με SMS: Model theory for infinitary logic :