Matches in SemOpenAlex for { <https://semopenalex.org/work/W4311208654> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W4311208654 abstract "We investigate decision problems for finitely generated groups described by word problem algorithms. This is equivalent to studying groups described by computable labelled Cayley graphs. We relate these problem to the study of computable analysis on the space of marked groups, and point out several results of computable analysis that can be directly applied to obtain group theoretical results. Those results, used in conjunction with the version of Higman's Embedding Theorem that preserves solvability of the word problem, provide powerful tools to build finitely presented groups with solvable word problem but with various undecidable properties. We also place group properties in the first levels of the arithmetical hierarchy for decision problems about groups given by word problem algorithms, and show that on many group properties usually considered, this effective hierarchy corresponds sharply to the Borel hierarchy. Finally, we prove that the space of marked groups is a Polish space that is not effectively Polish. Because of this, many of the most important results of computable analysis cannot be applied to the space of marked groups. This includes the Kreisel-Lacombe-Schoenfield-Ceitin Theorem and a theorem of Moschovakis. The space of marked groups constitutes the first natural example of a Polish space that is not effectively Polish." @default.
- W4311208654 created "2022-12-24" @default.
- W4311208654 creator A5029618734 @default.
- W4311208654 date "2021-11-01" @default.
- W4311208654 modified "2023-09-23" @default.
- W4311208654 title "Computable analysis on the space of marked groups" @default.
- W4311208654 doi "https://doi.org/10.48550/arxiv.2111.01179" @default.
- W4311208654 hasPublicationYear "2021" @default.
- W4311208654 type Work @default.
- W4311208654 citedByCount "0" @default.
- W4311208654 crossrefType "posted-content" @default.
- W4311208654 hasAuthorship W4311208654A5029618734 @default.
- W4311208654 hasBestOaLocation W43112086541 @default.
- W4311208654 hasConcept C111919701 @default.
- W4311208654 hasConcept C118615104 @default.
- W4311208654 hasConcept C136119220 @default.
- W4311208654 hasConcept C153269930 @default.
- W4311208654 hasConcept C154945302 @default.
- W4311208654 hasConcept C162324750 @default.
- W4311208654 hasConcept C178790620 @default.
- W4311208654 hasConcept C185592680 @default.
- W4311208654 hasConcept C192034797 @default.
- W4311208654 hasConcept C202444582 @default.
- W4311208654 hasConcept C2524010 @default.
- W4311208654 hasConcept C27318111 @default.
- W4311208654 hasConcept C2778572836 @default.
- W4311208654 hasConcept C2781311116 @default.
- W4311208654 hasConcept C31170391 @default.
- W4311208654 hasConcept C33923547 @default.
- W4311208654 hasConcept C34447519 @default.
- W4311208654 hasConcept C41008148 @default.
- W4311208654 hasConcept C41608201 @default.
- W4311208654 hasConcept C54271186 @default.
- W4311208654 hasConcept C90805587 @default.
- W4311208654 hasConcept C90988201 @default.
- W4311208654 hasConcept C94375191 @default.
- W4311208654 hasConceptScore W4311208654C111919701 @default.
- W4311208654 hasConceptScore W4311208654C118615104 @default.
- W4311208654 hasConceptScore W4311208654C136119220 @default.
- W4311208654 hasConceptScore W4311208654C153269930 @default.
- W4311208654 hasConceptScore W4311208654C154945302 @default.
- W4311208654 hasConceptScore W4311208654C162324750 @default.
- W4311208654 hasConceptScore W4311208654C178790620 @default.
- W4311208654 hasConceptScore W4311208654C185592680 @default.
- W4311208654 hasConceptScore W4311208654C192034797 @default.
- W4311208654 hasConceptScore W4311208654C202444582 @default.
- W4311208654 hasConceptScore W4311208654C2524010 @default.
- W4311208654 hasConceptScore W4311208654C27318111 @default.
- W4311208654 hasConceptScore W4311208654C2778572836 @default.
- W4311208654 hasConceptScore W4311208654C2781311116 @default.
- W4311208654 hasConceptScore W4311208654C31170391 @default.
- W4311208654 hasConceptScore W4311208654C33923547 @default.
- W4311208654 hasConceptScore W4311208654C34447519 @default.
- W4311208654 hasConceptScore W4311208654C41008148 @default.
- W4311208654 hasConceptScore W4311208654C41608201 @default.
- W4311208654 hasConceptScore W4311208654C54271186 @default.
- W4311208654 hasConceptScore W4311208654C90805587 @default.
- W4311208654 hasConceptScore W4311208654C90988201 @default.
- W4311208654 hasConceptScore W4311208654C94375191 @default.
- W4311208654 hasLocation W43112086541 @default.
- W4311208654 hasLocation W43112086542 @default.
- W4311208654 hasOpenAccess W4311208654 @default.
- W4311208654 hasPrimaryLocation W43112086541 @default.
- W4311208654 hasRelatedWork W1492906489 @default.
- W4311208654 hasRelatedWork W2038666277 @default.
- W4311208654 hasRelatedWork W2071193146 @default.
- W4311208654 hasRelatedWork W2158086683 @default.
- W4311208654 hasRelatedWork W2608557325 @default.
- W4311208654 hasRelatedWork W3102739368 @default.
- W4311208654 hasRelatedWork W3212610908 @default.
- W4311208654 hasRelatedWork W3213187204 @default.
- W4311208654 hasRelatedWork W4299514941 @default.
- W4311208654 hasRelatedWork W1598668499 @default.
- W4311208654 isParatext "false" @default.
- W4311208654 isRetracted "false" @default.
- W4311208654 workType "article" @default.