7 citations · 35 across the 21 of their papers we have counts for
Showing 2016 · math.LOShow all
2 papers · 2 filters
math.LO2016
Definable groups in models of Presburger Arithmetic and G^{00}
Alf Onshuus, Mariana Vicaría
This paper is devoted to understand groups definable in Presburger arithmetic. We prove the following theorems: Theorem 1. Every group definable in a model of Presburger Arithmetic…
math.LO2016★ 7 cited
Stabilizers, groups with f-generics in NTP2 and PRC fields
Samaria Montenegro, Alf Onshuus, Pierre Simon
In this paper we develop three different subjects. We study and prove alternative versions of Hrushovski's "Stabilizer Theorem", we generalize part of the basic theory of definably…