FRINK Linked Data Fragments server

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

• W612650035 endingPage "70" @default.
• W612650035 startingPage "61" @default.
• W612650035 abstract "We discuss the structure of the recursively enumerable sets under three reducibilities: Turing, truth-table and weak truth-table. Weak truth-table reducibility requires that the questions asked of the oracle be effectively bounded. Truth-table reducibility also demands such a bound on the the length of the computations. We survey what is known about the algebraic structure and the complexity of the decision procedure for each of the associated degree structures. Each of these structures is an upper semilattice with least and greatest element. Typical algebraic questions include the existence of infima, distributivity, embeddings of partial orderings or lattices and extension of embedding problems such as density. We explain how the algebraic information is used to decide fragments of the theories and then to prove their undecidability (and more). Finally, we discuss some results and open problems concerning automorphisms, definability and the complexity of the decision problems for these degree structures. This paper was given at both the Annual meeting of the ASL (Duke, 1992) in honor of Joseph Shoenfield and the LASML (Bahia Blanca, 1992). The research was partially supported by NSF Grants DMS-891279 and DMS-9204308 and ARO through MSI, Cornell University DAAL-03-91-C-0027." @default.
• W612650035 created "2016-06-24" @default.
• W612650035 creator A5041739806 @default.
• W612650035 date "1993-01-01" @default.
• W612650035 modified "2023-09-27" @default.
• W612650035 title "The theories of the t , tt and wtt r . E . Degrees : undecidability and beyond" @default.
• W612650035 cites W111095393 @default.
• W612650035 cites W1489060978 @default.
• W612650035 cites W1964249676 @default.
• W612650035 cites W1970488443 @default.
• W612650035 cites W1976647442 @default.
• W612650035 cites W1981509588 @default.
• W612650035 cites W2006726677 @default.
• W612650035 cites W2010076006 @default.
• W612650035 cites W2016487828 @default.
• W612650035 cites W2025135609 @default.
• W612650035 cites W2033957959 @default.
• W612650035 cites W2037416374 @default.
• W612650035 cites W2038443311 @default.
• W612650035 cites W2051601785 @default.
• W612650035 cites W2056414301 @default.
• W612650035 cites W2057628387 @default.
• W612650035 cites W2070390550 @default.
• W612650035 cites W2077721565 @default.
• W612650035 cites W2083442865 @default.
• W612650035 cites W2213438832 @default.
• W612650035 cites W2319599413 @default.
• W612650035 cites W623765668 @default.
• W612650035 hasPublicationYear "1993" @default.
• W612650035 type Work @default.
• W612650035 sameAs 612650035 @default.
• W612650035 citedByCount "1" @default.
• W612650035 crossrefType "journal-article" @default.
• W612650035 hasAuthorship W612650035A5041739806 @default.
• W612650035 hasConcept C114614502 @default.
• W612650035 hasConcept C115903868 @default.
• W612650035 hasConcept C11821877 @default.
• W612650035 hasConcept C118615104 @default.
• W612650035 hasConcept C121332964 @default.
• W612650035 hasConcept C132170107 @default.
• W612650035 hasConcept C134306372 @default.
• W612650035 hasConcept C138390121 @default.
• W612650035 hasConcept C184992742 @default.
• W612650035 hasConcept C202444582 @default.
• W612650035 hasConcept C203702658 @default.
• W612650035 hasConcept C207405024 @default.
• W612650035 hasConcept C24890656 @default.
• W612650035 hasConcept C2775997480 @default.
• W612650035 hasConcept C33923547 @default.
• W612650035 hasConcept C34388435 @default.
• W612650035 hasConcept C41008148 @default.
• W612650035 hasConcept C52703633 @default.
• W612650035 hasConcept C55166926 @default.
• W612650035 hasConceptScore W612650035C114614502 @default.
• W612650035 hasConceptScore W612650035C115903868 @default.
• W612650035 hasConceptScore W612650035C11821877 @default.
• W612650035 hasConceptScore W612650035C118615104 @default.
• W612650035 hasConceptScore W612650035C121332964 @default.
• W612650035 hasConceptScore W612650035C132170107 @default.
• W612650035 hasConceptScore W612650035C134306372 @default.
• W612650035 hasConceptScore W612650035C138390121 @default.
• W612650035 hasConceptScore W612650035C184992742 @default.
• W612650035 hasConceptScore W612650035C202444582 @default.
• W612650035 hasConceptScore W612650035C203702658 @default.
• W612650035 hasConceptScore W612650035C207405024 @default.
• W612650035 hasConceptScore W612650035C24890656 @default.
• W612650035 hasConceptScore W612650035C2775997480 @default.
• W612650035 hasConceptScore W612650035C33923547 @default.
• W612650035 hasConceptScore W612650035C34388435 @default.
• W612650035 hasConceptScore W612650035C41008148 @default.
• W612650035 hasConceptScore W612650035C52703633 @default.
• W612650035 hasConceptScore W612650035C55166926 @default.
• W612650035 hasIssue "38" @default.
• W612650035 hasLocation W6126500351 @default.
• W612650035 hasOpenAccess W612650035 @default.
• W612650035 hasPrimaryLocation W6126500351 @default.
• W612650035 hasRelatedWork W119870785 @default.
• W612650035 hasRelatedWork W1514076924 @default.
• W612650035 hasRelatedWork W1811064013 @default.
• W612650035 hasRelatedWork W1971553070 @default.
• W612650035 hasRelatedWork W1999175002 @default.
• W612650035 hasRelatedWork W2000487993 @default.
• W612650035 hasRelatedWork W2012561888 @default.
• W612650035 hasRelatedWork W2031203614 @default.
• W612650035 hasRelatedWork W2065011759 @default.
• W612650035 hasRelatedWork W2067940271 @default.
• W612650035 hasRelatedWork W2069624526 @default.
• W612650035 hasRelatedWork W2086986908 @default.
• W612650035 hasRelatedWork W2089947806 @default.
• W612650035 hasRelatedWork W2090437514 @default.
• W612650035 hasRelatedWork W2090775178 @default.
• W612650035 hasRelatedWork W2186357987 @default.
• W612650035 hasRelatedWork W2767324680 @default.
• W612650035 hasRelatedWork W2778271082 @default.
• W612650035 hasRelatedWork W3161432936 @default.
• W612650035 hasRelatedWork W3167275847 @default.
• W612650035 isParatext "false" @default.
• W612650035 isRetracted "false" @default.

• next