Pages that link to "Item:Q1987223"
From MaRDI portal
The following pages link to Definable groups in models of Presburger arithmetic (Q1987223):
Displaying 12 items.
- Parametric groups of definable automorphisms of strongly constructive models (Q546226) (← links)
- Some remarks on inp-minimal and finite burden groups (Q1734255) (← links)
- Interpretable groups are definable (Q2878779) (← links)
- A Characterisation of the Relations Definable in Presburger Arithmetic (Q3502652) (← links)
- (Q4355920) (← links)
- Presburger sets and p-minimal fields (Q4457729) (← links)
- THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC (Q4638984) (← links)
- Definable sets up to definable bijections in Presburger groups (Q4642703) (← links)
- Rigid models of Presburger arithmetic (Q5108850) (← links)
- Expansions of the real field by discrete subgroups of 𝐺𝑙_{𝑛}(ℂ) (Q5856979) (← links)
- On groups interpretable in various valued fields (Q6565769) (← links)
- On the first order theory of plactic monoids (Q6651830) (← links)
