An axiomatization for the universal theory of the Heisenberg group

DOI10.46298/JGCC.2023..12200MaRDI QIDQ6601465FDOQ6601465

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

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

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)