Topological Framework for Non‐Priority (Q4711233)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1861
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Topological Framework for Non‐Priority |
scientific article; zbMATH DE number 1861 |
Statements
Topological Framework for Non‐Priority (English)
0 references
25 June 1992
0 references
effective Baire category theorem
0 references
non-priority method
0 references
Kleene-Post construction
0 references
Spector construction
0 references
0 references
0.82756877
0 references
0.8226673
0 references
0.8225016
0 references
0.8222731
0 references
We develop an effective Baire category theorem which is an abstract version of the non-priority method and has the following corollaries: --- The Kleene-Post construction of an incomparable pair of sets below \(0'\), --- The Kleene-Post and Spector construction of an exact pair \((B_ 0,B_ 1)\) \(\phantom{---}\)for an ascending sequence \(\{A_ n\}\), --- The Spector construction of a minimal degree below \(0''\).
0 references
