15 citations · 43 across the 16 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.LO2020★ 1 cited
Type space functors and interpretations in positive logic
Mark Kamsma
We construct a 2-equivalence . Here is the 2-category of positive theories and $\mathfrak{Typ…
math.LO2020★ 8 cited
The Kim-Pillay theorem for Abstract Elementary Categories
Mark Kamsma
We introduce the framework of AECats (abstract elementary categories), generalising both the category of models of some first-order theory and the category of subsets of models. An…