The Diophantine problem in some metabelian groups
From MaRDI portal
Publication:5113678
DOI10.1090/MCOM/3533OpenAlexW3006408918MaRDI QIDQ5113678FDOQ5113678
Alexei Myasnikov, Olga Kharlampovich, L. López
Publication date: 15 June 2020
Published in: Mathematics of Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1903.10068
Solvable groups, supersolvable groups (20F16) Algebraic geometry over groups; equations over groups (20F70)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Unsolvability of the endomorphic reducibility problem in free nilpotent groups and in free rings
- Equations in free metabelian groups
- LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS
- SOLVABILITY OF EQUATIONS IN GRAPH GROUPS IS DECIDABLE
- Theories of HNN-Extensions and Amalgamated Products
- Elementary properties of Abelian groups
- ON THE ELEMENTARY THEORY OF AN ALMOST POLYCYCLIC GROUP
- Random nilpotent groups, polycyclic presentations, and Diophantine problems
- Equations in nilpotent groups
- Equations in Free Groups
- Undecidability of existential theories of rings and fields: A survey
- Diophantine Sets over Some Rings of Algebraic Integers
- Existential and positive theories of equations in graph products
Cited In (8)
- On equations and first-order theory of one-relator monoids
- Lamplighter groups and automata
- Metabelian groups: full-rank presentations, randomness and Diophantine problems
- Equations in virtually class \(2\) nilpotent groups
- Using \textsc{edt0l} systems to solve some equations in the solvable Baumslag-Solitar groups
- EDT0L solutions to equations in group extensions
- Title not available (Why is that?)
- Quadratic equations in metabelian Baumslag–Solitar groups
This page was built for publication: The Diophantine problem in some metabelian groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5113678)
