134 citations · 234 across the 10 of their papers we have counts for
1 paper · 2 filters
Steve Awodey, Florian Rabe
It is well-known that simple type theory is complete with respect to non-standard set-valued models. Completeness for standard models only holds with respect to certain extended cl…