Abstract
AbstractWe introduce a notion of the space of types in positive model theory based on Stone duality for distributive lattices. We show that this space closely mirrors the Stone space of types in the full first-order model theory with negation (Tarskian model theory). We use this to generalise some classical results on countable models from the Tarskian setting to positive model theory.
Publisher
Cambridge University Press (CUP)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Amalgamation Property for automorphisms of ordered abelian groups;Transactions of the American Mathematical Society;2024-07-29
2. Almost Existentially Closed Models in Positive Logic;International Journal of Mathematics and Mathematical Sciences;2024-04-16
3. On duality and model theory for polyadic spaces;Annals of Pure and Applied Logic;2024-02
4. Bilinear spaces over a fixed field are simple unstable;Annals of Pure and Applied Logic;2023-06
5. Kim-independence in positive logic;Model Theory;2022-06-24