一阶逻辑的一个可定义性定理
逻辑
2016-09-07 v1
摘要
对于任意一阶理论 T，我们构造一个布尔值模型 M，其中恰有 T-可证公式成立，且其中每个在 M 的所有自同构下不变的（布尔值）子集都由一阶公式可定义。我们的表述完全自包含，仅需熟悉模型论的最基本性质。
引用
@article{arxiv.math/9706206,
title = {A definability theorem for first order logic},
author = {Carsten Butz and Ieke Moerdijk},
journal= {arXiv preprint arXiv:math/9706206},
year = {2016}
}