A note on NSOP₁ in one variable

DOI10.1017/JSL.2018.83MaRDI QIDQ4628688zbMATH OpenOpenAlexFDO

Authors Nicholas Ramsey

Publication date 15 March 2019

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1803.00433

zbMATH Keywords

\(\mathrm{NSOP}_1\)neostability

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45)

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$.

Recommendations

• More on \(\mathrm{SOP}_1\) and \(\mathrm{SOP}_2\)
• On constants and the strict order property
• On \(\vartriangleleft^{*}\)-maximality.
• On model-theoretic tree properties
• Stability, the NIP, and the NSOP: model theoretic properties of formulas via topological properties of function spaces

Cites work

• A remark on the strict order property
• On \(\vartriangleleft^{*}\)-maximality.
• On model-theoretic tree properties
• Theories without the tree property of the second kind

Cited in

(5)

• On \(\vartriangleleft^{*}\)-maximality.
• Dividing lines in unstable theories and subclasses of Baire 1 functions
• The characteristic sequence of a first-order formula
• On the antichain tree property
• Generic multiplicative endomorphism of a field

This page was built for publication: A note on \(\mathrm{NSOP}_1\) in one variable

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4628688)