3 papers
math.LO2026
Scott-Karp analysis without sentences
Andreas Brunner, Charles Morgan, Darllan Concieção Pinto
Scott and Karp gave an analysis which provides a level-by-level equivalence between global similarity between two structures and local commonality in terms of sharing particular in…
math.LO2026
Some contributions to presheaf model theory, II -- back and forth
Andreas Brunner, Charles Morgan, Darllan Conceição Pinto
We discuss the back and forth technique in the context of presheaf model theory. The essence of the back and forth technique lies in showing the relationship between various hierar…
math.LO2026
Some contributions to presheaf model theory
Andreas Brunner, Charles Morgan, Darllan Conceição Pinto
This paper makes contributions to ``pure'' sheaf model theory, the part of model theory in which the models are sheaves over a complete Heyting algebra. We start by outlining the t…