Skip to main content

All Questions

1 question with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
2 votes
0 answers
392 views

Geometric Theories have models in any Grothendieck Topos?

This question is linked to this one. My question is: Is it true any consistent geometric (here I mean coherent theory, different books have different standards) theory $T$ has a model in a ...
Ivan Di Liberti's user avatar