Matches in SemOpenAlex for { <https://semopenalex.org/work/W2510204233> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2510204233 abstract "We include here some material that did not make its way into the published version (Bull. Symb. Log 18-2, June 2012, pp. 161-229, arXiv:1007.2376), in particular a proof of Theorem K to the effect that there is an initial segment of the strong degrees with dual theory IPC, the intuitionistic propositional calculus." @default.
- W2510204233 created "2016-09-16" @default.
- W2510204233 creator A5018948336 @default.
- W2510204233 date "2012-11-10" @default.
- W2510204233 modified "2023-09-27" @default.
- W2510204233 title "Addendum to: A Survey of Muvcnik and Medvedev Degrees" @default.
- W2510204233 cites W2070956093 @default.
- W2510204233 cites W2091330336 @default.
- W2510204233 cites W2160667926 @default.
- W2510204233 hasPublicationYear "2012" @default.
- W2510204233 type Work @default.
- W2510204233 sameAs 2510204233 @default.
- W2510204233 citedByCount "0" @default.
- W2510204233 crossrefType "posted-content" @default.
- W2510204233 hasAuthorship W2510204233A5018948336 @default.
- W2510204233 hasConcept C118615104 @default.
- W2510204233 hasConcept C136119220 @default.
- W2510204233 hasConcept C138885662 @default.
- W2510204233 hasConcept C144237770 @default.
- W2510204233 hasConcept C199343813 @default.
- W2510204233 hasConcept C202444582 @default.
- W2510204233 hasConcept C2777686260 @default.
- W2510204233 hasConcept C2778945725 @default.
- W2510204233 hasConcept C2780980858 @default.
- W2510204233 hasConcept C33923547 @default.
- W2510204233 hasConcept C41895202 @default.
- W2510204233 hasConcept C69562738 @default.
- W2510204233 hasConcept C71924100 @default.
- W2510204233 hasConceptScore W2510204233C118615104 @default.
- W2510204233 hasConceptScore W2510204233C136119220 @default.
- W2510204233 hasConceptScore W2510204233C138885662 @default.
- W2510204233 hasConceptScore W2510204233C144237770 @default.
- W2510204233 hasConceptScore W2510204233C199343813 @default.
- W2510204233 hasConceptScore W2510204233C202444582 @default.
- W2510204233 hasConceptScore W2510204233C2777686260 @default.
- W2510204233 hasConceptScore W2510204233C2778945725 @default.
- W2510204233 hasConceptScore W2510204233C2780980858 @default.
- W2510204233 hasConceptScore W2510204233C33923547 @default.
- W2510204233 hasConceptScore W2510204233C41895202 @default.
- W2510204233 hasConceptScore W2510204233C69562738 @default.
- W2510204233 hasConceptScore W2510204233C71924100 @default.
- W2510204233 hasLocation W25102042331 @default.
- W2510204233 hasOpenAccess W2510204233 @default.
- W2510204233 hasPrimaryLocation W25102042331 @default.
- W2510204233 hasRelatedWork W1947189878 @default.
- W2510204233 hasRelatedWork W1965116174 @default.
- W2510204233 hasRelatedWork W1965749885 @default.
- W2510204233 hasRelatedWork W1975531498 @default.
- W2510204233 hasRelatedWork W1979862983 @default.
- W2510204233 hasRelatedWork W2007577694 @default.
- W2510204233 hasRelatedWork W2022100303 @default.
- W2510204233 hasRelatedWork W2040462567 @default.
- W2510204233 hasRelatedWork W2088127783 @default.
- W2510204233 hasRelatedWork W2114849111 @default.
- W2510204233 hasRelatedWork W2112061658 @default.
- W2510204233 isParatext "false" @default.
- W2510204233 isRetracted "false" @default.
- W2510204233 magId "2510204233" @default.
- W2510204233 workType "article" @default.