Talk:Saturated model

Class-size models
If T is an infinite theory (especially a non-recursive one), does it make sense to talk about class-size models of T, in NBG? The $$\models$$ relation isn't definable (you need Morse-Kelley set theory to get that, I believe). E.g. "truth in V" can't be definable in ZFC or in NBG (but it is definable in Morse Kelley set theory, iirc). I could just be confused... it's been a while since I thought about these things.67.188.231.203 17:40, July 20, 2015 (UTC)