Lattice nonembeddings and initial segments of the recursively enumerable degrees (Q757358): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Created claim: Wikidata QID (P12): Q127957228, #quickstatements; #temporary_batch_1723538522512 |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Q494055 / rank | |||
Property / author | |||
Property / author: Rodney G. Downey / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0168-0072(90)90062-7 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1980888823 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5187269 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lattice embeddings into the recursively enumerable degrees. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Intervals and sublattices of the r.e. weak truth table degrees. I: Density / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3197813 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3197814 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The density of the nonbranching degrees / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The undecidability of the recursively enumerable degrees / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5670617 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bounding minimal pairs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Refinement of Lown and Highn for the R.E. Degrees / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3691658 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4040892 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q127957228 / rank | |||
Normal rank |
Latest revision as of 10:44, 13 August 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Lattice nonembeddings and initial segments of the recursively enumerable degrees |
scientific article |
Statements
Lattice nonembeddings and initial segments of the recursively enumerable degrees (English)
0 references
1990
0 references
The structure of an arbitrary initial segment of the upper semilattice of r.e. degrees is investigated. Main result: There exists a nonzero r.e. degree that bounds no critical triple. Conjecture: Every lattice that contains no critical triple is embeddable below every nonzero r.e. degree.
0 references
embedding
0 references
initial segment of the upper semilattice of r.e. degrees
0 references
critical triple
0 references