Showing math.LOShow 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.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…