Year: 2025
Type: preprint
Abstract: We give an example of an SOP theory $T$, such that any $L(M)$-formula $φ(x,y)$ with $|y|=1$ is NSOP. We show that any such $T$ must have the independence property. We also give a simplified proof of Lachlan's theorem that if every $L$-formula $φ(x,y)$ with $|x|=1$ is NSOP, then $T$ is NSOP.
Source: arXiv (Cornell University)
Author: Johnson, Will
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4416534366
Cites:
Cited by:
Related to: