2 citations · 3 across the 5 of their papers we have counts for
1 paper · 1 filter
Matthias Hutzler
We regard a geometric theory classified by a topos as a syntactic presentation for the topos and develop tools for finding such presentations. Extensions of geometric theories, whi…