|
Bi-colored expansions of geometric theories
|
10.1016/j.apal.2024.103525 |
|
|
Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence
|
10.1016/j.apal.2024.103493 |
|
|
Strong Connectedness Modulo an Ideal
|
10.1007/s41980-023-00780-w |
|
|
The additive structure of integers with the lower Wythoff sequence
|
10.1007/s00153-022-00846-2 |
|
|
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 |
|
|
On the metrizability of cone metric spaces
|
10.1016/j.topol.2010.10.016 |
|