Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287632284> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W4287632284 abstract "We prove that every quasi-Hopfian finitely presented structure $A$ has a $d$-$Sigma_2$ Scott sentence, and that if in addition $A$ is computable and $Aut(A)$ satisfies a natural computable condition, then $A$ has a computable $d$-$Sigma_2$ Scott sentence. This unifies several known results on Scott sentences of finitely presented structures and it is used to prove that other not previously considered algebraic structures of interest have computable $d$-$Sigma_2$ Scott sentences. In particular, we show that every right-angled Coxeter group of finite rank has a computable $d$-$Sigma_2$ Scott sentence, as well as any strongly rigid Coxeter group of finite rank. Finally, we show that the free projective plane of rank $4$ has a computable $d$-$Sigma_2$ Scott sentence, thus exhibiting a natural example where the assumption of quasi-Hopfianity is used (since this structure is not Hopfian)." @default.
- W4287632284 created "2022-07-25" @default.
- W4287632284 creator A5090107903 @default.
- W4287632284 date "2020-10-25" @default.
- W4287632284 modified "2023-10-17" @default.
- W4287632284 title "Computable Scott Sentences for Quasi-Hopfian Finitely Presented Structures" @default.
- W4287632284 doi "https://doi.org/10.48550/arxiv.2010.13167" @default.
- W4287632284 hasPublicationYear "2020" @default.
- W4287632284 type Work @default.
- W4287632284 citedByCount "0" @default.
- W4287632284 crossrefType "posted-content" @default.
- W4287632284 hasAuthorship W4287632284A5090107903 @default.
- W4287632284 hasBestOaLocation W42876322841 @default.
- W4287632284 hasConcept C114614502 @default.
- W4287632284 hasConcept C118615104 @default.
- W4287632284 hasConcept C121332964 @default.
- W4287632284 hasConcept C143669375 @default.
- W4287632284 hasConcept C154945302 @default.
- W4287632284 hasConcept C162860070 @default.
- W4287632284 hasConcept C164226766 @default.
- W4287632284 hasConcept C2777530160 @default.
- W4287632284 hasConcept C2778049214 @default.
- W4287632284 hasConcept C33923547 @default.
- W4287632284 hasConcept C41008148 @default.
- W4287632284 hasConcept C62520636 @default.
- W4287632284 hasConceptScore W4287632284C114614502 @default.
- W4287632284 hasConceptScore W4287632284C118615104 @default.
- W4287632284 hasConceptScore W4287632284C121332964 @default.
- W4287632284 hasConceptScore W4287632284C143669375 @default.
- W4287632284 hasConceptScore W4287632284C154945302 @default.
- W4287632284 hasConceptScore W4287632284C162860070 @default.
- W4287632284 hasConceptScore W4287632284C164226766 @default.
- W4287632284 hasConceptScore W4287632284C2777530160 @default.
- W4287632284 hasConceptScore W4287632284C2778049214 @default.
- W4287632284 hasConceptScore W4287632284C33923547 @default.
- W4287632284 hasConceptScore W4287632284C41008148 @default.
- W4287632284 hasConceptScore W4287632284C62520636 @default.
- W4287632284 hasLocation W42876322841 @default.
- W4287632284 hasOpenAccess W4287632284 @default.
- W4287632284 hasPrimaryLocation W42876322841 @default.
- W4287632284 hasRelatedWork W1659860074 @default.
- W4287632284 hasRelatedWork W2010656911 @default.
- W4287632284 hasRelatedWork W2055528015 @default.
- W4287632284 hasRelatedWork W2069645238 @default.
- W4287632284 hasRelatedWork W2130472146 @default.
- W4287632284 hasRelatedWork W2242118989 @default.
- W4287632284 hasRelatedWork W2323599137 @default.
- W4287632284 hasRelatedWork W2977835146 @default.
- W4287632284 hasRelatedWork W3093929872 @default.
- W4287632284 hasRelatedWork W4307410600 @default.
- W4287632284 isParatext "false" @default.
- W4287632284 isRetracted "false" @default.
- W4287632284 workType "article" @default.