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
Set profile property. |
Created claim: Wikidata QID (P12): Q59199674, #quickstatements; #temporary_batch_1722035971323 |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2081858636 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0508507 / rank | |||
Normal rank | |||
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 | |||
links / mardi / name | links / mardi / name | ||
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