search

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook
http://openlogicproject.org/
Creative Commons Attribution 4.0 International
1.06k stars 238 forks source link

Part on "Model Theory" #65

Open rzach opened 8 years ago

rzach commented 8 years ago

The part on model theory has very nice proofs of interpolation/definability and Lindström's theorem, but the earlier sections on basics of model theory have to be expanded significantly, both in terms of coverage and in terms of the presentation of what's already there: much more explanation and motivation.

aarana commented 8 years ago

I am teaching a yearlong master-level sequence in model theory this year ; thus I am teaching the basics as well. I am happy to handle the model theory section, therefore.