Matches in SemOpenAlex for { <https://semopenalex.org/work/W2994393479> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2994393479 abstract "Let α be an admissible ordinal and let L be the first order language with equality and a single binary relation ≤. The elementary theory of the α -degrees is the set of all sentences of L which are true in the universe of the α -degrees when ≤ is interpreted as the partial ordering of the α -degrees. Lachlan [6] showed that the elementary theory of the ω -degrees is nonaxiomatizable by proving that any countable distributive lattice with greatest and least members can be imbedded as an initial segment of the degrees of unsolvability. This paper deals with the extension of these results to α -recursion theory for an arbitrary countable admissible α > ω . Given α , we construct a set A with α -degree a such that every countable distributive lattice with greatest and least member is order isomorphic to a segment of α -degrees { d ∣ a ≤ α d ≤ α b } for some α -degree b . As in [6] this implies that the elementary theory of the α -degrees is nonaxiomatizable and hence undecidable. A is constructed in §2. A is a set of integers which is generic with respect to a suitable notion of forcing. Additional applications of such sets are summarized at the end of the section. In §3 we define the notion of a tree and construct a particular tree T 0 which is weakly α -recursive in A . Using T 0 we can apply the techniques of [6] and [2] to α -recursion theory. In §4 we reduce our main results to three technical lemmas concerning systems of trees. These lemmas are proved in §5." @default.
- W2994393479 created "2019-12-13" @default.
- W2994393479 creator A5091697170 @default.
- W2994393479 date "1973-09-01" @default.
- W2994393479 modified "2023-10-17" @default.
- W2994393479 title "Noninitial segments of the α-degrees " @default.
- W2994393479 cites W1970488443 @default.
- W2994393479 cites W2042499838 @default.
- W2994393479 doi "https://doi.org/10.2307/2273029" @default.
- W2994393479 hasPublicationYear "1973" @default.
- W2994393479 type Work @default.
- W2994393479 sameAs 2994393479 @default.
- W2994393479 citedByCount "2" @default.
- W2994393479 crossrefType "journal-article" @default.
- W2994393479 hasAuthorship W2994393479A5091697170 @default.
- W2994393479 hasConcept C110729354 @default.
- W2994393479 hasConcept C111142201 @default.
- W2994393479 hasConcept C111919701 @default.
- W2994393479 hasConcept C114614502 @default.
- W2994393479 hasConcept C11821877 @default.
- W2994393479 hasConcept C118615104 @default.
- W2994393479 hasConcept C121332964 @default.
- W2994393479 hasConcept C153269930 @default.
- W2994393479 hasConcept C156103551 @default.
- W2994393479 hasConcept C180645754 @default.
- W2994393479 hasConcept C192034797 @default.
- W2994393479 hasConcept C192606457 @default.
- W2994393479 hasConcept C197855036 @default.
- W2994393479 hasConcept C199360897 @default.
- W2994393479 hasConcept C202444582 @default.
- W2994393479 hasConcept C24890656 @default.
- W2994393479 hasConcept C2778029271 @default.
- W2994393479 hasConcept C2779851814 @default.
- W2994393479 hasConcept C2780129039 @default.
- W2994393479 hasConcept C2781204021 @default.
- W2994393479 hasConcept C33923547 @default.
- W2994393479 hasConcept C41008148 @default.
- W2994393479 hasConcept C65180967 @default.
- W2994393479 hasConceptScore W2994393479C110729354 @default.
- W2994393479 hasConceptScore W2994393479C111142201 @default.
- W2994393479 hasConceptScore W2994393479C111919701 @default.
- W2994393479 hasConceptScore W2994393479C114614502 @default.
- W2994393479 hasConceptScore W2994393479C11821877 @default.
- W2994393479 hasConceptScore W2994393479C118615104 @default.
- W2994393479 hasConceptScore W2994393479C121332964 @default.
- W2994393479 hasConceptScore W2994393479C153269930 @default.
- W2994393479 hasConceptScore W2994393479C156103551 @default.
- W2994393479 hasConceptScore W2994393479C180645754 @default.
- W2994393479 hasConceptScore W2994393479C192034797 @default.
- W2994393479 hasConceptScore W2994393479C192606457 @default.
- W2994393479 hasConceptScore W2994393479C197855036 @default.
- W2994393479 hasConceptScore W2994393479C199360897 @default.
- W2994393479 hasConceptScore W2994393479C202444582 @default.
- W2994393479 hasConceptScore W2994393479C24890656 @default.
- W2994393479 hasConceptScore W2994393479C2778029271 @default.
- W2994393479 hasConceptScore W2994393479C2779851814 @default.
- W2994393479 hasConceptScore W2994393479C2780129039 @default.
- W2994393479 hasConceptScore W2994393479C2781204021 @default.
- W2994393479 hasConceptScore W2994393479C33923547 @default.
- W2994393479 hasConceptScore W2994393479C41008148 @default.
- W2994393479 hasConceptScore W2994393479C65180967 @default.
- W2994393479 hasLocation W29943934791 @default.
- W2994393479 hasOpenAccess W2994393479 @default.
- W2994393479 hasPrimaryLocation W29943934791 @default.
- W2994393479 hasRelatedWork W2010757891 @default.
- W2994393479 hasRelatedWork W2019192060 @default.
- W2994393479 hasRelatedWork W2084489331 @default.
- W2994393479 hasRelatedWork W2095873474 @default.
- W2994393479 hasRelatedWork W2114291746 @default.
- W2994393479 hasRelatedWork W2129063902 @default.
- W2994393479 hasRelatedWork W2129772766 @default.
- W2994393479 hasRelatedWork W2149022879 @default.
- W2994393479 hasRelatedWork W2293989599 @default.
- W2994393479 hasRelatedWork W2295836317 @default.
- W2994393479 hasRelatedWork W2314784468 @default.
- W2994393479 hasRelatedWork W2346539614 @default.
- W2994393479 hasRelatedWork W2806335044 @default.
- W2994393479 hasRelatedWork W2807371267 @default.
- W2994393479 hasRelatedWork W2893707817 @default.
- W2994393479 hasRelatedWork W2903157754 @default.
- W2994393479 hasRelatedWork W2949861466 @default.
- W2994393479 hasRelatedWork W3047092192 @default.
- W2994393479 hasRelatedWork W3100596403 @default.
- W2994393479 hasRelatedWork W46733651 @default.
- W2994393479 isParatext "false" @default.
- W2994393479 isRetracted "false" @default.
- W2994393479 magId "2994393479" @default.
- W2994393479 workType "article" @default.