A version of the Jensen-Johnsbråten coding at arbitrary level \(n\geq 3\) (Q1407514)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A version of the Jensen-Johnsbråten coding at arbitrary level \(n\geq 3\) |
scientific article |
Statements
A version of the Jensen-Johnsbråten coding at arbitrary level \(n\geq 3\) (English)
0 references
16 September 2003
0 references
Jensen-Johnsbråten coding
0 references
higher projective levels
0 references
generic \(\Delta^1_3\) real singletons
0 references
