13 citations · 19 across the 19 of their papers we have counts for
1 paper · 2 filters
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…