Model theory of finite-by-Presburger Abelian groups and finite extensions of $p$-adic fields

Model theory of finite-by-Presburger Abelian groups and finite extensions of $p$-adic fields

We define a class of pre-ordered abelian groups that we call finite-by-Presburger groups, and prove that their theory is model-complete. We show that certain quotients of the multiplicative group of a local field of characteristic zero are finite-by-Presburger and interpret the higher residue rings...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Derakhshan, J, Macintyre, A
Formáid:	Journal article
Foilsithe / Cruthaithe:	Cornell University 2016

Míreanna comhchosúla

Enrichments of Boolean algebras by Presburger predicates
de réir: Derakhshan, J, et al.
Foilsithe / Cruthaithe: (2017)

On the decidability of the field of maximal abelian extension of p-adic numbers
de réir: Wang, C
Foilsithe / Cruthaithe: (2018)

Model completeness for Henselian fields with finite ramification valued in a $Z$-group
de réir: Derakhshan, J, et al.
Foilsithe / Cruthaithe: (2016)

Actions of finite abelian groups /
de réir: 464555 Kosniowski, Czes
Foilsithe / Cruthaithe: (1978)

On Undecidability of Finite Subsets Theory for Torsion Abelian Groups
de réir: Sergey Mikhailovich Dudakov
Foilsithe / Cruthaithe: (2022-02-01)

On Abelian group representability of finite groups
de réir: Thomas, Eldho K., et al.
Foilsithe / Cruthaithe: (2014)

The groups of points on abelian varieties over finite fields
de réir: Rybakov Sergey
Foilsithe / Cruthaithe: (2010-04-01)

On Products of Cyclic and Non-Abelian Finite p-Groups
de réir: Brendan McCann
Foilsithe / Cruthaithe: (2020-06-01)

Subgroup Separability of Certain HNN Extensions of Finitely Generated Abelian Groups
de réir: Wong, P.C.
Foilsithe / Cruthaithe: (1997)

On finite state automaton actions of HNN extensions of free abelian groups
de réir: V. Prokhorchuk
Foilsithe / Cruthaithe: (2021-06-01)

On the Capability of Finite Abelian Pairs of Groups
de réir: A. Hokmabadi, et al.
Foilsithe / Cruthaithe: (2015-08-01)

Dynamics of Endomorphism of Finite Abelian Groups
de réir: Zhao Jinxing, et al.
Foilsithe / Cruthaithe: (2017-01-01)

Factorization numbers of finite abelian groups
de réir: Mohammad Farrokhi Derakhshandeh Ghouchan
Foilsithe / Cruthaithe: (2013-06-01)

On finite A-perfect abelian groups
de réir: Mohammad Mehdi Nasrabadi, et al.
Foilsithe / Cruthaithe: (2012-09-01)

Cyclic Subgroup Separability of Certain HNN Extensions of Finitely Generated Abelian Groups
de réir: Wong, P.C., et al.
Foilsithe / Cruthaithe: (1999)

THE STRUCTURE OF FINITE ABELIAN p-GROUPS BY THE ORDER OF THEIR SCHUR MULTIPLIERS
de réir: Mohsen Parvizi, et al.
Foilsithe / Cruthaithe: (2022-03-01)

Quantifier elimination for counting extensions of Presburger arithmetic
de réir: Chistikov, D, et al.
Foilsithe / Cruthaithe: (2022)

Complementary dual abelian codes in group algebras of some finite abelian groups
de réir: Jitman Somphong
Foilsithe / Cruthaithe: (2024-01-01)

Completely normal elements in some finite abelian extensions
de réir: Koo Ja, et al.
Foilsithe / Cruthaithe: (2013-10-01)

Extensions of Presburger arithmetic and model checking one-counter automata
de réir: Lechner, A
Foilsithe / Cruthaithe: (2016)

Unique sums and differences in finite Abelian groups
de réir: Leung, Ka Hin, et al.
Foilsithe / Cruthaithe: (2022)

Subgroup intersection graph of finite abelian groups
de réir: T. Tamizh Chelvam, et al.
Foilsithe / Cruthaithe: (2012-09-01)

Some geometric aspects of finite abelian groups
de réir: Dina Ghinelli, et al.
Foilsithe / Cruthaithe: (2006-01-01)

The cubic power graph of finite abelian groups
de réir: R. Raveendra Prathap, et al.
Foilsithe / Cruthaithe: (2021-01-01)

Maximal abelian subgroups of the finite symmetric group
de réir: Janusz Konieczny
Foilsithe / Cruthaithe: (2021-09-01)

Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields
de réir: Cluckers, R, et al.
Foilsithe / Cruthaithe: (2013)

Representation theory of finite abelian groups applied to a linear diatomic crystal
de réir: J. N. Boyd, et al.
Foilsithe / Cruthaithe: (1980-01-01)

Local nearrings on finite non-abelian $2$-generated $p$-groups
de réir: I.Yu. Raievska, et al.
Foilsithe / Cruthaithe: (2020-06-01)

Abelian varieties over fields of finite characteristic
de réir: Zarhin Yuri
Foilsithe / Cruthaithe: (2014-05-01)

Beyond quantifier-free interpolation in extensions of presburger arithmetic
de réir: Brillout, A, et al.
Foilsithe / Cruthaithe: (2011)

Galois actions on non-abelian finite groups and applications
de réir: Lim, J
Foilsithe / Cruthaithe: (2017)

Arboreal representations, sectional monodromy groups, and abelian varieties over finite fields
de réir: Kadets, Borys.
Foilsithe / Cruthaithe: (2020)

Note on quasivarieties generated by finite pointed abelian groups
de réir: Basheyeva Ainur, et al.
Foilsithe / Cruthaithe: (2024-03-01)

Anomalies of non-Abelian finite groups via cobordism
de réir: Joe Davighi, et al.
Foilsithe / Cruthaithe: (2022-09-01)

Remark on subgroup intersection graph of finite abelian groups
de réir: Zhao Jinxing, et al.
Foilsithe / Cruthaithe: (2020-09-01)

Certain finite abelian groups with the Redei k-property
de réir: Sandor Szabo
Foilsithe / Cruthaithe: (2013-06-01)

Computational methods for difference families in finite abelian groups
de réir: Ðoković Dragomir Ž., et al.
Foilsithe / Cruthaithe: (2019-09-01)

The conjugacy diameters of non-abelian finite p-groups with cyclic maximal subgroups
de réir: Fawaz Aseeri, et al.
Foilsithe / Cruthaithe: (2024-03-01)

Almost ordinary abelian varieties over finite fields
de réir: Oswal, Abhishek, et al.
Foilsithe / Cruthaithe: (2022)

Finite segment p-adic number systems with applications to exact computation /
de réir: 388382 Krishnamurthy, E. V.