Title: Herbrand and Skolem theorems in infinitary languages
Subjects: Infinitary languages