arXiv Open Access 2018

A note on NSOP$_{1}$ in one variable

Nicholas Ramsey

Lihat Sumber

Abstrak

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

math.LO

Nicholas Ramsey

APA MLA BibTeX

Ramsey, N. (2018). A note on NSOP$_{1}$ in one variable. https://arxiv.org/abs/1803.00433

Lihat di Sumber

Informasi Jurnal