Matches in SemOpenAlex for { <https://semopenalex.org/work/W96507657> ?p ?o ?g. }
- W96507657 startingPage "111" @default.
- W96507657 abstract "Model theory is a branch of mathematical logic that investigates the logical properties of mathematical structures. It has been quite successfully applied to computational complexity resulting in an area of research called descriptive complexity theory. Descriptive complexity is essentially a syntactical characterization of complexity classes using logical formalisms. However, there are still much more of model theory technologies that have not yet been explored by complexity theorists, especially the subarea of classification/stability theory. This paper is divided into two parts. The first part quickly surveys the main results of descriptive complexity theory. In the second part we introduce the field of classification/stability theory, then give the outlines of a research project whose aim is to apply this theory to give a semantical characterization of complexity classes. This would initiate a brand new research area. keywords: descriptive complexity, complexity theory, classification theory, model theory, logic" @default.
- W96507657 created "2016-06-24" @default.
- W96507657 creator A5066618929 @default.
- W96507657 date "2009-01-01" @default.
- W96507657 modified "2023-09-23" @default.
- W96507657 title "Model-Theoretic Characterization of Complexity Classes." @default.
- W96507657 cites W1480542034 @default.
- W96507657 cites W1507178113 @default.
- W96507657 cites W1510181009 @default.
- W96507657 cites W1590283810 @default.
- W96507657 cites W1597894981 @default.
- W96507657 cites W1970386958 @default.
- W96507657 cites W1970629906 @default.
- W96507657 cites W1984581643 @default.
- W96507657 cites W1985859160 @default.
- W96507657 cites W1989783863 @default.
- W96507657 cites W2005659848 @default.
- W96507657 cites W2017769265 @default.
- W96507657 cites W2043360684 @default.
- W96507657 cites W2043507528 @default.
- W96507657 cites W2045583484 @default.
- W96507657 cites W2047282968 @default.
- W96507657 cites W2063790790 @default.
- W96507657 cites W2065251436 @default.
- W96507657 cites W2066047363 @default.
- W96507657 cites W2081441842 @default.
- W96507657 cites W2082778556 @default.
- W96507657 cites W2088094394 @default.
- W96507657 cites W2090983410 @default.
- W96507657 cites W2102444843 @default.
- W96507657 cites W2117110248 @default.
- W96507657 cites W2117313088 @default.
- W96507657 cites W2134675812 @default.
- W96507657 cites W2168681835 @default.
- W96507657 cites W2181072414 @default.
- W96507657 cites W2460942879 @default.
- W96507657 cites W2799061192 @default.
- W96507657 cites W3127113455 @default.
- W96507657 cites W616212347 @default.
- W96507657 cites W84496008 @default.
- W96507657 hasPublicationYear "2009" @default.
- W96507657 type Work @default.
- W96507657 sameAs 96507657 @default.
- W96507657 citedByCount "0" @default.
- W96507657 crossrefType "journal-article" @default.
- W96507657 hasAuthorship W96507657A5066618929 @default.
- W96507657 hasConcept C112972136 @default.
- W96507657 hasConcept C11413529 @default.
- W96507657 hasConcept C118615104 @default.
- W96507657 hasConcept C119857082 @default.
- W96507657 hasConcept C121332964 @default.
- W96507657 hasConcept C131583701 @default.
- W96507657 hasConcept C133142742 @default.
- W96507657 hasConcept C144701195 @default.
- W96507657 hasConcept C154945302 @default.
- W96507657 hasConcept C171018156 @default.
- W96507657 hasConcept C171250308 @default.
- W96507657 hasConcept C179799912 @default.
- W96507657 hasConcept C192562407 @default.
- W96507657 hasConcept C199360897 @default.
- W96507657 hasConcept C202444582 @default.
- W96507657 hasConcept C2524010 @default.
- W96507657 hasConcept C2779193601 @default.
- W96507657 hasConcept C2780841128 @default.
- W96507657 hasConcept C33923547 @default.
- W96507657 hasConcept C39637292 @default.
- W96507657 hasConcept C41008148 @default.
- W96507657 hasConcept C47030870 @default.
- W96507657 hasConcept C62520636 @default.
- W96507657 hasConcept C80444323 @default.
- W96507657 hasConcept C9652623 @default.
- W96507657 hasConceptScore W96507657C112972136 @default.
- W96507657 hasConceptScore W96507657C11413529 @default.
- W96507657 hasConceptScore W96507657C118615104 @default.
- W96507657 hasConceptScore W96507657C119857082 @default.
- W96507657 hasConceptScore W96507657C121332964 @default.
- W96507657 hasConceptScore W96507657C131583701 @default.
- W96507657 hasConceptScore W96507657C133142742 @default.
- W96507657 hasConceptScore W96507657C144701195 @default.
- W96507657 hasConceptScore W96507657C154945302 @default.
- W96507657 hasConceptScore W96507657C171018156 @default.
- W96507657 hasConceptScore W96507657C171250308 @default.
- W96507657 hasConceptScore W96507657C179799912 @default.
- W96507657 hasConceptScore W96507657C192562407 @default.
- W96507657 hasConceptScore W96507657C199360897 @default.
- W96507657 hasConceptScore W96507657C202444582 @default.
- W96507657 hasConceptScore W96507657C2524010 @default.
- W96507657 hasConceptScore W96507657C2779193601 @default.
- W96507657 hasConceptScore W96507657C2780841128 @default.
- W96507657 hasConceptScore W96507657C33923547 @default.
- W96507657 hasConceptScore W96507657C39637292 @default.
- W96507657 hasConceptScore W96507657C41008148 @default.
- W96507657 hasConceptScore W96507657C47030870 @default.
- W96507657 hasConceptScore W96507657C62520636 @default.
- W96507657 hasConceptScore W96507657C80444323 @default.
- W96507657 hasConceptScore W96507657C9652623 @default.
- W96507657 hasLocation W965076571 @default.
- W96507657 hasOpenAccess W96507657 @default.
- W96507657 hasPrimaryLocation W965076571 @default.