Matches in SemOpenAlex for { <https://semopenalex.org/work/W2010076006> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2010076006 endingPage "37" @default.
- W2010076006 startingPage "3" @default.
- W2010076006 abstract "Ambos-Spies, K. and R.A. Shore, Undecidability and 1-types in the recursively enumerable degrees, Annals of Pure and Applied Logic 63 (1993) 3–37. We show that the theory of the partial ordering of recursively enumerable Turing degrees is undecidable and has uncountably many 1-types. In contrast to the original proof of the former which used a very complicated O ''' argument our proof proceeds by a much simpler infinite injury argument. Moreover, it combines with the permitting technique to get similar results for any ideal of the r.e. degrees." @default.
- W2010076006 created "2016-06-24" @default.
- W2010076006 creator A5041739806 @default.
- W2010076006 creator A5059289409 @default.
- W2010076006 date "1993-08-01" @default.
- W2010076006 modified "2023-09-27" @default.
- W2010076006 title "Undecidability and 1-types in the recursively enumerable degrees" @default.
- W2010076006 cites W1964249676 @default.
- W2010076006 cites W1970960302 @default.
- W2010076006 cites W2006726677 @default.
- W2010076006 cites W2015965037 @default.
- W2010076006 cites W2037416374 @default.
- W2010076006 cites W2051601785 @default.
- W2010076006 cites W2055472336 @default.
- W2010076006 cites W2057628387 @default.
- W2010076006 cites W2089792255 @default.
- W2010076006 cites W2091246156 @default.
- W2010076006 doi "https://doi.org/10.1016/0168-0072(93)90206-s" @default.
- W2010076006 hasPublicationYear "1993" @default.
- W2010076006 type Work @default.
- W2010076006 sameAs 2010076006 @default.
- W2010076006 citedByCount "16" @default.
- W2010076006 countsByYear W20100760062014 @default.
- W2010076006 countsByYear W20100760062018 @default.
- W2010076006 crossrefType "journal-article" @default.
- W2010076006 hasAuthorship W2010076006A5041739806 @default.
- W2010076006 hasAuthorship W2010076006A5059289409 @default.
- W2010076006 hasConcept C111472728 @default.
- W2010076006 hasConcept C11413529 @default.
- W2010076006 hasConcept C114614502 @default.
- W2010076006 hasConcept C118615104 @default.
- W2010076006 hasConcept C137343475 @default.
- W2010076006 hasConcept C138885662 @default.
- W2010076006 hasConcept C153269930 @default.
- W2010076006 hasConcept C177264268 @default.
- W2010076006 hasConcept C188521023 @default.
- W2010076006 hasConcept C192034797 @default.
- W2010076006 hasConcept C195244886 @default.
- W2010076006 hasConcept C199360897 @default.
- W2010076006 hasConcept C203702658 @default.
- W2010076006 hasConcept C2776639384 @default.
- W2010076006 hasConcept C2780708616 @default.
- W2010076006 hasConcept C29248071 @default.
- W2010076006 hasConcept C33923547 @default.
- W2010076006 hasConcept C41008148 @default.
- W2010076006 hasConcept C45374587 @default.
- W2010076006 hasConcept C47884741 @default.
- W2010076006 hasConcept C52703633 @default.
- W2010076006 hasConcept C95457728 @default.
- W2010076006 hasConcept C9870796 @default.
- W2010076006 hasConceptScore W2010076006C111472728 @default.
- W2010076006 hasConceptScore W2010076006C11413529 @default.
- W2010076006 hasConceptScore W2010076006C114614502 @default.
- W2010076006 hasConceptScore W2010076006C118615104 @default.
- W2010076006 hasConceptScore W2010076006C137343475 @default.
- W2010076006 hasConceptScore W2010076006C138885662 @default.
- W2010076006 hasConceptScore W2010076006C153269930 @default.
- W2010076006 hasConceptScore W2010076006C177264268 @default.
- W2010076006 hasConceptScore W2010076006C188521023 @default.
- W2010076006 hasConceptScore W2010076006C192034797 @default.
- W2010076006 hasConceptScore W2010076006C195244886 @default.
- W2010076006 hasConceptScore W2010076006C199360897 @default.
- W2010076006 hasConceptScore W2010076006C203702658 @default.
- W2010076006 hasConceptScore W2010076006C2776639384 @default.
- W2010076006 hasConceptScore W2010076006C2780708616 @default.
- W2010076006 hasConceptScore W2010076006C29248071 @default.
- W2010076006 hasConceptScore W2010076006C33923547 @default.
- W2010076006 hasConceptScore W2010076006C41008148 @default.
- W2010076006 hasConceptScore W2010076006C45374587 @default.
- W2010076006 hasConceptScore W2010076006C47884741 @default.
- W2010076006 hasConceptScore W2010076006C52703633 @default.
- W2010076006 hasConceptScore W2010076006C95457728 @default.
- W2010076006 hasConceptScore W2010076006C9870796 @default.
- W2010076006 hasIssue "1" @default.
- W2010076006 hasLocation W20100760061 @default.
- W2010076006 hasOpenAccess W2010076006 @default.
- W2010076006 hasPrimaryLocation W20100760061 @default.
- W2010076006 hasRelatedWork W127695342 @default.
- W2010076006 hasRelatedWork W1976891796 @default.
- W2010076006 hasRelatedWork W1978060594 @default.
- W2010076006 hasRelatedWork W1982652937 @default.
- W2010076006 hasRelatedWork W1991582829 @default.
- W2010076006 hasRelatedWork W2010076006 @default.
- W2010076006 hasRelatedWork W2011410600 @default.
- W2010076006 hasRelatedWork W2031203614 @default.
- W2010076006 hasRelatedWork W2066136688 @default.
- W2010076006 hasRelatedWork W584827857 @default.
- W2010076006 hasVolume "63" @default.
- W2010076006 isParatext "false" @default.
- W2010076006 isRetracted "false" @default.
- W2010076006 magId "2010076006" @default.
- W2010076006 workType "article" @default.