Measures on partial orders

Abstract

We determine the measures (in the sense of Harman--Snowden) on the Fraïssé class of partially ordered sets: the space of measures is a union of a plane, eight lines, and 15 isolated points. This is the first case where the space is not equidimensional, and the first primitive case in which it has dimension at least two. ChatGPT was used to obtain many arguments. The writing was done entirely by the author.