Matches in SemOpenAlex for { <https://semopenalex.org/work/W4317548253> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W4317548253 abstract "The Solecki dichotomy in descriptive set theory and the Posner-Robinson theorem in computability theory bear a superficial resemblance to each other and can sometimes be used to prove the same results, but do not have any obvious direct relationship. We show that in fact there is such a relationship by formulating slightly weakened versions of the two theorems and showing that, when combined with determinacy principles, each one yields a short proof of the other. This relationship also holds for generalizations of the Solecki dichotomy and the Posner-Robinson theorem to higher levels of the Borel/hyperarithmetic hierarchy." @default.
- W4317548253 created "2023-01-20" @default.
- W4317548253 creator A5015163256 @default.
- W4317548253 date "2023-01-17" @default.
- W4317548253 modified "2023-09-25" @default.
- W4317548253 title "The Solecki Dichotomy and the Posner-Robinson Theorem are Almost Equivalent" @default.
- W4317548253 doi "https://doi.org/10.48550/arxiv.2301.07259" @default.
- W4317548253 hasPublicationYear "2023" @default.
- W4317548253 type Work @default.
- W4317548253 citedByCount "0" @default.
- W4317548253 crossrefType "posted-content" @default.
- W4317548253 hasAuthorship W4317548253A5015163256 @default.
- W4317548253 hasBestOaLocation W43175482531 @default.
- W4317548253 hasConcept C118615104 @default.
- W4317548253 hasConcept C134306372 @default.
- W4317548253 hasConcept C144237770 @default.
- W4317548253 hasConcept C152062344 @default.
- W4317548253 hasConcept C153046414 @default.
- W4317548253 hasConcept C162324750 @default.
- W4317548253 hasConcept C177264268 @default.
- W4317548253 hasConcept C199360897 @default.
- W4317548253 hasConcept C202444582 @default.
- W4317548253 hasConcept C31170391 @default.
- W4317548253 hasConcept C33923547 @default.
- W4317548253 hasConcept C34447519 @default.
- W4317548253 hasConcept C41008148 @default.
- W4317548253 hasConcept C58468513 @default.
- W4317548253 hasConceptScore W4317548253C118615104 @default.
- W4317548253 hasConceptScore W4317548253C134306372 @default.
- W4317548253 hasConceptScore W4317548253C144237770 @default.
- W4317548253 hasConceptScore W4317548253C152062344 @default.
- W4317548253 hasConceptScore W4317548253C153046414 @default.
- W4317548253 hasConceptScore W4317548253C162324750 @default.
- W4317548253 hasConceptScore W4317548253C177264268 @default.
- W4317548253 hasConceptScore W4317548253C199360897 @default.
- W4317548253 hasConceptScore W4317548253C202444582 @default.
- W4317548253 hasConceptScore W4317548253C31170391 @default.
- W4317548253 hasConceptScore W4317548253C33923547 @default.
- W4317548253 hasConceptScore W4317548253C34447519 @default.
- W4317548253 hasConceptScore W4317548253C41008148 @default.
- W4317548253 hasConceptScore W4317548253C58468513 @default.
- W4317548253 hasLocation W43175482531 @default.
- W4317548253 hasOpenAccess W4317548253 @default.
- W4317548253 hasPrimaryLocation W43175482531 @default.
- W4317548253 hasRelatedWork W1859243677 @default.
- W4317548253 hasRelatedWork W1986556607 @default.
- W4317548253 hasRelatedWork W2078856877 @default.
- W4317548253 hasRelatedWork W2410278476 @default.
- W4317548253 hasRelatedWork W2537575110 @default.
- W4317548253 hasRelatedWork W2553290232 @default.
- W4317548253 hasRelatedWork W2624836564 @default.
- W4317548253 hasRelatedWork W3100736911 @default.
- W4317548253 hasRelatedWork W3105947898 @default.
- W4317548253 hasRelatedWork W4206451504 @default.
- W4317548253 isParatext "false" @default.
- W4317548253 isRetracted "false" @default.
- W4317548253 workType "article" @default.