Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300439779> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W4300439779 abstract "A partial order is called semilinear iff the upper bounds of each element are linearly ordered and any two elements have a common upper bound. There exists, up to isomorphism, a unique countable existentially closed semilinear order, which we denote by S2. We study the reducts of S2, that is, the relational structures with the same domain as S2 all of whose relations are first-order definable in S2. Our main result is a classification of the model-complete cores of the reducts of S2. From this, we also obtain a classification of reducts up to first-order interdefinability, which is equivalent to a classification of all closed permutation groups that contain the automorphism group of S2." @default.
- W4300439779 created "2022-10-03" @default.
- W4300439779 creator A5003266177 @default.
- W4300439779 creator A5022070074 @default.
- W4300439779 creator A5058729018 @default.
- W4300439779 creator A5070658141 @default.
- W4300439779 date "2014-09-07" @default.
- W4300439779 modified "2023-09-26" @default.
- W4300439779 title "The universal homogeneous binary tree" @default.
- W4300439779 doi "https://doi.org/10.48550/arxiv.1409.2170" @default.
- W4300439779 hasPublicationYear "2014" @default.
- W4300439779 type Work @default.
- W4300439779 citedByCount "0" @default.
- W4300439779 crossrefType "posted-content" @default.
- W4300439779 hasAuthorship W4300439779A5003266177 @default.
- W4300439779 hasAuthorship W4300439779A5022070074 @default.
- W4300439779 hasAuthorship W4300439779A5058729018 @default.
- W4300439779 hasAuthorship W4300439779A5070658141 @default.
- W4300439779 hasBestOaLocation W43004397791 @default.
- W4300439779 hasConcept C10138342 @default.
- W4300439779 hasConcept C110729354 @default.
- W4300439779 hasConcept C113174947 @default.
- W4300439779 hasConcept C114614502 @default.
- W4300439779 hasConcept C115624301 @default.
- W4300439779 hasConcept C118615104 @default.
- W4300439779 hasConcept C118712358 @default.
- W4300439779 hasConcept C121332964 @default.
- W4300439779 hasConcept C134306372 @default.
- W4300439779 hasConcept C162324750 @default.
- W4300439779 hasConcept C177264268 @default.
- W4300439779 hasConcept C17744445 @default.
- W4300439779 hasConcept C182306322 @default.
- W4300439779 hasConcept C185592680 @default.
- W4300439779 hasConcept C196773441 @default.
- W4300439779 hasConcept C197855036 @default.
- W4300439779 hasConcept C199360897 @default.
- W4300439779 hasConcept C199539241 @default.
- W4300439779 hasConcept C200288055 @default.
- W4300439779 hasConcept C203436722 @default.
- W4300439779 hasConcept C21308566 @default.
- W4300439779 hasConcept C24890656 @default.
- W4300439779 hasConcept C33923547 @default.
- W4300439779 hasConcept C36503486 @default.
- W4300439779 hasConcept C41008148 @default.
- W4300439779 hasConcept C48372109 @default.
- W4300439779 hasConcept C77553402 @default.
- W4300439779 hasConcept C8010536 @default.
- W4300439779 hasConcept C94375191 @default.
- W4300439779 hasConceptScore W4300439779C10138342 @default.
- W4300439779 hasConceptScore W4300439779C110729354 @default.
- W4300439779 hasConceptScore W4300439779C113174947 @default.
- W4300439779 hasConceptScore W4300439779C114614502 @default.
- W4300439779 hasConceptScore W4300439779C115624301 @default.
- W4300439779 hasConceptScore W4300439779C118615104 @default.
- W4300439779 hasConceptScore W4300439779C118712358 @default.
- W4300439779 hasConceptScore W4300439779C121332964 @default.
- W4300439779 hasConceptScore W4300439779C134306372 @default.
- W4300439779 hasConceptScore W4300439779C162324750 @default.
- W4300439779 hasConceptScore W4300439779C177264268 @default.
- W4300439779 hasConceptScore W4300439779C17744445 @default.
- W4300439779 hasConceptScore W4300439779C182306322 @default.
- W4300439779 hasConceptScore W4300439779C185592680 @default.
- W4300439779 hasConceptScore W4300439779C196773441 @default.
- W4300439779 hasConceptScore W4300439779C197855036 @default.
- W4300439779 hasConceptScore W4300439779C199360897 @default.
- W4300439779 hasConceptScore W4300439779C199539241 @default.
- W4300439779 hasConceptScore W4300439779C200288055 @default.
- W4300439779 hasConceptScore W4300439779C203436722 @default.
- W4300439779 hasConceptScore W4300439779C21308566 @default.
- W4300439779 hasConceptScore W4300439779C24890656 @default.
- W4300439779 hasConceptScore W4300439779C33923547 @default.
- W4300439779 hasConceptScore W4300439779C36503486 @default.
- W4300439779 hasConceptScore W4300439779C41008148 @default.
- W4300439779 hasConceptScore W4300439779C48372109 @default.
- W4300439779 hasConceptScore W4300439779C77553402 @default.
- W4300439779 hasConceptScore W4300439779C8010536 @default.
- W4300439779 hasConceptScore W4300439779C94375191 @default.
- W4300439779 hasLocation W43004397791 @default.
- W4300439779 hasLocation W43004397792 @default.
- W4300439779 hasLocation W43004397793 @default.
- W4300439779 hasOpenAccess W4300439779 @default.
- W4300439779 hasPrimaryLocation W43004397791 @default.
- W4300439779 hasRelatedWork W1894584654 @default.
- W4300439779 hasRelatedWork W2165959405 @default.
- W4300439779 hasRelatedWork W2319323728 @default.
- W4300439779 hasRelatedWork W2949084507 @default.
- W4300439779 hasRelatedWork W2963429056 @default.
- W4300439779 hasRelatedWork W2982347821 @default.
- W4300439779 hasRelatedWork W4289519367 @default.
- W4300439779 hasRelatedWork W4290858501 @default.
- W4300439779 hasRelatedWork W4298059164 @default.
- W4300439779 hasRelatedWork W4300439779 @default.
- W4300439779 isParatext "false" @default.
- W4300439779 isRetracted "false" @default.
- W4300439779 workType "article" @default.