Matches in SemOpenAlex for { <https://semopenalex.org/work/W3025478536> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W3025478536 abstract "In several classes of countable structures it is known that every hyperarithmetic structure has a computable presentation up to bi-embeddability. In this article we investigate the complexity of embeddings between bi-embeddable structures in two such classes, the classes of linear orders and Boolean algebras. We show that if $mathcal L$ is a computable linear order of Hausdorff rank $n$, then for every bi-embeddable copy of it there is an embedding computable in $2n-1$ jumps from the atomic diagrams. We furthermore show that this is the best one can do: Let $mathcal L$ be a computable linear order of Hausdorff rank $ngeq 1$, then $mathbf 0^{(2n-2)}$ does not compute embeddings between it and all its computable bi-embeddable copies. We obtain that for Boolean algebras which are not superatomic, there is no hyperarithmetic degree computing embeddings between all its computable bi-embeddable copies. On the other hand, if a computable Boolean algebra is superatomic, then there is a least computable ordinal $alpha$ such that $mathbf 0^{(alpha)}$ computes embeddings between all its computable bi-embeddable copies. The main technique used in this proof is a new variation of Ash and Knight's pairs of structures theorem." @default.
- W3025478536 created "2020-05-21" @default.
- W3025478536 creator A5010111113 @default.
- W3025478536 creator A5019814876 @default.
- W3025478536 creator A5084964581 @default.
- W3025478536 date "2020-05-15" @default.
- W3025478536 modified "2023-09-27" @default.
- W3025478536 title "On bi-embeddable categoricity of algebraic structures" @default.
- W3025478536 cites W1496446432 @default.
- W3025478536 cites W1593660953 @default.
- W3025478536 cites W1971015044 @default.
- W3025478536 cites W1976089169 @default.
- W3025478536 cites W1981473293 @default.
- W3025478536 cites W1999737391 @default.
- W3025478536 cites W2013474162 @default.
- W3025478536 cites W2034581612 @default.
- W3025478536 cites W2039687554 @default.
- W3025478536 cites W2043078465 @default.
- W3025478536 cites W2050198215 @default.
- W3025478536 cites W2065144039 @default.
- W3025478536 cites W2069010287 @default.
- W3025478536 cites W2084939213 @default.
- W3025478536 cites W2323235711 @default.
- W3025478536 cites W2484528249 @default.
- W3025478536 cites W2512277039 @default.
- W3025478536 cites W2612101967 @default.
- W3025478536 cites W2613792613 @default.
- W3025478536 cites W2747885441 @default.
- W3025478536 cites W2939890436 @default.
- W3025478536 cites W2970889987 @default.
- W3025478536 cites W94756314 @default.
- W3025478536 hasPublicationYear "2020" @default.
- W3025478536 type Work @default.
- W3025478536 sameAs 3025478536 @default.
- W3025478536 citedByCount "0" @default.
- W3025478536 crossrefType "posted-content" @default.
- W3025478536 hasAuthorship W3025478536A5010111113 @default.
- W3025478536 hasAuthorship W3025478536A5019814876 @default.
- W3025478536 hasAuthorship W3025478536A5084964581 @default.
- W3025478536 hasConcept C10138342 @default.
- W3025478536 hasConcept C110729354 @default.
- W3025478536 hasConcept C114614502 @default.
- W3025478536 hasConcept C118615104 @default.
- W3025478536 hasConcept C134306372 @default.
- W3025478536 hasConcept C154945302 @default.
- W3025478536 hasConcept C162324750 @default.
- W3025478536 hasConcept C164226766 @default.
- W3025478536 hasConcept C182306322 @default.
- W3025478536 hasConcept C191399826 @default.
- W3025478536 hasConcept C33923547 @default.
- W3025478536 hasConcept C41008148 @default.
- W3025478536 hasConcept C41608201 @default.
- W3025478536 hasConcept C9376300 @default.
- W3025478536 hasConceptScore W3025478536C10138342 @default.
- W3025478536 hasConceptScore W3025478536C110729354 @default.
- W3025478536 hasConceptScore W3025478536C114614502 @default.
- W3025478536 hasConceptScore W3025478536C118615104 @default.
- W3025478536 hasConceptScore W3025478536C134306372 @default.
- W3025478536 hasConceptScore W3025478536C154945302 @default.
- W3025478536 hasConceptScore W3025478536C162324750 @default.
- W3025478536 hasConceptScore W3025478536C164226766 @default.
- W3025478536 hasConceptScore W3025478536C182306322 @default.
- W3025478536 hasConceptScore W3025478536C191399826 @default.
- W3025478536 hasConceptScore W3025478536C33923547 @default.
- W3025478536 hasConceptScore W3025478536C41008148 @default.
- W3025478536 hasConceptScore W3025478536C41608201 @default.
- W3025478536 hasConceptScore W3025478536C9376300 @default.
- W3025478536 hasLocation W30254785361 @default.
- W3025478536 hasOpenAccess W3025478536 @default.
- W3025478536 hasPrimaryLocation W30254785361 @default.
- W3025478536 hasRelatedWork W1608098058 @default.
- W3025478536 hasRelatedWork W191635342 @default.
- W3025478536 hasRelatedWork W1976827484 @default.
- W3025478536 hasRelatedWork W1990994850 @default.
- W3025478536 hasRelatedWork W1997325822 @default.
- W3025478536 hasRelatedWork W2005021983 @default.
- W3025478536 hasRelatedWork W2051202241 @default.
- W3025478536 hasRelatedWork W2051531869 @default.
- W3025478536 hasRelatedWork W2165758366 @default.
- W3025478536 hasRelatedWork W2168307447 @default.
- W3025478536 hasRelatedWork W2498493586 @default.
- W3025478536 hasRelatedWork W2531441496 @default.
- W3025478536 hasRelatedWork W2555814233 @default.
- W3025478536 hasRelatedWork W2770351889 @default.
- W3025478536 hasRelatedWork W2950686977 @default.
- W3025478536 hasRelatedWork W3036808276 @default.
- W3025478536 hasRelatedWork W3207861448 @default.
- W3025478536 hasRelatedWork W93176174 @default.
- W3025478536 hasRelatedWork W2024339934 @default.
- W3025478536 hasRelatedWork W2969406319 @default.
- W3025478536 isParatext "false" @default.
- W3025478536 isRetracted "false" @default.
- W3025478536 magId "3025478536" @default.
- W3025478536 workType "article" @default.