Matches in SemOpenAlex for { <https://semopenalex.org/work/W133492207> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W133492207 abstract "The complexity of priority proofs in recursion theory has been growing since the first priority proofs in [1] and [7]. Refined versions of classic priority proofs can be found in [11]. To this date, this part of recursion theory is at about the same stage of development as real analysis was in the early days, when the notions of topology, continuity, compactness, vector space, inner product space, etc., were not invented. There were no general theorems involving these concepts to prove results about the real numbers and the proofs were repetitive and lengthy." @default.
- W133492207 created "2016-06-24" @default.
- W133492207 creator A5023741849 @default.
- W133492207 date "1993-01-01" @default.
- W133492207 modified "2023-09-24" @default.
- W133492207 title "The Combinatorics of the Friedberg-Muchnick Theorem" @default.
- W133492207 cites W1987100934 @default.
- W133492207 cites W2015965037 @default.
- W133492207 cites W4232277851 @default.
- W133492207 cites W85450016 @default.
- W133492207 doi "https://doi.org/10.1007/978-1-4612-0325-4_15" @default.
- W133492207 hasPublicationYear "1993" @default.
- W133492207 type Work @default.
- W133492207 sameAs 133492207 @default.
- W133492207 citedByCount "1" @default.
- W133492207 crossrefType "book-chapter" @default.
- W133492207 hasAuthorship W133492207A5023741849 @default.
- W133492207 hasConcept C108710211 @default.
- W133492207 hasConcept C11413529 @default.
- W133492207 hasConcept C114614502 @default.
- W133492207 hasConcept C118615104 @default.
- W133492207 hasConcept C13336665 @default.
- W133492207 hasConcept C136119220 @default.
- W133492207 hasConcept C168773036 @default.
- W133492207 hasConcept C18648836 @default.
- W133492207 hasConcept C202444582 @default.
- W133492207 hasConcept C2524010 @default.
- W133492207 hasConcept C33923547 @default.
- W133492207 hasConcept C549619432 @default.
- W133492207 hasConcept C90673727 @default.
- W133492207 hasConceptScore W133492207C108710211 @default.
- W133492207 hasConceptScore W133492207C11413529 @default.
- W133492207 hasConceptScore W133492207C114614502 @default.
- W133492207 hasConceptScore W133492207C118615104 @default.
- W133492207 hasConceptScore W133492207C13336665 @default.
- W133492207 hasConceptScore W133492207C136119220 @default.
- W133492207 hasConceptScore W133492207C168773036 @default.
- W133492207 hasConceptScore W133492207C18648836 @default.
- W133492207 hasConceptScore W133492207C202444582 @default.
- W133492207 hasConceptScore W133492207C2524010 @default.
- W133492207 hasConceptScore W133492207C33923547 @default.
- W133492207 hasConceptScore W133492207C549619432 @default.
- W133492207 hasConceptScore W133492207C90673727 @default.
- W133492207 hasLocation W1334922071 @default.
- W133492207 hasOpenAccess W133492207 @default.
- W133492207 hasPrimaryLocation W1334922071 @default.
- W133492207 hasRelatedWork W1493328794 @default.
- W133492207 hasRelatedWork W1541955821 @default.
- W133492207 hasRelatedWork W1552338706 @default.
- W133492207 hasRelatedWork W1600661924 @default.
- W133492207 hasRelatedWork W1619982369 @default.
- W133492207 hasRelatedWork W1876733567 @default.
- W133492207 hasRelatedWork W1971679942 @default.
- W133492207 hasRelatedWork W1999522767 @default.
- W133492207 hasRelatedWork W2084443499 @default.
- W133492207 hasRelatedWork W2112754349 @default.
- W133492207 hasRelatedWork W2333608964 @default.
- W133492207 hasRelatedWork W2468937493 @default.
- W133492207 hasRelatedWork W2471400301 @default.
- W133492207 hasRelatedWork W26370300 @default.
- W133492207 hasRelatedWork W2786933490 @default.
- W133492207 hasRelatedWork W2899774636 @default.
- W133492207 hasRelatedWork W2955479224 @default.
- W133492207 hasRelatedWork W3084806275 @default.
- W133492207 hasRelatedWork W3087976720 @default.
- W133492207 hasRelatedWork W48667636 @default.
- W133492207 isParatext "false" @default.
- W133492207 isRetracted "false" @default.
- W133492207 magId "133492207" @default.
- W133492207 workType "book-chapter" @default.