论代数闭包与可定义闭包的可计算性方面
逻辑
2021-03-10 v1 计算机科学中的逻辑
摘要
我们研究关于一族公式的代数闭包与可定义闭包的可计算性。我们证明，对于量词秩至多为 的可计算公式族，在任意给定的可计算结构中，相对于该公式族的代数闭包与可定义闭包均为 集。我们进一步证明这些界是紧的。
引用
@article{arxiv.2101.11849,
title = {On computable aspects of algebraic and definable closure},
author = {Nathanael Ackerman and Cameron Freer and Rehana Patel},
journal= {arXiv preprint arXiv:2101.11849},
year = {2021}
}
备注
20 pages