Model-Theory of Fields: Background

“These notes are intended as a quick summary of first-order logic as used in model-theory and the model-theoretic study of fields. I originally wrote them for the algebra study group at METU in 2002, when we were looking at Chapter 6 of Fried and Jarden, Field Arithmetic (Berlin: Springer, 1986).”

The notes include a section on ultraproducts that derives the Compactness Theorem from Łoś’s Theorem. (I obtained the Polish letters in “Łoś” from an online Polish keyboard.)

The notes were a suggested reference for Math 736, 2004.

• pdf
• ps
• dvi
• tex