Model Theory, Third Edition (Studies in Logic and the Foundations of Mathematics)