Matches in SemOpenAlex for { <https://semopenalex.org/work/W2413415672> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2413415672 abstract "Let $(Omega, leq)$ be a totally ordered set. We prove that if $Aut(Omega,leq)$ is transitive and satisfies the same first-order sentences as $Aut(RR,leq)$ (in the language of lattice-ordered groups) then $Omega$ and $RR$ are isomorphic ordered sets. This improvement of a theorem of Gurevich and Holland is obtained as one of many consequences of a study of centralizers and coloured chains associated with certain transitive subgroups of $Aut(Omega,leq)$." @default.
- W2413415672 created "2016-06-24" @default.
- W2413415672 creator A5006299976 @default.
- W2413415672 creator A5066857610 @default.
- W2413415672 date "2016-06-01" @default.
- W2413415672 modified "2023-09-27" @default.
- W2413415672 title "The first-order theory of $ell$-permutation groups" @default.
- W2413415672 hasPublicationYear "2016" @default.
- W2413415672 type Work @default.
- W2413415672 sameAs 2413415672 @default.
- W2413415672 citedByCount "0" @default.
- W2413415672 crossrefType "posted-content" @default.
- W2413415672 hasAuthorship W2413415672A5006299976 @default.
- W2413415672 hasAuthorship W2413415672A5066857610 @default.
- W2413415672 hasConcept C10138342 @default.
- W2413415672 hasConcept C114614502 @default.
- W2413415672 hasConcept C118615104 @default.
- W2413415672 hasConcept C121332964 @default.
- W2413415672 hasConcept C162324750 @default.
- W2413415672 hasConcept C180645754 @default.
- W2413415672 hasConcept C182306322 @default.
- W2413415672 hasConcept C191399111 @default.
- W2413415672 hasConcept C21308566 @default.
- W2413415672 hasConcept C24890656 @default.
- W2413415672 hasConcept C2779557605 @default.
- W2413415672 hasConcept C2781204021 @default.
- W2413415672 hasConcept C2985459651 @default.
- W2413415672 hasConcept C33923547 @default.
- W2413415672 hasConcept C62520636 @default.
- W2413415672 hasConcept C92957085 @default.
- W2413415672 hasConceptScore W2413415672C10138342 @default.
- W2413415672 hasConceptScore W2413415672C114614502 @default.
- W2413415672 hasConceptScore W2413415672C118615104 @default.
- W2413415672 hasConceptScore W2413415672C121332964 @default.
- W2413415672 hasConceptScore W2413415672C162324750 @default.
- W2413415672 hasConceptScore W2413415672C180645754 @default.
- W2413415672 hasConceptScore W2413415672C182306322 @default.
- W2413415672 hasConceptScore W2413415672C191399111 @default.
- W2413415672 hasConceptScore W2413415672C21308566 @default.
- W2413415672 hasConceptScore W2413415672C24890656 @default.
- W2413415672 hasConceptScore W2413415672C2779557605 @default.
- W2413415672 hasConceptScore W2413415672C2781204021 @default.
- W2413415672 hasConceptScore W2413415672C2985459651 @default.
- W2413415672 hasConceptScore W2413415672C33923547 @default.
- W2413415672 hasConceptScore W2413415672C62520636 @default.
- W2413415672 hasConceptScore W2413415672C92957085 @default.
- W2413415672 hasLocation W24134156721 @default.
- W2413415672 hasOpenAccess W2413415672 @default.
- W2413415672 hasPrimaryLocation W24134156721 @default.
- W2413415672 hasRelatedWork W1526266703 @default.
- W2413415672 hasRelatedWork W1619737919 @default.
- W2413415672 hasRelatedWork W1670074658 @default.
- W2413415672 hasRelatedWork W2001099423 @default.
- W2413415672 hasRelatedWork W2002653930 @default.
- W2413415672 hasRelatedWork W2089877474 @default.
- W2413415672 hasRelatedWork W2105079257 @default.
- W2413415672 hasRelatedWork W2197857786 @default.
- W2413415672 hasRelatedWork W2253973352 @default.
- W2413415672 hasRelatedWork W2497955668 @default.
- W2413415672 hasRelatedWork W2580770127 @default.
- W2413415672 hasRelatedWork W2772543656 @default.
- W2413415672 hasRelatedWork W2950379757 @default.
- W2413415672 hasRelatedWork W2952272394 @default.
- W2413415672 hasRelatedWork W2952710964 @default.
- W2413415672 hasRelatedWork W2964038075 @default.
- W2413415672 hasRelatedWork W3035796172 @default.
- W2413415672 hasRelatedWork W3101178155 @default.
- W2413415672 hasRelatedWork W3198192151 @default.
- W2413415672 hasRelatedWork W3210794432 @default.
- W2413415672 isParatext "false" @default.
- W2413415672 isRetracted "false" @default.
- W2413415672 magId "2413415672" @default.
- W2413415672 workType "article" @default.