Tree-Automatic Well-Founded Trees (Q5891070)
From MaRDI portal
scientific article; zbMATH DE number 6185341
Language | Label | Description | Also known as |
---|---|---|---|
English | Tree-Automatic Well-Founded Trees |
scientific article; zbMATH DE number 6185341 |
Statements
Tree-Automatic Well-Founded Trees (English)
0 references
9 July 2013
0 references
hyperarithmetical hierarchy
0 references
isomorphism problem
0 references
ordinal rank
0 references
tree-automatic structures
0 references
well-founded trees
0 references