Classification conjecture for homogeneous finite-dimensional permutation structures
Classification conjecture for homogeneous finite-dimensional permutation structures
Let 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 -definable equivalence relations isomorphic to . Let a well-equipped lift be the class construction described in the source, and let -ultrametric spaces be finite structures equipped with the corresponding lattice-valued ultrametric.
Classification conjecture. Every homogeneous finite-dimensional permutation structure with lattice of -definable equivalence relations isomorphic to is interdefinable with the Fraïssé limit of some well-equipped lift of the class of all finite -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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.