An $\mathrm{NSOP}_{1}$ theory without the existence axiom
Logic
2024-07-19 v1
Abstract
Answering a question of Dobrowolski, Kim and Ramsey, we find an theory that does not satisfy the existence axiom.
Cite
@article{arxiv.2407.13082,
title = {An $\mathrm{NSOP}_{1}$ theory without the existence axiom},
author = {Scott Mutchnik},
journal= {arXiv preprint arXiv:2407.13082},
year = {2024}
}
Comments
12 pages