Matches in SemOpenAlex for { <https://semopenalex.org/work/W1521672362> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1521672362 abstract "Publisher Summary This chapter describes the lattice embeddings into the recursively enumerable (r.e.) degrees preserving. The characterization of the finite lattices embeddable into the r.e. degrees is important to recursion theorists for two reasons: it provides insight into the structure of the r.e. degrees; and it constitutes a crucial step in determining the decidability of the universal existential theory of the partial ordering of the r.e. degrees and of the existential theory of the r.e. degrees in the language of lattices, possibly with constant symbols for the least and/or greatest element. The full characterization of the lattices embeddable into the r.e. degrees remains open. All known lattice embeddings into the r.e. degrees preserve the least element, 0. Preserving the greatest element, 1, turned out to be quite a bit harder. The chapter shows the embeddability of M5 into the r.e. degrees preserving 1, which is harder as the usual proof for embedding requires infinitary traces. The modular nondistributive five-element lattice, M5, can be embedded into the r.e. degrees preserving the greatest element. The nonmodular nondistributive five-element lattice, N5, can be embedded into the r.e. degrees preserving the greatest element." @default.
- W1521672362 created "2016-06-24" @default.
- W1521672362 creator A5032435178 @default.
- W1521672362 creator A5059289409 @default.
- W1521672362 creator A5091904171 @default.
- W1521672362 date "1995-01-01" @default.
- W1521672362 modified "2023-09-27" @default.
- W1521672362 title "Lattice embeddings into the R.E. Degrees preserving 1" @default.
- W1521672362 cites W1976647442 @default.
- W1521672362 cites W2006726677 @default.
- W1521672362 cites W2045263624 @default.
- W1521672362 cites W2051601785 @default.
- W1521672362 cites W2055472336 @default.
- W1521672362 cites W2055640873 @default.
- W1521672362 cites W2056414301 @default.
- W1521672362 cites W2075451552 @default.
- W1521672362 cites W2088993859 @default.
- W1521672362 cites W2089792255 @default.
- W1521672362 cites W2110093303 @default.
- W1521672362 cites W2213438832 @default.
- W1521672362 cites W2476181846 @default.
- W1521672362 cites W2503562141 @default.
- W1521672362 doi "https://doi.org/10.1016/s0049-237x(06)80044-3" @default.
- W1521672362 hasPublicationYear "1995" @default.
- W1521672362 type Work @default.
- W1521672362 sameAs 1521672362 @default.
- W1521672362 citedByCount "2" @default.
- W1521672362 countsByYear W15216723622014 @default.
- W1521672362 crossrefType "book-chapter" @default.
- W1521672362 hasAuthorship W1521672362A5032435178 @default.
- W1521672362 hasAuthorship W1521672362A5059289409 @default.
- W1521672362 hasAuthorship W1521672362A5091904171 @default.
- W1521672362 hasConcept C114614502 @default.
- W1521672362 hasConcept C118615104 @default.
- W1521672362 hasConcept C121332964 @default.
- W1521672362 hasConcept C153269930 @default.
- W1521672362 hasConcept C154945302 @default.
- W1521672362 hasConcept C17744445 @default.
- W1521672362 hasConcept C199539241 @default.
- W1521672362 hasConcept C200288055 @default.
- W1521672362 hasConcept C202444582 @default.
- W1521672362 hasConcept C203702658 @default.
- W1521672362 hasConcept C24890656 @default.
- W1521672362 hasConcept C2781204021 @default.
- W1521672362 hasConcept C33923547 @default.
- W1521672362 hasConcept C41008148 @default.
- W1521672362 hasConcept C41608201 @default.
- W1521672362 hasConceptScore W1521672362C114614502 @default.
- W1521672362 hasConceptScore W1521672362C118615104 @default.
- W1521672362 hasConceptScore W1521672362C121332964 @default.
- W1521672362 hasConceptScore W1521672362C153269930 @default.
- W1521672362 hasConceptScore W1521672362C154945302 @default.
- W1521672362 hasConceptScore W1521672362C17744445 @default.
- W1521672362 hasConceptScore W1521672362C199539241 @default.
- W1521672362 hasConceptScore W1521672362C200288055 @default.
- W1521672362 hasConceptScore W1521672362C202444582 @default.
- W1521672362 hasConceptScore W1521672362C203702658 @default.
- W1521672362 hasConceptScore W1521672362C24890656 @default.
- W1521672362 hasConceptScore W1521672362C2781204021 @default.
- W1521672362 hasConceptScore W1521672362C33923547 @default.
- W1521672362 hasConceptScore W1521672362C41008148 @default.
- W1521672362 hasConceptScore W1521672362C41608201 @default.
- W1521672362 hasLocation W15216723621 @default.
- W1521672362 hasOpenAccess W1521672362 @default.
- W1521672362 hasPrimaryLocation W15216723621 @default.
- W1521672362 hasRelatedWork W100330389 @default.
- W1521672362 hasRelatedWork W1912428183 @default.
- W1521672362 hasRelatedWork W1987854263 @default.
- W1521672362 hasRelatedWork W2005135052 @default.
- W1521672362 hasRelatedWork W2005614406 @default.
- W1521672362 hasRelatedWork W2019159031 @default.
- W1521672362 hasRelatedWork W2021836463 @default.
- W1521672362 hasRelatedWork W2049791550 @default.
- W1521672362 hasRelatedWork W2061653543 @default.
- W1521672362 hasRelatedWork W2082150991 @default.
- W1521672362 hasRelatedWork W2353020628 @default.
- W1521672362 hasRelatedWork W2479163333 @default.
- W1521672362 hasRelatedWork W2572560211 @default.
- W1521672362 hasRelatedWork W2603286612 @default.
- W1521672362 hasRelatedWork W2903157754 @default.
- W1521672362 hasRelatedWork W2994393479 @default.
- W1521672362 hasRelatedWork W3047111879 @default.
- W1521672362 hasRelatedWork W3149732360 @default.
- W1521672362 hasRelatedWork W3150018087 @default.
- W1521672362 hasRelatedWork W93968053 @default.
- W1521672362 isParatext "false" @default.
- W1521672362 isRetracted "false" @default.
- W1521672362 magId "1521672362" @default.
- W1521672362 workType "book-chapter" @default.