关于子模型与扩张模型中满足可表达性的进一步讨论
逻辑
2026-05-05 v1
摘要
我们研究了无限语言中子模型和扩张模型中句子在满足意义下的模态算子可表达性。我们给出了一个关于有限谓词语言中可表达性的语法判据，展示在许多情况下无限语言对子模型相关算子是封闭的，并且在任何纯单谓词签名的语言中都如此。最终，我们证明在有限或强紧致语言中，扩张相关算子虽然可能无法通过单个句子可表达，但总是可以通过普遍理论可表达，这与子模型情况形成鲜明的对比。
引用
@article{arxiv.2605.02725,
title = {More on expressibility of satisfiability in submodels and extensions},
author = {Nikolai L. Poliakov and Denis I. Saveliev},
journal= {arXiv preprint arXiv:2605.02725},
year = {2026}
}