摘要:代数闭包的可能性 定义闭包和代数闭包在一阶结构中的区别 随着可定义集合和给定的公式集的基数限制而变化的闭包的变体 引入和描述这些可能性和差异的特征 对一些自然类别的理论进行研究 引入和研究与公式集相关的代数闭包算子 引入这些算子家族的半格和格,并描述这些结构的特征
作者:Sergey V. Sudoplatov
论文ID:2307.12536
分类:Logic
分类简称:math.LO
提交时间:2023-07-25
PDF 下载: 英文版 中文版pdf翻译中