FRINK Linked Data Fragments server

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

• W56322521 endingPage "513" @default.
• W56322521 startingPage "381" @default.
• W56322521 abstract "This chapter explores recent results on complexity theoretic model theory and algebra. There are results in recursive model theory and algebra for which the natural complexity theoretic analogue is true, but it requires a more delicate proof that incorporates the resource bounds. There are also results in recursive model theory and algebra for which the natural complexity theoretic analogue is false because the proof of the recursive result uses the unbounded resources allowed in recursive constructions in a crucial way. However, there are a number of interesting new phenomena that arise because of the fact that not all infinite polynomial time sets are polynomial time isomorphic or the complexity theoretic results do not relativize as is the case for most recursion theoretic results. The chapter gives the basic complexity theoretic definitions, establishes notations, and gives a series of lemmas that are useful for building models. A survey of the main existence theorems for feasible models and various feasible categoricity results is presented in the chapter. The chapter discusses the complexity theoretic algebra, focusing on the structure of the binary and tally representation of an infinite dimensional vector space over a polynomial time field." @default.
• W56322521 created "2016-06-24" @default.
• W56322521 creator A5057979748 @default.
• W56322521 creator A5090907219 @default.
• W56322521 date "1998-01-01" @default.
• W56322521 modified "2023-10-02" @default.
• W56322521 title "Chapter 10 Complexity theoretic model theory and algebra" @default.
• W56322521 cites W1975119571 @default.
• W56322521 cites W1976111241 @default.
• W56322521 cites W1977629364 @default.
• W56322521 cites W1985034344 @default.
• W56322521 cites W1988958321 @default.
• W56322521 cites W1989997916 @default.
• W56322521 cites W1991499254 @default.
• W56322521 cites W1993138363 @default.
• W56322521 cites W2006786362 @default.
• W56322521 cites W2006883075 @default.
• W56322521 cites W2016668436 @default.
• W56322521 cites W2020811910 @default.
• W56322521 cites W2023336906 @default.
• W56322521 cites W2025407611 @default.
• W56322521 cites W2049650104 @default.
• W56322521 cites W2054338826 @default.
• W56322521 cites W2056895958 @default.
• W56322521 cites W2059997023 @default.
• W56322521 cites W2062135743 @default.
• W56322521 cites W2062767125 @default.
• W56322521 cites W2069348040 @default.
• W56322521 cites W2077080157 @default.
• W56322521 cites W2078845413 @default.
• W56322521 cites W2083181122 @default.
• W56322521 cites W2101746971 @default.
• W56322521 cites W2125495920 @default.
• W56322521 cites W2145433104 @default.
• W56322521 cites W2149628667 @default.
• W56322521 cites W2153191867 @default.
• W56322521 cites W2165339507 @default.
• W56322521 cites W2168321497 @default.
• W56322521 cites W2318964791 @default.
• W56322521 cites W2321852024 @default.
• W56322521 cites W4233756358 @default.
• W56322521 doi "https://doi.org/10.1016/s0049-237x(98)80011-6" @default.
• W56322521 hasPublicationYear "1998" @default.
• W56322521 type Work @default.
• W56322521 sameAs 56322521 @default.
• W56322521 citedByCount "16" @default.
• W56322521 countsByYear W563225212013 @default.
• W56322521 countsByYear W563225212014 @default.
• W56322521 countsByYear W563225212018 @default.
• W56322521 countsByYear W563225212019 @default.
• W56322521 countsByYear W563225212020 @default.
• W56322521 countsByYear W563225212021 @default.
• W56322521 countsByYear W563225212022 @default.
• W56322521 crossrefType "book-chapter" @default.
• W56322521 hasAuthorship W56322521A5057979748 @default.
• W56322521 hasAuthorship W56322521A5090907219 @default.
• W56322521 hasConcept C111142201 @default.
• W56322521 hasConcept C11413529 @default.
• W56322521 hasConcept C118615104 @default.
• W56322521 hasConcept C131583701 @default.
• W56322521 hasConcept C13336665 @default.
• W56322521 hasConcept C134306372 @default.
• W56322521 hasConcept C136119220 @default.
• W56322521 hasConcept C168773036 @default.
• W56322521 hasConcept C179799912 @default.
• W56322521 hasConcept C197685441 @default.
• W56322521 hasConcept C202444582 @default.
• W56322521 hasConcept C311688 @default.
• W56322521 hasConcept C33923547 @default.
• W56322521 hasConcept C39637292 @default.
• W56322521 hasConcept C45357846 @default.
• W56322521 hasConcept C90119067 @default.
• W56322521 hasConcept C94375191 @default.
• W56322521 hasConceptScore W56322521C111142201 @default.
• W56322521 hasConceptScore W56322521C11413529 @default.
• W56322521 hasConceptScore W56322521C118615104 @default.
• W56322521 hasConceptScore W56322521C131583701 @default.
• W56322521 hasConceptScore W56322521C13336665 @default.
• W56322521 hasConceptScore W56322521C134306372 @default.
• W56322521 hasConceptScore W56322521C136119220 @default.
• W56322521 hasConceptScore W56322521C168773036 @default.
• W56322521 hasConceptScore W56322521C179799912 @default.
• W56322521 hasConceptScore W56322521C197685441 @default.
• W56322521 hasConceptScore W56322521C202444582 @default.
• W56322521 hasConceptScore W56322521C311688 @default.
• W56322521 hasConceptScore W56322521C33923547 @default.
• W56322521 hasConceptScore W56322521C39637292 @default.
• W56322521 hasConceptScore W56322521C45357846 @default.
• W56322521 hasConceptScore W56322521C90119067 @default.
• W56322521 hasConceptScore W56322521C94375191 @default.
• W56322521 hasLocation W563225211 @default.
• W56322521 hasOpenAccess W56322521 @default.
• W56322521 hasPrimaryLocation W563225211 @default.
• W56322521 hasRelatedWork W1504200807 @default.
• W56322521 hasRelatedWork W1981914472 @default.
• W56322521 hasRelatedWork W2082636129 @default.
• W56322521 hasRelatedWork W2098066196 @default.
• W56322521 hasRelatedWork W2161147766 @default.

• next