The almost sure theory of finite metric spaces
The almost sure theory of finite metric spaces
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 …