Incomparable prime ideals of recursively enumerable degrees (Q688789)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Incomparable prime ideals of recursively enumerable degrees |
scientific article; zbMATH DE number 438513
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Incomparable prime ideals of recursively enumerable degrees |
scientific article; zbMATH DE number 438513 |
Statements
Incomparable prime ideals of recursively enumerable degrees (English)
0 references
28 November 1993
0 references
The author establishes that the upper-semilattice \(({\mathbf R},\leq)\) of recursively enumerable degrees contains an infinite antichain of prime ideals. This can be viewed as strong lattice-theoretical strengthening of the Friedberg-Muchnik theorem. The construction is an infinite injury one, but presented roughly, via Harrington's method of workers. The paper begins with a discussion of this method.
0 references
upper-semilattice of recursively enumerable degrees
0 references
infinite injury construction
0 references
infinite antichain of prime ideals
0 references
Harrington's method of workers
0 references
0 references
0 references
