arXiv Open Access 2025

A note on one-variable theorems for NSOP

Will Johnson

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

math.LO

Penulis (1)

Will Johnson

Format Sitasi

APA MLA BibTeX

Johnson, W. (2025). A note on one-variable theorems for NSOP. https://arxiv.org/abs/2504.12746

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2025
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓