无穷词典积
摘要：我们通过提出一种构造框架来对一阶结构的字典乘积进行广义化，以某种意义上模仿了对字典乘积进行无穷次迭代（不一定是可数次）。然后我们定义了无穷乘积中的稠密子结构，并证明了任何可数递归无穷乘积的可数递归主席结构在同构上有一个唯一的可数稠密子结构。此外，这个稠密子结构是递归的、主席的，并且在乘积中有元素嵌入。然后利用这个结果构造了一个刚性元素不可分割结构。
作者：Nadav Meir
论文ID：1702.08766
分类：Logic
分类简称：math.LO
提交时间：2023-08-09