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