Matches in SemOpenAlex for { <https://semopenalex.org/work/W3036697574> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W3036697574 abstract "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 $(u,v)$ 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 Montalban. 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." @default.
- W3036697574 created "2020-06-25" @default.
- W3036697574 creator A5004883990 @default.
- W3036697574 creator A5029091662 @default.
- W3036697574 creator A5044223599 @default.
- W3036697574 creator A5044978131 @default.
- W3036697574 creator A5056097245 @default.
- W3036697574 creator A5056719111 @default.
- W3036697574 creator A5068606143 @default.
- W3036697574 creator A5071875842 @default.
- W3036697574 creator A5080060901 @default.
- W3036697574 date "2020-06-21" @default.
- W3036697574 modified "2023-09-30" @default.
- W3036697574 title "Interpreting a field in its Heisenberg group" @default.
- W3036697574 cites W1996816738 @default.
- W3036697574 cites W2016314496 @default.
- W3036697574 cites W2108742424 @default.
- W3036697574 cites W2152972834 @default.
- W3036697574 cites W2498536233 @default.
- W3036697574 cites W2963736300 @default.
- W3036697574 cites W2964092600 @default.
- W3036697574 cites W2964175971 @default.
- W3036697574 cites W3160252493 @default.
- W3036697574 hasPublicationYear "2020" @default.
- W3036697574 type Work @default.
- W3036697574 sameAs 3036697574 @default.
- W3036697574 citedByCount "0" @default.
- W3036697574 crossrefType "posted-content" @default.
- W3036697574 hasAuthorship W3036697574A5004883990 @default.
- W3036697574 hasAuthorship W3036697574A5029091662 @default.
- W3036697574 hasAuthorship W3036697574A5044223599 @default.
- W3036697574 hasAuthorship W3036697574A5044978131 @default.
- W3036697574 hasAuthorship W3036697574A5056097245 @default.
- W3036697574 hasAuthorship W3036697574A5056719111 @default.
- W3036697574 hasAuthorship W3036697574A5068606143 @default.
- W3036697574 hasAuthorship W3036697574A5071875842 @default.
- W3036697574 hasAuthorship W3036697574A5080060901 @default.
- W3036697574 hasConcept C108710211 @default.
- W3036697574 hasConcept C114614502 @default.
- W3036697574 hasConcept C118615104 @default.
- W3036697574 hasConcept C121332964 @default.
- W3036697574 hasConcept C127519595 @default.
- W3036697574 hasConcept C136119220 @default.
- W3036697574 hasConcept C199360897 @default.
- W3036697574 hasConcept C202444582 @default.
- W3036697574 hasConcept C2524010 @default.
- W3036697574 hasConcept C2778003309 @default.
- W3036697574 hasConcept C2778049214 @default.
- W3036697574 hasConcept C2780990831 @default.
- W3036697574 hasConcept C2781311116 @default.
- W3036697574 hasConcept C33923547 @default.
- W3036697574 hasConcept C41008148 @default.
- W3036697574 hasConcept C527412718 @default.
- W3036697574 hasConcept C62520636 @default.
- W3036697574 hasConcept C9652623 @default.
- W3036697574 hasConceptScore W3036697574C108710211 @default.
- W3036697574 hasConceptScore W3036697574C114614502 @default.
- W3036697574 hasConceptScore W3036697574C118615104 @default.
- W3036697574 hasConceptScore W3036697574C121332964 @default.
- W3036697574 hasConceptScore W3036697574C127519595 @default.
- W3036697574 hasConceptScore W3036697574C136119220 @default.
- W3036697574 hasConceptScore W3036697574C199360897 @default.
- W3036697574 hasConceptScore W3036697574C202444582 @default.
- W3036697574 hasConceptScore W3036697574C2524010 @default.
- W3036697574 hasConceptScore W3036697574C2778003309 @default.
- W3036697574 hasConceptScore W3036697574C2778049214 @default.
- W3036697574 hasConceptScore W3036697574C2780990831 @default.
- W3036697574 hasConceptScore W3036697574C2781311116 @default.
- W3036697574 hasConceptScore W3036697574C33923547 @default.
- W3036697574 hasConceptScore W3036697574C41008148 @default.
- W3036697574 hasConceptScore W3036697574C527412718 @default.
- W3036697574 hasConceptScore W3036697574C62520636 @default.
- W3036697574 hasConceptScore W3036697574C9652623 @default.
- W3036697574 hasLocation W30366975741 @default.
- W3036697574 hasOpenAccess W3036697574 @default.
- W3036697574 hasPrimaryLocation W30366975741 @default.
- W3036697574 hasRelatedWork W1582662858 @default.
- W3036697574 hasRelatedWork W1965116174 @default.
- W3036697574 hasRelatedWork W2000442567 @default.
- W3036697574 hasRelatedWork W2007577694 @default.
- W3036697574 hasRelatedWork W2012920523 @default.
- W3036697574 hasRelatedWork W2016125425 @default.
- W3036697574 hasRelatedWork W2033664708 @default.
- W3036697574 hasRelatedWork W2036952682 @default.
- W3036697574 hasRelatedWork W2040462567 @default.
- W3036697574 hasRelatedWork W2051561433 @default.
- W3036697574 hasRelatedWork W2052407092 @default.
- W3036697574 hasRelatedWork W2130977514 @default.
- W3036697574 hasRelatedWork W2139200923 @default.
- W3036697574 hasRelatedWork W2160514221 @default.
- W3036697574 hasRelatedWork W2319305328 @default.
- W3036697574 hasRelatedWork W2577070612 @default.
- W3036697574 hasRelatedWork W2806141747 @default.
- W3036697574 hasRelatedWork W2963588091 @default.
- W3036697574 hasRelatedWork W3021833926 @default.
- W3036697574 hasRelatedWork W2483827647 @default.
- W3036697574 isParatext "false" @default.
- W3036697574 isRetracted "false" @default.
- W3036697574 magId "3036697574" @default.
- W3036697574 workType "article" @default.