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
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…