56 citations · 322 across the 35 of their papers we have counts for
1 paper · 2 filters
Salvatore Tringali
We introduce the concept of a prenormed model of a particular kind of finitary single-sorted first-order theories, interpreted over a category with finite products. These are refer…