| We prove that the existence of a coding between two trace monoids is decidable for some families of traces monoids. |
| The aim of this article is to prove that the variety generated by the piecewise testable languages and the band languages is decidable. |
| We prove here that the finite power property is decidable for rational sets of the free group. |
| Which mathematical theory best describes real space is an empirical issue, not decidable independently of physical considerations. |
| Moreover, the geometries axiomatized in the book have consistent and decidable extensions, namely, Euclidean or hyperbolic geometry over real-closed fields. |
| A milestone open problem is to determine whether the equality of sequences generated by such automata is decidable. |
