Model Theory for Infinitary Logic