134 citations · 234 across the 10 of their papers we have counts for
1 paper · 1 filter
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…