加载中…
2018-03-01
A note on NSOP in one variable
Nicholas Ramsey
文献摘要
We prove that, in order to establish that a theory is NSOP, it suffices to show that no formula in a single free variable has SOP.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本
We prove that, in order to establish that a theory is NSOP, it suffices to show that no formula in a single free variable has SOP.
生成讲解博客的中文版本
生成AI智能校验的中文版本