15 citations · 43 across the 16 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
math.CT2024
Lifting independence along functors
Mark Kamsma, Jiří Rosický
Given a functor and a model-theoretic independence relation on , we can lift that independence relation along to by…
math.CT2024
Existentially closed models and locally zero-dimensional toposes
Mark Kamsma, Joshua Wrigley
The notion of an existentially closed model is generalised to a property of geometric morphisms between toposes. We show that important properties of existentially closed models ex…
math.LO2024
Corrigendum to "Kim-independence in positive logic"
Jan Dobrowolski, Mark Kamsma
The proof of the Independence Theorem for Kim-independence in positive thick NSOP theories from (Dobrowolski and Kamsma, 2022) contains a gap. The theorem is still true, and in…