关于一阶逻辑片段中子模型保持性质的注记
逻辑
2023-03-30 v2
摘要
本注记包含我们早期关于子模型保持与守卫片段的论文中所承诺的一些材料，以及有关这些论文中提到的问题当前状态的一些信息。第 1 节给出了一个来自 1992 年手稿的关于二元关系有限变量片段中 Los-Tarski 定理失效的早期例子，内容无实质改动。作为该例子的进一步背景，第 2 节综述了关于一阶逻辑各片段子模型保持性质的若干结果。
引用
@article{arxiv.2303.13222,
title = {A note on the submodel preservation property in fragments of first-order logic},
author = {H. Andréka and J. van Benthem and I. Németi},
journal= {arXiv preprint arXiv:2303.13222},
year = {2023}
}