activity
20242026
most citedOn the Decidability of Monadic Theories of Arithmetic Predicates

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.LO2024★ 1 cited

On the Decidability of Monadic Theories of Arithmetic Predicates

Valérie Berthé, Toghrul Karimov, Joris Nieuwveld +3

We investigate the decidability of the monadic second-order (MSO) theory of the structure , for various unary predicates $P_1,\ldots,P…