一阶方案的判定性质
逻辑
2025-12-01 v1
摘要
本文旨在建立一个便于研究方案判定现象的正式框架，如 V"a"an"anen 等人所研究的内部判定性。为此，我们引入 判定的概念，从而细化和扩展了文献中各种一阶判定概念（内部判定、强内部判定、容忍）下的概念格。我们为本定义的鲁棒性提供论证，并给出区分不同判定性和完备性类似概念的方案示例。最后，我们简要概述了两个标准基础方案——归纳方案和取代方案——的判定性问题。
引用
@article{arxiv.2511.21954,
title = {Definiteness properties of first-order schemes},
author = {Piotr Gruza and Mateusz Łełyk},
journal= {arXiv preprint arXiv:2511.21954},
year = {2025}
}