No label defined (Q4247808)
From MaRDI portal
scientific article; zbMATH DE number 1302492
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1302492 |
Statements
23 November 1999
0 references
unbounded \(\omega\)-trees
0 references
expressive power
0 references
least fixed-point logic
0 references
transitive closure logic
0 references
downward Löwenheim-Skolem theorem
0 references
monadic second-order logic
0 references
countable well-orderings
0 references
scattered orderings
0 references
height of elements in reduced abelian groups
0 references