{"id":"arxiv/2602.07644","url":"https://arxiv.org/abs/2602.07644","tags":["math.LO"],"score":0,"title":"Some contributions to presheaf model theory, II -- back and forth","domain":"math.LO","source":"arxiv","authors":["Andreas Brunner","Charles Morgan","Darllan Conceição Pinto"],"reviews":0,"subject":"math.LO","summary":"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 hierarchies which calibrate similarity between two models and, more generally, between two pairs consisting of a model and a tuple from it. In this paper we define several such hierarchies for presheaf models (and tuples of sections from them): those based on the degree of extendibility of partial isomorphisms through literal back and forth conditions, on sharing specific, abstract invariants which we define (the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-07","reactions":{}}