Next semester I will be teaching model theory to master students. The course is designed to be "soft", with no ambition of getting to the very hardcore stuff. Currently, this is the syllabus.

**Syllabus.** First-order languages. Theories and their models. Compactness and Completeness. Loweinheim-Skolem theorems. Back and forth and countable categoricity. (Galois) Types. Quantifier elimination (?). Saturation. Ultraproducts.

Some big classics contain these topics but shuffle them in ways that I find cumbersome. For example, *Poizat* presents the back-and-forth almost at the beginning of the book.
Other books do quantifier elimination before any form of completeness theorem for FOL.
Now, it's not like I think any of these choices are wrong, it's just not the choice I would personally find natural. So I would rather a book that, at least (and especially) for the first chapters, follows the structure of the Syllabus above.

Q.Can you recommend a reference?