Pages that link to "Item:Q3514638"

The following pages link to Deciding whether a relation defined in Presburger logic can be defined in weaker logics (Q3514638):

Displaying 2 items.

• On the open problem of Ginsburg concerning semilinear sets and related problems (Q391304) (← links)
• \(\langle\mathbb{R},+,<,1\rangle\) is decidable in \(\langle \mathbb{R},+,<,\mathbb{Z}\rangle\) (Q782563) (← links)