Incomparable prime ideals of recursively enumerable degrees (Q688789): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 00:59, 5 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Incomparable prime ideals of recursively enumerable degrees |
scientific article |
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
