Groups definable in Presburger arithmetic
Logic
2021-12-06 v3
Authors:
Juan Pablo Acosta López
Abstract
We determine all groups definable in Presburger arithmetic, up to a finite index subgroup.
Keywords
Cite
@article{arxiv.1904.00321,
title = {Groups definable in Presburger arithmetic},
author = {Juan Pablo Acosta López},
journal= {arXiv preprint arXiv:1904.00321},
year = {2021}
}
Related papers
View all related →
Logic · Mathematics
Definable groups in models of Presburger Arithmetic and G^{00}
Alf Onshuus, Mariana Vicaría
2018-11-13
Logic · Mathematics
Definable sets up to definable bijections in Presburger groups
Raf Cluckers, Immanuel Halupczok
2018-01-17
Logic · Mathematics
One dimensional groups definable in the p-adic numbers
Juan Pablo Acosta López
2023-06-22
Logic · Mathematics
Rigid models of Presburger arithmetic
Emil Jeřábek
2019-05-21
Group Theory · Mathematics
Schreier's formula for Prosupersolvable groups
Mark Shusterman
2016-09-12
Group Theory · Mathematics
An arithmetic method of counting the subgroups of a finite abelian group
Marius Tărnăuceanu
2018-06-01
Logic · Mathematics
One dimensional commutative groups definable in algebraically closed valued fields and in the pseudo-local fields
Juan Pablo Acosta, Martin Hils
2025-03-04
Group Theory · Mathematics
On accessibility for pro-$p$ groups
Gareth Wilkes
2018-11-07
Group Theory · Mathematics
Arithmetic Sets in Groups
Azer Akhmedov, Damiano Fulghesu
2014-12-02
Group Theory · Mathematics
Infinite groups from the profinite point of view
Holger Kammeyer, Steffen Kionke
2025-06-11
Logic · Mathematics
Pro-definability of spaces of definable types
Pablo Cubides Kovacsics, Jinhe Ye
2022-08-09
Group Theory · Mathematics
Finite groups whose real irreducible representations have unique dimensions
Thomas Breuer, Frank Calegari, Silvio Dolfi, Gabriel Navarro +1
2025-05-08
Mathematical Physics · Physics
Group Classification of Burgers' Equations
Igor Leite Freire
2008-04-21
Group Theory · Mathematics
Finite subgroups of arithmetic lattices in U(2,1)
D. B. McReynolds
2009-01-26
Number Theory · Mathematics
Integer group determinants for small groups
Christopher Pinner, Christopher Smyth
2018-06-04
Group Theory · Mathematics
Finite subgroups of simple algebraic groups with irreducible centralizers
Martin W. Liebeck, Adam R. Thomas
2016-06-10
Logic · Mathematics
Model theory of finite-by-Presburger Abelian groups and finite extensions of $p$-adic fields
Jamshid Derakhshan, Angus Macintyre
2016-03-30
Operator Algebras · Mathematics
A classification of all finite index subfactors for a class of group-measure space II_1 factors
Steven Deprez, Stefaan Vaes
2011-11-29
Logic · Mathematics
Interpretable groups are definable
Janak Ramakrishnan, Ya'acov Peterzil, Pantelis Eleftheriou
2011-11-01
Representation Theory · Mathematics
Precuspidal families and indexing of Weyl group representations
G. Lusztig
2023-11-02
Group Theory · Mathematics
Groups of units of integral group rings commensurable with direct products of free-by-free groups
Eric Jespers, Antonio Pita, Angel del Rio, Manuel Ruiz +1
2007-05-23
Group Theory · Mathematics
Finite index subgroups in Chevalley groups are bounded: an addendum to "On bi-invariant word metrics"
Światosław R. Gal, Jarek Kędra, Alexander A. Trost
2019-07-16
Group Theory · Mathematics
Calculating Subgroups with GAP
Alexander Hulpke
2020-12-04
Group Theory · Mathematics
Computing in unipotent and reductive algebraic groups
Arjeh M. Cohen, Sergei Haller, Scott H. Murray
2007-05-23
Group Theory · Mathematics
Computability of finite quotients of finitely generated groups
Emmanuel Rauzy
2021-10-27