nilpotent Lie 代数的二排序理论
逻辑
2025-07-18 v2
摘要
我们证明了 -nilpotent Lie 代数在满足给定理论的域上的二排序理论的模型伴随器的存在。我们描述了一种语言，使其在域排序上具有相对量子消除。我们提出一种新型判据，不依赖于 stationary independence 关系，证明若域为 NSOP，则模型伴随器为 NSOP。我们也证明若域为代数闭域，则模型伴随器为 -NIP。
引用
@article{arxiv.2407.12452,
title = {A two-sorted theory of nilpotent Lie algebras},
author = {Christian d'Elbée and Isabel Müller and Nicholas Ramsey and Daoud Siniora},
journal= {arXiv preprint arXiv:2407.12452},
year = {2025}
}