INTERPRETING A FIELD IN ITS HEISENBERG GROUP

DOI10.1017/jsl.2021.107OpenAlexW4205228190MaRDI QIDQ5100059

Rachael Alvir, Wesley Calvert, Alexandra Soskova, Grant Goodman, Rose Weisshaar, Valentina S. Harizanov, Julia F. Knight, Andrey S. Morozov, Russell G. Miller

Publication date: 29 August 2022

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2006.11805

zbMATH Keywords

parameterscomputabilityinterpretationcomputable structure theoryHeisenberg group of a field

Mathematics Subject Classification ID

Other matrix groups over fields (20H20) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Model theory of fields (12L12)

Related Items (2)

On the isomorphism problem for some classes of computable algebraic structures ⋮ Classes of algebraic structures

Cites Work

• Unnamed Item
• Unnamed Item
• Degree spectra and computable dimensions in algebraic structures
• Algorithmic reducibilities of algebraic structures
• A Borel reductibility theory for classes of countable structures
• Stability of nilpotent groups of class 2 and prime exponent
• A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS
• BOREL FUNCTORS AND INFINITARY INTERPRETATIONS
• Computable Structure Theory
• Comparing Classes of Finite Structures
• COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY

This page was built for publication: INTERPRETING A FIELD IN ITS HEISENBERG GROUP