| Bi-colored expansions of geometric theories |
10.1016/j.apal.2024.103525 |
|
Journal |
| Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence |
10.1016/j.apal.2024.103493 |
|
Journal |
| Strong Connectedness Modulo an Ideal |
10.1007/s41980-023-00780-w |
|
Journal |
| The additive structure of integers with the lower Wythoff sequence |
10.1007/s00153-022-00846-2 |
|
Journal |
| The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two |
10.1007/s00153-015-0446-7 |
|
Journal |
| On the metrizability of cone metric spaces |
10.1016/j.topol.2010.10.016 |
|
Journal |