Vincent Guingona
- On uniform definability of types over finite sets
2010/05/26 by Vincent Guingona, Guingona, Vincent · 1 citation
Computer Science · Mathematics · #03C45 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO)
- Characterizing Model-Theoretic Dividing Lines via Collapse of\n Generalized Indiscernibles
2015/11/23 by Vincent Guingona, Cameron Donnay Hill, Guingona, Vincent +3 · 1 citation
Computer Science · Mathematics · #03C45 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #Constraint Satisfaction and Optimization #FOS: Mathematics #Logic (math.LO)
- On VC-density over indiscernible sequences
2011/08/12 by Vincent Guingona, Guingona, Vincent, Cameron Donnay Hill +1 · 2 citations
Mathematics · Computer Science · #Advanced Topology and Set Theory #Rings, Modules, and Algebras #Computability, Logic, AI Algorithms