4 citations · 10 across the 10 of their papers we have counts for
1 paper · 1 filter
Marie Fortin
We show that over the class of linear orders with additional binary relations satisfying some monotonicity conditions, monadic first-order logic has the three-variable property. Th…