FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2911963073> ?p ?o ?g. }

• W2911963073 endingPage "717" @default.
• W2911963073 startingPage "699" @default.
• W2911963073 abstract "Computability-theoretic investigation of algorithmic complexity of isomorphisms between countable structures is a key topic in computable structure theory since Fröhlich and Shepherdson, Mal'cev, and Metakides and Nerode. A computable structure A is called computably categorical if for every computable isomorphic B, there is a computable isomorphism from A onto B. By relativizing the notion of computable categoricity to a Turing degree d, we obtain the notion of d-computable categoricity. For the case when d is 0(n−1), we also speak about Δn0-categoricity, for n≥1. More generally, A is relatively Δn0-categorical if for every isomorphic B, there is an isomorphism that is Δn0 relative to the atomic diagram of B. Equivalently, A is relatively Δn0-categorical if and only if A has a computably enumerable Scott family of computable (infinitary) Σn formulas. Relative Δn0-categoricity implies Δn0-categoricity, but not vice versa. In this paper, we present an example of a computable Fraïssé limit that is computably categorical (that is, Δ10-categorical) but not relatively computably categorical. We also present examples of Δ20-categorical but not relatively Δ20-cate- gorical structures in natural classes such as trees of finite and infinite heights, and homogeneous, completely decomposable, abelian groups. It is known that for structures from these classes computable categoricity and relative computable categoricity coincide. The categoricity spectrum of a computable structure M is the set of all Turing degrees d such that M is d-computably categorical. The degree of categoricity of M is the least degree in the categoricity spectrum of M, if such a degree exists. It provides the exact level of categoricity of the structure. In this paper, we compute degrees of categoricity for relatively Δ20-categorical abelian p-groups and for relatively Δ30-categorical Boolean algebras." @default.
• W2911963073 created "2019-02-21" @default.
• W2911963073 creator A5056888455 @default.
• W2911963073 creator A5071875842 @default.
• W2911963073 creator A5084954961 @default.
• W2911963073 date "2019-06-01" @default.
• W2911963073 modified "2023-10-17" @default.
• W2911963073 title "Computability-theoretic categoricity and Scott families" @default.
• W2911963073 cites W119425976 @default.
• W2911963073 cites W1973880596 @default.
• W2911963073 cites W1976089169 @default.
• W2911963073 cites W1985060429 @default.
• W2911963073 cites W1988958321 @default.
• W2911963073 cites W1989997916 @default.
• W2911963073 cites W1996816738 @default.
• W2911963073 cites W2004277670 @default.
• W2911963073 cites W2007683043 @default.
• W2911963073 cites W2013474162 @default.
• W2911963073 cites W2022832716 @default.
• W2911963073 cites W2027559165 @default.
• W2911963073 cites W2039687554 @default.
• W2911963073 cites W2043078465 @default.
• W2911963073 cites W2044797614 @default.
• W2911963073 cites W2050198215 @default.
• W2911963073 cites W2051202241 @default.
• W2911963073 cites W2057971007 @default.
• W2911963073 cites W2059318640 @default.
• W2911963073 cites W2079957937 @default.
• W2911963073 cites W2084666877 @default.
• W2911963073 cites W2084939213 @default.
• W2911963073 cites W2089169908 @default.
• W2911963073 cites W2090545214 @default.
• W2911963073 cites W2137507690 @default.
• W2911963073 cites W2150583267 @default.
• W2911963073 cites W2193737693 @default.
• W2911963073 cites W2209102811 @default.
• W2911963073 cites W2317860071 @default.
• W2911963073 cites W2318964791 @default.
• W2911963073 cites W2343502051 @default.
• W2911963073 cites W2594570984 @default.
• W2911963073 cites W3100375940 @default.
• W2911963073 doi "https://doi.org/10.1016/j.apal.2019.01.003" @default.
• W2911963073 hasPublicationYear "2019" @default.
• W2911963073 type Work @default.
• W2911963073 sameAs 2911963073 @default.
• W2911963073 citedByCount "3" @default.
• W2911963073 countsByYear W29119630732020 @default.
• W2911963073 countsByYear W29119630732021 @default.
• W2911963073 crossrefType "journal-article" @default.
• W2911963073 hasAuthorship W2911963073A5056888455 @default.
• W2911963073 hasAuthorship W2911963073A5071875842 @default.
• W2911963073 hasAuthorship W2911963073A5084954961 @default.
• W2911963073 hasBestOaLocation W29119630731 @default.
• W2911963073 hasConcept C105795698 @default.
• W2911963073 hasConcept C110729354 @default.
• W2911963073 hasConcept C115624301 @default.
• W2911963073 hasConcept C118615104 @default.
• W2911963073 hasConcept C121332964 @default.
• W2911963073 hasConcept C152062344 @default.
• W2911963073 hasConcept C156382255 @default.
• W2911963073 hasConcept C185592680 @default.
• W2911963073 hasConcept C202444582 @default.
• W2911963073 hasConcept C203436722 @default.
• W2911963073 hasConcept C24890656 @default.
• W2911963073 hasConcept C27318111 @default.
• W2911963073 hasConcept C2775997480 @default.
• W2911963073 hasConcept C33923547 @default.
• W2911963073 hasConcept C5274069 @default.
• W2911963073 hasConcept C8010536 @default.
• W2911963073 hasConceptScore W2911963073C105795698 @default.
• W2911963073 hasConceptScore W2911963073C110729354 @default.
• W2911963073 hasConceptScore W2911963073C115624301 @default.
• W2911963073 hasConceptScore W2911963073C118615104 @default.
• W2911963073 hasConceptScore W2911963073C121332964 @default.
• W2911963073 hasConceptScore W2911963073C152062344 @default.
• W2911963073 hasConceptScore W2911963073C156382255 @default.
• W2911963073 hasConceptScore W2911963073C185592680 @default.
• W2911963073 hasConceptScore W2911963073C202444582 @default.
• W2911963073 hasConceptScore W2911963073C203436722 @default.
• W2911963073 hasConceptScore W2911963073C24890656 @default.
• W2911963073 hasConceptScore W2911963073C27318111 @default.
• W2911963073 hasConceptScore W2911963073C2775997480 @default.
• W2911963073 hasConceptScore W2911963073C33923547 @default.
• W2911963073 hasConceptScore W2911963073C5274069 @default.
• W2911963073 hasConceptScore W2911963073C8010536 @default.
• W2911963073 hasFunder F4320306164 @default.
• W2911963073 hasFunder F4320307220 @default.
• W2911963073 hasFunder F4320321181 @default.
• W2911963073 hasFunder F4320332252 @default.
• W2911963073 hasIssue "6" @default.
• W2911963073 hasLocation W29119630731 @default.
• W2911963073 hasOpenAccess W2911963073 @default.
• W2911963073 hasPrimaryLocation W29119630731 @default.
• W2911963073 hasRelatedWork W1480530468 @default.
• W2911963073 hasRelatedWork W1533694441 @default.
• W2911963073 hasRelatedWork W2015666295 @default.
• W2911963073 hasRelatedWork W2171088343 @default.
• W2911963073 hasRelatedWork W2516234460 @default.

• next