We produce a connected real Lie group that, as a first-order structure in the group language, interprets the real field expanded with a predicate for the integers. Moreover, the domain of our interpretation is definable in the group.
One Lie Group to Define Them All
Mamino, Marcello
2022-01-01
Abstract
We produce a connected real Lie group that, as a first-order structure in the group language, interprets the real field expanded with a predicate for the integers. Moreover, the domain of our interpretation is definable in the group.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
2010.10579.pdf
accesso aperto
Descrizione: Articolo
Tipologia:
Documento in Post-print
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
225.9 kB
Formato
Adobe PDF
|
225.9 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
