Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > Logic
Title: The almost sure theory of finite metric spaces
(Submitted on 4 Nov 2019 (v1), last revised 12 Jan 2022 (this version, v5))
Abstract: We establish an approximate zero-one law for sentences of continuous logic over finite metric spaces of diameter at most $1$. More precisely, we axiomatize a complete metric theory $T_{\mathrm{as}}$ such that, given any sentence $\sigma$ in the language of pure metric spaces and any $\epsilon>0$, the probability that the difference of the value of $\sigma$ in a random metric space of size $n$ and the value of $\sigma$ in any model of $T_{\mathrm{as}}$ is less than $\epsilon$ approaches $1$ as $n$ approaches infinity. We also establish some model-theoretic properties of the theory $T_{\mathrm{as}}$.
Submission history
From: Alex Kruckman [view email][v1] Mon, 4 Nov 2019 14:54:08 GMT (8kb)
[v2] Thu, 13 Feb 2020 18:47:05 GMT (8kb)
[v3] Sun, 29 Mar 2020 19:18:38 GMT (9kb)
[v4] Wed, 2 Dec 2020 21:07:20 GMT (12kb)
[v5] Wed, 12 Jan 2022 00:24:22 GMT (11kb)
Link back to: arXiv, form interface, contact.