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 |
Created claim: Wikidata QID (P12): Q59199674, #quickstatements; #temporary_batch_1722035971323 |
||
(One intermediate revision by one other user not shown) | |||
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 | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q59199674 / rank | |||
Normal rank |
Latest revision as of 01:31, 27 July 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