13 citations · 19 across the 19 of their papers we have counts for
1 paper · 1 filter
Misha Gavrilovich
A definable type of a first-order theory is the same as a section (retraction) of the simplicial path space (decalage) of its space of types viewed as a simplicial topological spac…