Pages that link to "Item:Q1186601"
From MaRDI portal
The following pages link to Logically defined subsets of \(\mathbb{N}{}^ k\) (Q1186601):
Displaying 8 items.
- On the open problem of Ginsburg concerning semilinear sets and related problems (Q391304) (← links)
- Local testability from words to traces, a suitable definition (Q728279) (← links)
- Formulas, regular languages and Boolean circuits (Q1193413) (← links)
- Alternation Hierarchies of First Order Logic with Regular Predicates (Q2947877) (← links)
- Deciding whether a relation defined in Presburger logic can be defined in weaker logics (Q3514638) (← links)
- Model Checking FO(R) over One-Counter Processes and beyond (Q3644768) (← links)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)
- Existential Definability over the Subword Ordering (Q6178718) (← links)
