如果它们是不可数的，理性乌里索恩空间和随机图会是什么样子？
摘要：从Avraham，Rubin和Shelah的工作出发，我们旨在为由有限子模型构建的不可数模型构建Fra"iss''e理论的变体。为实现此目的，我们将递增的实数集的概念推广到其他结构中。作为应用，我们证明了以下一致性：存在一个不可数，可分的度量空间$X$，其距离为有理数，使得每个从$X$到$X$的不可数偏函数都是一个非数连续子集上的等距映射。我们旨在建立具有这种特性的结构的一般理论。这包括关于自同构群和部分分类结果的研究。
作者：Ziemowit Kostana
论文ID：2102.05590
分类：Logic
分类简称：math.LO
提交时间：2023-07-18