Matches in SemOpenAlex for { <https://semopenalex.org/work/W2132364243> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2132364243 endingPage "442" @default.
- W2132364243 startingPage "430" @default.
- W2132364243 abstract "Abstract. We consider the Turing degrees of prime models of complete decidable theories. In particular we show that every complete decidable atomic theory has a prime model whose elementary diagram is low. We combine the construction used in the proof with other constructions to show that complete decidable atomic theories have low prime models with added properties. If we have a complete decidable atomic theory with all types of the theory computable, we show that for every degree d with 0 < d < 0 ', there is a prime model with elementary diagram of degree d . Indeed, this is a corollary of the fact that if T is a complete decidable theory and L is a computable set of c.e. partial types of T , then for any degree d > 0, T has a d -decidable model omitting the nonprincipal types listed by L ." @default.
- W2132364243 created "2016-06-24" @default.
- W2132364243 creator A5061005365 @default.
- W2132364243 date "2004-06-01" @default.
- W2132364243 modified "2023-09-24" @default.
- W2132364243 title "Degree spectra of prime models" @default.
- W2132364243 cites W1571286435 @default.
- W2132364243 cites W1684033657 @default.
- W2132364243 cites W1987148015 @default.
- W2132364243 cites W2048585209 @default.
- W2132364243 cites W2085720724 @default.
- W2132364243 cites W2134024760 @default.
- W2132364243 cites W4232277851 @default.
- W2132364243 cites W4889196 @default.
- W2132364243 doi "https://doi.org/10.2178/jsl/1082418536" @default.
- W2132364243 hasPublicationYear "2004" @default.
- W2132364243 type Work @default.
- W2132364243 sameAs 2132364243 @default.
- W2132364243 citedByCount "11" @default.
- W2132364243 countsByYear W21323642432014 @default.
- W2132364243 countsByYear W21323642432016 @default.
- W2132364243 countsByYear W21323642432017 @default.
- W2132364243 crossrefType "journal-article" @default.
- W2132364243 hasAuthorship W2132364243A5061005365 @default.
- W2132364243 hasConcept C105795698 @default.
- W2132364243 hasConcept C114614502 @default.
- W2132364243 hasConcept C118615104 @default.
- W2132364243 hasConcept C121332964 @default.
- W2132364243 hasConcept C153269930 @default.
- W2132364243 hasConcept C184992742 @default.
- W2132364243 hasConcept C186399060 @default.
- W2132364243 hasConcept C24890656 @default.
- W2132364243 hasConcept C2775997480 @default.
- W2132364243 hasConcept C2780012671 @default.
- W2132364243 hasConcept C33923547 @default.
- W2132364243 hasConceptScore W2132364243C105795698 @default.
- W2132364243 hasConceptScore W2132364243C114614502 @default.
- W2132364243 hasConceptScore W2132364243C118615104 @default.
- W2132364243 hasConceptScore W2132364243C121332964 @default.
- W2132364243 hasConceptScore W2132364243C153269930 @default.
- W2132364243 hasConceptScore W2132364243C184992742 @default.
- W2132364243 hasConceptScore W2132364243C186399060 @default.
- W2132364243 hasConceptScore W2132364243C24890656 @default.
- W2132364243 hasConceptScore W2132364243C2775997480 @default.
- W2132364243 hasConceptScore W2132364243C2780012671 @default.
- W2132364243 hasConceptScore W2132364243C33923547 @default.
- W2132364243 hasIssue "2" @default.
- W2132364243 hasLocation W21323642431 @default.
- W2132364243 hasOpenAccess W2132364243 @default.
- W2132364243 hasPrimaryLocation W21323642431 @default.
- W2132364243 hasRelatedWork W1151973901 @default.
- W2132364243 hasRelatedWork W1980587705 @default.
- W2132364243 hasRelatedWork W1984103551 @default.
- W2132364243 hasRelatedWork W2035438180 @default.
- W2132364243 hasRelatedWork W2046025312 @default.
- W2132364243 hasRelatedWork W2085440561 @default.
- W2132364243 hasRelatedWork W2105027413 @default.
- W2132364243 hasRelatedWork W2963927623 @default.
- W2132364243 hasRelatedWork W4237923603 @default.
- W2132364243 hasRelatedWork W4311299684 @default.
- W2132364243 hasVolume "69" @default.
- W2132364243 isParatext "false" @default.
- W2132364243 isRetracted "false" @default.
- W2132364243 magId "2132364243" @default.
- W2132364243 workType "article" @default.