Classification conjecture for homogeneous finite-dimensional permutation structures

Let Λ\Lambda be a lattice, and let a homogeneous finite-dimensional permutation structure mean a homogeneous structure presented by finitely many linear orders, with its lattice of \emptyset-definable equivalence relations isomorphic to Λ\Lambda. Let a well-equipped lift be the class construction described in the source, and let Λ\Lambda-ultrametric spaces be finite structures equipped with the corresponding lattice-valued ultrametric.

Classification conjecture. Every homogeneous finite-dimensional permutation structure with lattice of \emptyset-definable equivalence relations isomorphic to Λ\Lambda is interdefinable with the Fraïssé limit of some well-equipped lift of the class of all finite Λ\Lambda-ultrametric spaces.

This is the thesis's proposed classification of all homogeneous finite-dimensional permutation structures; the source gives no resolution of the conjecture.

Sources & referencesView supporting material

Primary source

Samuel Braunfeld, “Infinite Limits of Finite-Dimensional Permutation Structures, and their Automorphism Groups: Between Model Theory and Combinatorics”, arXiv:1805.04219 (2018).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.