WingNews logo WingNews
top | item 31489736

(no title)

badtuple | 3 years ago

Since this thread is very general, I'd like to specifically request anything that'd help one dive into Model Theory. Everything I've found labeled introductory is very dense, and I feel like I'm missing some prereqs it assumes. It's not easy to know what those are though.

discuss

order

Tainnor|3 years ago

Are you familiar with a general treatment of first order logic, including the completeness theorem? If not, I suggest starting there, for which I'd recommend:

- Chiswell & Hodges, "Mathematical Logic" - This is very clear and careful and gives lots of motivations for introduced concepts, but moves somewhat slowly (introducing FOL in three stages, first propositional, then quantifier-free and then full FOL)

- Leary & Kristiansen, "A Friendly Introduction to Mathematical Logic" (available online for free) - this moves somewhat faster and skips "lower" logics such as propositional logic and uses a different proof system. If you read up to Löwenheim-Skolem, you already have a little bit of Model Theory (the rest of the book is more about computability and logic).

If you've already done FOL, I would recommend:

- Kirby, "An Invitation to Model Theory". This doesn't presuppose much more than FOL (and even recapitulates it briefly) and some basic familiarity with undergraduate math concepts (e.g. groups, fields, vector spaces) and explains everything very carefully. I also think it has great exercises.

hither_shores|3 years ago

Introductory model theory has no particular prerequisites beyond elementary set theory and logic, but it does demand a fair amount of mathematical maturity. If this is your first exposure to higher math, you're probably better off starting with another topic. Real analysis or group theory would be the traditional choices.