Matches in SemOpenAlex for { <https://semopenalex.org/work/W3088480670> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W3088480670 abstract "This thesis focuses on the expressive power of two invariant logics: successor-invariant first-order logic, Succ-inv FO, and order-invariant first-order logic, <-inv FO. In these formalisms, on top of plain first-order logic, FO, an access to an additional successor relation (for Succ-inv FO) or linear order relation (for <-inv FO) on structures is granted, provided that the evaluation of sentences does not depend on the choice of a particular relation.It is well known that both Succ-inv FO and <-inv FO are more expressive than FO in general. However, if one considers only trees, these logics are no more expressive than plain FO. The two main results of this thesis extend the classes of structures on which these invariant logics collapse to FO.First, we prove that Succ-inv FO is no more expressive than FO on classes of bounded degree. For that, we show how successor relations preserving FO-similarity can be constructed.Second, we define a new class of structures, that of hollow trees. A hollow tree can be seen as an unranked tree, where a parent is only linked to its leftmost and rightmost children. Elements of a siblinghood are linearly related through another binary relation, which is symmetric. The notion of hollow trees is a generalization of ranked trees, and we believe it to be a gateway to structures of pathwidth 2. We show that <-inv FO collapses to FO on the class of hollow trees." @default.
- W3088480670 created "2020-10-01" @default.
- W3088480670 creator A5090856300 @default.
- W3088480670 date "2020-06-29" @default.
- W3088480670 modified "2023-09-23" @default.
- W3088480670 title "On the Expressive Power of Invariant Logics over Sparse Classes of Structures" @default.
- W3088480670 hasPublicationYear "2020" @default.
- W3088480670 type Work @default.
- W3088480670 sameAs 3088480670 @default.
- W3088480670 citedByCount "0" @default.
- W3088480670 crossrefType "dissertation" @default.
- W3088480670 hasAuthorship W3088480670A5090856300 @default.
- W3088480670 hasConcept C110546421 @default.
- W3088480670 hasConcept C114614502 @default.
- W3088480670 hasConcept C118615104 @default.
- W3088480670 hasConcept C134306372 @default.
- W3088480670 hasConcept C171018156 @default.
- W3088480670 hasConcept C190470478 @default.
- W3088480670 hasConcept C195818886 @default.
- W3088480670 hasConcept C197855036 @default.
- W3088480670 hasConcept C199360897 @default.
- W3088480670 hasConcept C202444582 @default.
- W3088480670 hasConcept C2524010 @default.
- W3088480670 hasConcept C2776493592 @default.
- W3088480670 hasConcept C33923547 @default.
- W3088480670 hasConcept C34388435 @default.
- W3088480670 hasConcept C37914503 @default.
- W3088480670 hasConcept C41008148 @default.
- W3088480670 hasConcept C75306776 @default.
- W3088480670 hasConcept C79678938 @default.
- W3088480670 hasConcept C80444323 @default.
- W3088480670 hasConceptScore W3088480670C110546421 @default.
- W3088480670 hasConceptScore W3088480670C114614502 @default.
- W3088480670 hasConceptScore W3088480670C118615104 @default.
- W3088480670 hasConceptScore W3088480670C134306372 @default.
- W3088480670 hasConceptScore W3088480670C171018156 @default.
- W3088480670 hasConceptScore W3088480670C190470478 @default.
- W3088480670 hasConceptScore W3088480670C195818886 @default.
- W3088480670 hasConceptScore W3088480670C197855036 @default.
- W3088480670 hasConceptScore W3088480670C199360897 @default.
- W3088480670 hasConceptScore W3088480670C202444582 @default.
- W3088480670 hasConceptScore W3088480670C2524010 @default.
- W3088480670 hasConceptScore W3088480670C2776493592 @default.
- W3088480670 hasConceptScore W3088480670C33923547 @default.
- W3088480670 hasConceptScore W3088480670C34388435 @default.
- W3088480670 hasConceptScore W3088480670C37914503 @default.
- W3088480670 hasConceptScore W3088480670C41008148 @default.
- W3088480670 hasConceptScore W3088480670C75306776 @default.
- W3088480670 hasConceptScore W3088480670C79678938 @default.
- W3088480670 hasConceptScore W3088480670C80444323 @default.
- W3088480670 hasOpenAccess W3088480670 @default.
- W3088480670 hasRelatedWork W168249864 @default.
- W3088480670 hasRelatedWork W1696155999 @default.
- W3088480670 hasRelatedWork W1966763384 @default.
- W3088480670 hasRelatedWork W1972528728 @default.
- W3088480670 hasRelatedWork W1977176390 @default.
- W3088480670 hasRelatedWork W2016950454 @default.
- W3088480670 hasRelatedWork W2037071126 @default.
- W3088480670 hasRelatedWork W2038222783 @default.
- W3088480670 hasRelatedWork W2055834130 @default.
- W3088480670 hasRelatedWork W2065195009 @default.
- W3088480670 hasRelatedWork W2126075047 @default.
- W3088480670 hasRelatedWork W2131159347 @default.
- W3088480670 hasRelatedWork W2131663704 @default.
- W3088480670 hasRelatedWork W2142906421 @default.
- W3088480670 hasRelatedWork W2244009261 @default.
- W3088480670 hasRelatedWork W2286419476 @default.
- W3088480670 hasRelatedWork W2569306015 @default.
- W3088480670 hasRelatedWork W2798674957 @default.
- W3088480670 hasRelatedWork W2953342632 @default.
- W3088480670 hasRelatedWork W3110031452 @default.
- W3088480670 isParatext "false" @default.
- W3088480670 isRetracted "false" @default.
- W3088480670 magId "3088480670" @default.
- W3088480670 workType "dissertation" @default.