|国家预印本平台
首页|A note on one-variable theorems for NSOP

A note on one-variable theorems for NSOP

A note on one-variable theorems for NSOP

来源:Arxiv_logoArxiv
英文摘要

We give an example of an SOP theory $T$, such that any $L(M)$-formula $\varphi(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 $\varphi(x,y)$ with $|x|=1$ is NSOP, then $T$ is NSOP.

Will Johnson

数学

Will Johnson.A note on one-variable theorems for NSOP[EB/OL].(2025-04-17)[2025-04-26].https://arxiv.org/abs/2504.12746.点此复制

评论