Interpreting a Field in its Heisenberg Group

Journal of Symbolic Logic 87 (3):1215-1230 (2022)
  Copy   BIBTEX


We improve on and generalize a 1960 result of Maltsev. For a field F, we denote by $H(F)$ the Heisenberg group with entries in F. Maltsev showed that there is a copy of F defined in $H(F)$, using existential formulas with an arbitrary non-commuting pair of elements as parameters. We show that F is interpreted in $H(F)$ using computable $\Sigma _1$ formulas with no parameters. We give two proofs. The first is an existence proof, relying on a result of Harrison-Trainor, Melnikov, R. Miller, and Montalbán. This proof allows the possibility that the elements of F are represented by tuples in $H(F)$ of no fixed arity. The second proof is direct, giving explicit finitary existential formulas that define the interpretation, with elements of F represented by triples in $H(F)$. Looking at what was used to arrive at this parameter-free interpretation of F in $H(F)$, we give general conditions sufficient to eliminate parameters from interpretations.



    Upload a copy of this work     Papers currently archived: 92,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Locality in the Everett Interpretation of Quantum Field Theory.Mark A. Rubin - 2002 - Foundations of Physics 32 (10):1495-1523.
On the second order derivatives of convex functions on the Heisenberg group.Cristian E. Gutiérrez & Annamaria Montanari - 2004 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 3 (2):349-366.
Sequences of n-diagrams.Valentina S. Harizanov, Julia F. Knight & Andrei S. Morozov - 2002 - Journal of Symbolic Logic 67 (3):1227-1247.
Sequences of $n$-diagrams.Valentina Harizanov, Julia Knight & Andrei Morozov - 2002 - Journal of Symbolic Logic 67 (3):1227-1247.
Rectifiability and parameterization of intrinsic regular surfaces in the Heisenberg group.Bernd Kirchheim & Francesco Serra Cassano - 2004 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 3 (4):871-896.
Heisenberg Meets Kuhn: Closed Theories and Paradigms.Alisa Bokulich - 2006 - Philosophy of Science 73 (1):90-107.
On the Philosophical Views of Werner Heisenberg.Francois-Igor Pris - 2014 - NB Philosophical Investigations (Russian E-Journal) (8):25-71.
Hoe zeker is Heisenbergs onzekerheidsprincipe?Jeanne Peijnenburg & David Atkinson - 2021 - Algemeen Nederlands Tijdschrift voor Wijsbegeerte 113 (1):137-156.


Added to PP

11 (#1,141,291)

6 months
6 (#528,006)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Valentina Harizanov
George Washington University

Citations of this work

No citations found.

Add more citations