Computable trees of Scott rank <i>ω</i><sub>1</sub><sup><i>CK</i></sup>, and computable approximation (Q5477636): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Computable structures and the hyperarithmetical hierarchy / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Pairs of recursive structures / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4040890 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5573961 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Scott sentences and admissible sets / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4249355 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Ramified systems / rank | |||
Normal rank | |||
Latest revision as of 17:55, 24 June 2024
scientific article; zbMATH DE number 5038900
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computable trees of Scott rank <i>ω</i><sub>1</sub><sup><i>CK</i></sup>, and computable approximation |
scientific article; zbMATH DE number 5038900 |
Statements
Computable trees of Scott rank <i>ω</i><sub>1</sub><sup><i>CK</i></sup>, and computable approximation (English)
0 references
5 July 2006
0 references
Scott rank
0 references
computable trees
0 references
computable approximation
0 references
