Skip to main content
MathOverflow

Return to Answer

replaced http://www.math.uga.edu/~pete with http://alpha.math.uga.edu/~pete
Source Link
Community Bot
Community Bot
  • 1
  • 2
  • 3

One standard modern approach is to prove the Compactness Theorem using ultraproducts. I did so at the end of a short summer course on model theory: see

http://www.math.uga.edu/~pete/modeltheory2010Chapter6.pdfhttp://alpha.math.uga.edu/~pete/modeltheory2010Chapter6.pdf

One standard modern approach is to prove the Compactness Theorem using ultraproducts. I did so at the end of a short summer course on model theory: see

http://www.math.uga.edu/~pete/modeltheory2010Chapter6.pdf

One standard modern approach is to prove the Compactness Theorem using ultraproducts. I did so at the end of a short summer course on model theory: see

http://alpha.math.uga.edu/~pete/modeltheory2010Chapter6.pdf

Source Link
Pete L. Clark
Pete L. Clark
  • 65.4k
  • 12
  • 241
  • 381

One standard modern approach is to prove the Compactness Theorem using ultraproducts. I did so at the end of a short summer course on model theory: see

http://www.math.uga.edu/~pete/modeltheory2010Chapter6.pdf