A note on NSOP$_{1}$ in one variable
Logic
2018-11-28 v3
Abstract
We prove that, in order to establish that a theory is NSOP, it suffices to show that no formula in a single free variable has SOP.
Cite
@article{arxiv.1803.00433,
title = {A note on NSOP$_{1}$ in one variable},
author = {Nicholas Ramsey},
journal= {arXiv preprint arXiv:1803.00433},
year = {2018}
}