Model-theoretic dividing lines via posets
Logic
2022-09-02 v1
Abstract
We show that for each property there is a poset such that a theory has property if and only if some model interprets a poset in which can be embedded. We also introduce a new property , consistent with and implying and .
Cite
@article{arxiv.2209.00571,
title = {Model-theoretic dividing lines via posets},
author = {Darío García and Rosario Mennuni},
journal= {arXiv preprint arXiv:2209.00571},
year = {2022}
}