10 citations · 23 across the 7 of their papers we have counts for
1 paper · 1 filter
Alexis Bès
We study expansions of the Weak Monadic Second Order theory of (N,<) by cardinality relations, which are predicates R(X1,...,Xn) whose truth value depends only on the cardinality o…