All Questions
1 question
13
votes
1
answer
1k
views
Model existence theorem in topos theory
One of most classical and somehow striking result in classical model theory states:
A consistent first order theory $T$ has a model.
Few considerations are needed.
This result is not true for ...
- 9,111