可数结构的 Scott 复杂度导论及近期结果综述
逻辑
2020-11-10 v1
摘要
每个可数结构都有一个无穷逻辑 的句子，该句子在可数结构中以此结构在同构意义下刻画该结构。这样的句子称为 Scott 句子，可视为对该结构的描述。一个结构的 Scott 句子的最小复杂度可视为描述该结构复杂度的度量。我们以该领域的导论开篇，在可能处给出简短而简单的证明，随后综述近期进展。
引用
@article{arxiv.2011.03923,
title = {An introduction to the Scott complexity of countable structures and a survey of recent results},
author = {Matthew Harrison-Trainor},
journal= {arXiv preprint arXiv:2011.03923},
year = {2020}
}