2 citations · 2 across the 6 of their papers we have counts for
1 paper · 1 filter
Péter Pál Pach, Michael Pinsker, Gabriella Pluhár +2
We determine, up to the equivalence of first-order interdefinability, all structures which are first-order definable in the random partial order. It turns out that these structures…