The model theory of metric lattices: pseudofinite partition lattices

Abstract

We initiate the study of general metric lattices in the context of the model theory of metric structures. As an application we develop a theory of pseudo-finite limits of partition lattices and connect this theory with the theory of continuous limits of partition lattices due to Björner and Lovász.

56 pages. Comments welcome! v2, 60 pages. Accepted version, to appear in J. Symbolic Logic