What would the rational Urysohn space and the random graph look like if they were uncountable?

2021/02/10 by Kostana, Ziemowit
#06A05 03C25 03C55 03E35 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2102.05590

Abstract

Building on the work of Avraham, Rubin, and Shelah, we aim to build a variant of the Fraïssé theory for uncountable models built from finite submodels. With this aim, we generalize the notion of an increasing set of reals to other structures. As an application, we prove that the following is consistent: there exists an uncountable, separable metric space X with rational distances, such that every uncountable partial 1-1 function from X to X is an isometry on an uncountable subset. We aim for a general theory of structures with this kind of properties. This includes results about the automorphism groups, and partial classification results.

Related

• Cohen-like first order structures
• A rigid Urysohn-like metric space
• Combinatorial Properties of Finite Models
• Uncountable homogeneous structures
• Dense locally finite subgroups of Automorphism Groups of Ultraextensive Spaces