Matches in SemOpenAlex for { <https://semopenalex.org/work/W1986918418> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1986918418 endingPage "125" @default.
- W1986918418 startingPage "97" @default.
- W1986918418 abstract "Post in 1944 began studying properties of a computably enumerable (c.e.) set A such as simple, h-simple, and hh-simple, with the intent of finding a property guaranteeing incompleteness of A. From the observations of Post (1943) and Myhill (1956), attention focused by the 1950s on properties definable in the inclusion ordering of c.e. subsets of ω, namely E = (Wnnεω, ⊂). In the 1950s and 1960s Tennenbaum, Martin, Yates, Sacks, Lachlan, Shoenfield and others produced a number of elegant results relating ∄-definable properties of A, like maximal, hh-simple, atomless, to the information content (usually the Turing degree, deg(A) of A. Harrington and Soare (1991) gave an answer to Post's program for definable properties by producing an ∄-definable property Q(A) which guarantees that A is incomplete and noncomputable, but developed a new Δ30-automorphism method to prove certain other properties are not ∄-definable. In this paper we introduce new ∄-definable properties relating the ∄-structure of A to deg(A), which answer some open questions. In contrast to Q(A) we exhibit here an ∄-definable property T(A) which allows such a rapid flow of elements into A that A must be complete even though A may possess many other properties such as being promptly simple. We also present a related property NL(A) which has a slower flow but fast enough to guarantee that A is not low, even though A may possess virtually all other related lowness properties (low2 and others) and A may simultaneously be promptly simple." @default.
- W1986918418 created "2016-06-24" @default.
- W1986918418 creator A5007654090 @default.
- W1986918418 creator A5023422267 @default.
- W1986918418 date "1998-10-01" @default.
- W1986918418 modified "2023-09-23" @default.
- W1986918418 title "Definable properties of the computably enumerable sets" @default.
- W1986918418 cites W140701301 @default.
- W1986918418 cites W1565120473 @default.
- W1986918418 cites W1972481159 @default.
- W1986918418 cites W1987574007 @default.
- W1986918418 cites W1992701385 @default.
- W1986918418 cites W1996663206 @default.
- W1986918418 cites W2000779724 @default.
- W1986918418 cites W2005402036 @default.
- W1986918418 cites W2019258373 @default.
- W1986918418 cites W2023282267 @default.
- W1986918418 cites W2029116149 @default.
- W1986918418 cites W2029823283 @default.
- W1986918418 cites W2037469541 @default.
- W1986918418 cites W2039559454 @default.
- W1986918418 cites W2073407285 @default.
- W1986918418 cites W2084309100 @default.
- W1986918418 cites W2090146870 @default.
- W1986918418 cites W2099610644 @default.
- W1986918418 cites W2101746971 @default.
- W1986918418 cites W2130173926 @default.
- W1986918418 cites W2132161762 @default.
- W1986918418 cites W2150311525 @default.
- W1986918418 cites W2168058676 @default.
- W1986918418 cites W2315181607 @default.
- W1986918418 doi "https://doi.org/10.1016/s0168-0072(97)00069-9" @default.
- W1986918418 hasPublicationYear "1998" @default.
- W1986918418 type Work @default.
- W1986918418 sameAs 1986918418 @default.
- W1986918418 citedByCount "6" @default.
- W1986918418 countsByYear W19869184182012 @default.
- W1986918418 countsByYear W19869184182016 @default.
- W1986918418 crossrefType "journal-article" @default.
- W1986918418 hasAuthorship W1986918418A5007654090 @default.
- W1986918418 hasAuthorship W1986918418A5023422267 @default.
- W1986918418 hasConcept C111472728 @default.
- W1986918418 hasConcept C114614502 @default.
- W1986918418 hasConcept C118615104 @default.
- W1986918418 hasConcept C138885662 @default.
- W1986918418 hasConcept C177264268 @default.
- W1986918418 hasConcept C189950617 @default.
- W1986918418 hasConcept C199360897 @default.
- W1986918418 hasConcept C203702658 @default.
- W1986918418 hasConcept C2780586882 @default.
- W1986918418 hasConcept C33923547 @default.
- W1986918418 hasConcept C41008148 @default.
- W1986918418 hasConcept C52703633 @default.
- W1986918418 hasConcept C9870796 @default.
- W1986918418 hasConceptScore W1986918418C111472728 @default.
- W1986918418 hasConceptScore W1986918418C114614502 @default.
- W1986918418 hasConceptScore W1986918418C118615104 @default.
- W1986918418 hasConceptScore W1986918418C138885662 @default.
- W1986918418 hasConceptScore W1986918418C177264268 @default.
- W1986918418 hasConceptScore W1986918418C189950617 @default.
- W1986918418 hasConceptScore W1986918418C199360897 @default.
- W1986918418 hasConceptScore W1986918418C203702658 @default.
- W1986918418 hasConceptScore W1986918418C2780586882 @default.
- W1986918418 hasConceptScore W1986918418C33923547 @default.
- W1986918418 hasConceptScore W1986918418C41008148 @default.
- W1986918418 hasConceptScore W1986918418C52703633 @default.
- W1986918418 hasConceptScore W1986918418C9870796 @default.
- W1986918418 hasIssue "1-3" @default.
- W1986918418 hasLocation W19869184181 @default.
- W1986918418 hasOpenAccess W1986918418 @default.
- W1986918418 hasPrimaryLocation W19869184181 @default.
- W1986918418 hasRelatedWork W159724961 @default.
- W1986918418 hasRelatedWork W1968562989 @default.
- W1986918418 hasRelatedWork W1973052363 @default.
- W1986918418 hasRelatedWork W1982652937 @default.
- W1986918418 hasRelatedWork W1996663206 @default.
- W1986918418 hasRelatedWork W2010076006 @default.
- W1986918418 hasRelatedWork W2017254147 @default.
- W1986918418 hasRelatedWork W2019258373 @default.
- W1986918418 hasRelatedWork W2113069034 @default.
- W1986918418 hasRelatedWork W2186864846 @default.
- W1986918418 hasVolume "94" @default.
- W1986918418 isParatext "false" @default.
- W1986918418 isRetracted "false" @default.
- W1986918418 magId "1986918418" @default.
- W1986918418 workType "article" @default.