No label defined (Q4876640)
From MaRDI portal
scientific article; zbMATH DE number 873906
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 873906 |
Statements
6 May 1996
0 references
fixed-point logic
0 references
Ehrenfeucht-Fraïssé game
0 references
finite structures
0 references
quantifier hierarchy
0 references
countable orders
0 references