|
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
|
|