The almost sure theory of finite metric spaces

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_{m a t h r m a s}

such that, given any sentence

s i g m a

in the language of pure metric spaces and any

e p s i l o n > 0

, the probability that the difference of the value of

s i g m a

in a random metric space of size

n

and the value of

s i g m a

in any model of

T_{m a t h r m a s}

is less than

e p s i l o n

approaches

1

as

n

approaches infinity. We also establish some model-theoretic properties of the theory

T_{m a t h r m a s}

.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: The almost sure theory of finite metric spaces