An axiomatization for the universal theory of the Heisenberg group

<a class="pub-badge pub-badge--doi" href="https://doi.org/10.46298/JGCC.2023..12200" rel="nofollow">DOI 10.46298/JGCC.2023..12200</a><a class="pub-badge pub-badge--mardi" href="https://portal.mardi4nfdi.de/wiki/Item:Q6601465" rel="nofollow">MaRDI QID Q6601465</a><a class="pub-badge pub-badge--grey" href="https://fdo.portal.mardi4nfdi.de/fdo/Q6601465" rel="nofollow">FDO</a>

Authors Anthony Gaglione, Dennis Spellman

Publication date 10 September 2024

Published in Journal of Groups, Complexity, Cryptology (Search for Journal in Brave)

zbMATH Keywords

diagramquasi-identityLamé propertylocally residually-\(\mathbb{Z}\)noncentral commutative transitivity

Mathematics Subject Classification ID

Statistical mechanics, structure of matter (82-XX) Group theory and generalizations (20-XX)

Cites work

• scientific article; zbMATH DE number 3286895 (Why is no real title available?)
• scientific article; zbMATH DE number 3396154 (Why is no real title available?)
• A Note on the Implicational Class Generated by a Class of Structures
• Every two elementarily equivalent models have isomorphic ultrapowers
• On a correspondence between rings and groups
• On algebraic sets over metabelian groups
• Some model theory of the Heisenberg group: I. Unitriangular representations of models of a subtheory of its universal theory
• The elementary theory of groups. A guide through the proofs of the Tarski conjectures.
• The persistence of universal formulae in free algebras

This page was built for publication: An axiomatization for the universal theory of the Heisenberg group

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6601465)