A hierarchy of tree-automatic structures (Q5388735): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q324244 |
Changed an Item |
||
Property / author | |||
Property / author: Olivier Finkel / rank | |||
Normal rank |
Revision as of 03:48, 13 February 2024
scientific article; zbMATH DE number 6025975
Language | Label | Description | Also known as |
---|---|---|---|
English | A hierarchy of tree-automatic structures |
scientific article; zbMATH DE number 6025975 |
Statements
A hierarchy of tree-automatic structures (English)
0 references
19 April 2012
0 references
automata reading ordinal words
0 references
\(\omega ^{n}\)-automatic structures
0 references
\(\omega \)-tree-automatic structures
0 references
isomorphism relation
0 references
models of set theory
0 references
independence results
0 references