15 citations · 43 across the 16 of their papers we have counts for
4 papers · 1 filter
Classifying toposes for non-geometric theories
Mark Kamsma
The classifying topos of a geometric theory is a topos such that geometric morphisms into it correspond to models of that theory. We study classifying toposes for different infinit…
Unstable independence from the categorical point of view
Mark Kamsma, Jiří Rosický
We give a category-theoretic construction of simple and NSOP-like independence relations in locally finitely presentable categories, and in the more general locally finitely mu…
Positive indiscernibles
Mark Kamsma
We generalise various theorems for finding indiscernible trees and arrays to positive logic: based on an existing modelling theorem for s-trees, we prove modelling theorems for str…
Dividing Lines between Positive Theories
Anna Dmitrieva, Francesco Gallinaro, Mark Kamsma
We give definitions of the properties OP, IP, -TP, TP, -TP, SOP, SOP and SOP in positive logic, and prove various implications and equivalences between th…