Matches in SemOpenAlex for { <https://semopenalex.org/work/W153476098> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W153476098 endingPage "244" @default.
- W153476098 startingPage "223" @default.
- W153476098 abstract "We have now shown that every non-zero degree below deg wtt (G) coincides with deg(G ρ) for some ρ ε Πn. Since all of the positive requirements have been satisfied, we see that the lattice Πn has been embedded as an initial segment of the Δ 02 wtt-degrees above a minimal degree. In fact the embedding is in the wtt-degrees ≤wtt 0′. To see that this is true, we need only check that there is a recursive function b(x) such that |{s:G s+1(x)≠G s (x)}|≤b(x). But this is the case because of the nesting of the trees. Only action taken for the sake of satisfying P 0 can change G s (0). This can happen at most twice. The only possible actions which can change G(x) are taken for the sake of satisfying some P e where e ≤ x, or improving the e-state of some T e,s (σ), where e+|σ|≤x. A simple induction shows that this is bounded by (2+n+|E n |+2)2 x+1 −1." @default.
- W153476098 created "2016-06-24" @default.
- W153476098 creator A5041739806 @default.
- W153476098 creator A5091659884 @default.
- W153476098 date "1990-01-01" @default.
- W153476098 modified "2023-09-25" @default.
- W153476098 title "Undecidability and initial segments of the wtt-degrees ≤0′" @default.
- W153476098 cites W2025067481 @default.
- W153476098 cites W4246936007 @default.
- W153476098 doi "https://doi.org/10.1007/bfb0086120" @default.
- W153476098 hasPublicationYear "1990" @default.
- W153476098 type Work @default.
- W153476098 sameAs 153476098 @default.
- W153476098 citedByCount "3" @default.
- W153476098 countsByYear W1534760982020 @default.
- W153476098 crossrefType "book-chapter" @default.
- W153476098 hasAuthorship W153476098A5041739806 @default.
- W153476098 hasAuthorship W153476098A5091659884 @default.
- W153476098 hasConcept C114614502 @default.
- W153476098 hasConcept C118615104 @default.
- W153476098 hasConcept C121332964 @default.
- W153476098 hasConcept C134306372 @default.
- W153476098 hasConcept C154945302 @default.
- W153476098 hasConcept C24890656 @default.
- W153476098 hasConcept C2775997480 @default.
- W153476098 hasConcept C33923547 @default.
- W153476098 hasConcept C34388435 @default.
- W153476098 hasConcept C41008148 @default.
- W153476098 hasConcept C41608201 @default.
- W153476098 hasConceptScore W153476098C114614502 @default.
- W153476098 hasConceptScore W153476098C118615104 @default.
- W153476098 hasConceptScore W153476098C121332964 @default.
- W153476098 hasConceptScore W153476098C134306372 @default.
- W153476098 hasConceptScore W153476098C154945302 @default.
- W153476098 hasConceptScore W153476098C24890656 @default.
- W153476098 hasConceptScore W153476098C2775997480 @default.
- W153476098 hasConceptScore W153476098C33923547 @default.
- W153476098 hasConceptScore W153476098C34388435 @default.
- W153476098 hasConceptScore W153476098C41008148 @default.
- W153476098 hasConceptScore W153476098C41608201 @default.
- W153476098 hasLocation W1534760981 @default.
- W153476098 hasOpenAccess W153476098 @default.
- W153476098 hasPrimaryLocation W1534760981 @default.
- W153476098 hasRelatedWork W106775411 @default.
- W153476098 hasRelatedWork W1972299896 @default.
- W153476098 hasRelatedWork W1972957003 @default.
- W153476098 hasRelatedWork W1975441551 @default.
- W153476098 hasRelatedWork W1997047686 @default.
- W153476098 hasRelatedWork W2042655474 @default.
- W153476098 hasRelatedWork W2046729032 @default.
- W153476098 hasRelatedWork W2067297986 @default.
- W153476098 hasRelatedWork W2082637799 @default.
- W153476098 hasRelatedWork W2143900969 @default.
- W153476098 hasRelatedWork W2144999713 @default.
- W153476098 hasRelatedWork W2150152177 @default.
- W153476098 hasRelatedWork W2167930025 @default.
- W153476098 hasRelatedWork W2171513529 @default.
- W153476098 hasRelatedWork W2315325440 @default.
- W153476098 hasRelatedWork W2400395378 @default.
- W153476098 hasRelatedWork W3101734970 @default.
- W153476098 hasRelatedWork W3202598313 @default.
- W153476098 hasRelatedWork W975396184 @default.
- W153476098 hasRelatedWork W2813275536 @default.
- W153476098 isParatext "false" @default.
- W153476098 isRetracted "false" @default.
- W153476098 magId "153476098" @default.
- W153476098 workType "book-chapter" @default.