关于o-极小二分图中可定义匹配的注记
摘要：可定义于O-极小结构中的二部图被考虑在内，其中边关系$G$是某种保度映射的图的有限并集。我们对存在可定义匹配与短的增广路径的事实进行了建立。在额外的假设下，即$G\subseteq [0,1]^n$并且为2-正则，这便导致了存在可定义匹配，覆盖所有在一个任意小的正测度集合之外的顶点（标准部分的勒贝格测度）。作为应用结果，我们获得了一个由保度映射诱导的等价关系下的可定义子集的半群中的近似2-消去结果。
作者：Jana Mav{r}''ikov''a
论文ID：2304.14527
分类：Logic
分类简称：math.LO
提交时间：2023-05-10