okay someone should teach me model theory. i feel like im like. missing all the basic intuitions.
Conversation
Replying to
i know a little bit (compactness, completeness, los's theorem, lowenheim-skolem) but not the cool stuff (omitting types or saturated models or whatever). can you ask a more specific question?
Replying to
uhh i dont rly have a specific question. im grading for a course and im just like. well mostly trying to remember all the basics, cuz it's been a while since i took it, but also just remembering that i never really felt like i "got the point" of a lot of this.
2
6
"the point" is, as with all forms of algebra, taking a butterfly (logic) and pulling its wings off (classification theorems)
3
2
9
Show replies