Definable groups in models of Presburger arithmetic

DOI10.1016/j.apal.2020.102795zbMath1481.03025arXiv1612.09042OpenAlexW3012348615MaRDI QIDQ1987223

Alf Onshuus, Mariana Vicaría

Publication date: 14 April 2020

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1612.09042

zbMATH Keywords

amenable groupsPresburger arithmeticdefinable groups

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Classification theory, stability, and related concepts in model theory (03C45) Model theory of ordered structures; o-minimality (03C64) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (2)

Some remarks on inp-minimal and finite burden groups ⋮ Expansions of the real field by discrete subgroups of 𝐺𝑙_{𝑛}(ℂ)

Cites Work

• Unnamed Item
• On NIP and invariant measures
• Generic sets in definably compact groups
• Presburger sets and p-minimal fields
• Quasi-o-minimal structures
• Definably amenable NIP groups
• Model Theory
• Forking in VC-minimal theories
• ON FORKING AND DEFINABILITY OF TYPES IN SOME DP-MINIMAL THEORIES
• A Guide to NIP Theories
• Forking and independence in o-minimal theories
• Characterizing rosy theories
• Groups, measures, and the NIP
• Groups definable in ordered vector spaces over ordered division rings

This page was built for publication: Definable groups in models of Presburger arithmetic