A note on NSOP₁ in one variable
classification
🧮 math.LO
keywords
nsopvariableestablishformulafreenoteorderprove
read the original abstract
We prove that, in order to establish that a theory is NSOP$_{1}$, it suffices to show that no formula in a single free variable has SOP$_{1}$.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.