Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1390

Preprint Number 1390

Previous Next Preprint server

1390. Nicholas Ramsey
A note on NSOP_1 in one variable

Submission date: 1 March 2018


We prove that it suffices to show that no formula in a single free variable has SOP_1 to establish that theory is NSOP_1.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1803.00433: pdf, ps.

Last updated: March 23 2021 10:20 Please send your corrections to: