Matches in SemOpenAlex for { <https://semopenalex.org/work/W2015707592> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2015707592 endingPage "330" @default.
- W2015707592 startingPage "322" @default.
- W2015707592 abstract "Ever since Post [4] the structure of recursively enumerable sets and their classification has been an important area in recursion theory. It is also intimately connected with the study of the lattices and of r.e. sets and r.e. sets modulo finite sets respectively. (This lattice theoretic viewpoint was introduced by Myhill [3].) Key roles in both areas have been played by the lattice of r.e. supersets, , of an r.e. set A (along with the corresponding modulo finite sets) and more recently by the group of automorphisms of and . Thus for example we have Lachlan's deep result [1] that Post's notion of A being hyperhypersimple is equivalent to (or ) being a Boolean algebra. Indeed Lachlan even tells us which Boolean algebras appear as —precisely those with Σ 3 representations. There are also many other simpler but still illuminating connections between the older typology of r.e. sets and their roles in the lattice . ( r -maximal sets for example are just those with completely uncomplemented.) On the other hand, work on automorphisms by Martin and by Soare [8], [9] has shown that most other Post type conditions on r.e. sets such as hypersimplicity or creativeness which are not obviously lattice theoretic are in fact not invariant properties of . In general the program of analyzing and classifying r.e. sets has been directed at the simple sets. Thus the subtypes of simple sets studied abound — between ten and fifteen are mentioned in [5] and there are others — but there seems to be much less known about the nonsimple sets. The typologies introduced for the nonsimple sets begin with Post's notion of creativeness and add on a few variations. (See [5, §8.7] and the related exercises for some examples.) Although there is a classification scheme for r.e. sets along the simple to creative line (see [5, §8.7]) it is admitted to be somewhat artificial and arbitrary. Moreover there does not seem to have been much recent work on the nonsimple sets." @default.
- W2015707592 created "2016-06-24" @default.
- W2015707592 creator A5041739806 @default.
- W2015707592 date "1978-06-01" @default.
- W2015707592 modified "2023-10-16" @default.
- W2015707592 title "Nowhere simple sets and the lattice of recursively enumerable sets " @default.
- W2015707592 cites W1965251765 @default.
- W2015707592 cites W1975466840 @default.
- W2015707592 cites W1979221298 @default.
- W2015707592 cites W2045033949 @default.
- W2015707592 cites W2315181607 @default.
- W2015707592 doi "https://doi.org/10.2307/2272830" @default.
- W2015707592 hasPublicationYear "1978" @default.
- W2015707592 type Work @default.
- W2015707592 sameAs 2015707592 @default.
- W2015707592 citedByCount "27" @default.
- W2015707592 countsByYear W20157075922012 @default.
- W2015707592 countsByYear W20157075922013 @default.
- W2015707592 countsByYear W20157075922015 @default.
- W2015707592 countsByYear W20157075922017 @default.
- W2015707592 countsByYear W20157075922018 @default.
- W2015707592 crossrefType "journal-article" @default.
- W2015707592 hasAuthorship W2015707592A5041739806 @default.
- W2015707592 hasConcept C111472728 @default.
- W2015707592 hasConcept C114614502 @default.
- W2015707592 hasConcept C118615104 @default.
- W2015707592 hasConcept C118712358 @default.
- W2015707592 hasConcept C121332964 @default.
- W2015707592 hasConcept C138885662 @default.
- W2015707592 hasConcept C190470478 @default.
- W2015707592 hasConcept C203702658 @default.
- W2015707592 hasConcept C24890656 @default.
- W2015707592 hasConcept C2780586882 @default.
- W2015707592 hasConcept C2781204021 @default.
- W2015707592 hasConcept C33923547 @default.
- W2015707592 hasConcept C37914503 @default.
- W2015707592 hasConcept C52703633 @default.
- W2015707592 hasConcept C54732982 @default.
- W2015707592 hasConceptScore W2015707592C111472728 @default.
- W2015707592 hasConceptScore W2015707592C114614502 @default.
- W2015707592 hasConceptScore W2015707592C118615104 @default.
- W2015707592 hasConceptScore W2015707592C118712358 @default.
- W2015707592 hasConceptScore W2015707592C121332964 @default.
- W2015707592 hasConceptScore W2015707592C138885662 @default.
- W2015707592 hasConceptScore W2015707592C190470478 @default.
- W2015707592 hasConceptScore W2015707592C203702658 @default.
- W2015707592 hasConceptScore W2015707592C24890656 @default.
- W2015707592 hasConceptScore W2015707592C2780586882 @default.
- W2015707592 hasConceptScore W2015707592C2781204021 @default.
- W2015707592 hasConceptScore W2015707592C33923547 @default.
- W2015707592 hasConceptScore W2015707592C37914503 @default.
- W2015707592 hasConceptScore W2015707592C52703633 @default.
- W2015707592 hasConceptScore W2015707592C54732982 @default.
- W2015707592 hasIssue "02" @default.
- W2015707592 hasLocation W20157075921 @default.
- W2015707592 hasOpenAccess W2015707592 @default.
- W2015707592 hasPrimaryLocation W20157075921 @default.
- W2015707592 hasRelatedWork W1894384557 @default.
- W2015707592 hasRelatedWork W2015707592 @default.
- W2015707592 hasRelatedWork W2065683845 @default.
- W2015707592 hasRelatedWork W2068819515 @default.
- W2015707592 hasRelatedWork W2083461990 @default.
- W2015707592 hasRelatedWork W2169114697 @default.
- W2015707592 hasRelatedWork W2799884971 @default.
- W2015707592 hasRelatedWork W4235475336 @default.
- W2015707592 hasRelatedWork W4249864666 @default.
- W2015707592 hasRelatedWork W4289305698 @default.
- W2015707592 hasVolume "43" @default.
- W2015707592 isParatext "false" @default.
- W2015707592 isRetracted "false" @default.
- W2015707592 magId "2015707592" @default.
- W2015707592 workType "article" @default.