Definable combinatorics with dense linear orders

Himanshu Shukla, Arihant Jain, Amit Kuber

We compute the model-theoretic Grothendieck ring, $K_0(\mathcal{Q})$, of a dense linear order (DLO) with or without end points, $\mathcal{Q}=(Q,<)$, as a structure of the signature…