15 citations · 43 across the 16 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
math.LO2025
Positive Logic: An Introduction for Model Theorists
Mark Kamsma
Positive logic is a generalisation of full first-order logic that does not have negation built in. Still, many model-theoretic ideas, tools and techniques work perfectly fine in po…
math.CT2025
Cofibrant generation of pure monomorphisms in presheaf categories
Sean Cox, Jonathan Feigert, Mark Kamsma +2
We characterise when the pure monomorphisms in a presheaf category are cofibrantly generated in terms of the category . In particular, when…