Positive model theory of interpretations
Category Theory
2022-11-29 v1
Abstract
We prove analogues of model theory results for coherent functors, including variants of the omitting types theorem and some results on ultraproduct constructions. We introduce a distributive lattice valued invariant of coherent functors that vanishes precisely on positively closed models, then we study its functorial properties.
Cite
@article{arxiv.2211.14600,
title = {Positive model theory of interpretations},
author = {Kristóf Kanalas},
journal= {arXiv preprint arXiv:2211.14600},
year = {2022}
}