Trees and Ehrenfeucht-Fraïssé games (Q1125057)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Trees and Ehrenfeucht-Fraïssé games |
scientific article |
Statements
Trees and Ehrenfeucht-Fraïssé games (English)
0 references
9 May 2000
0 references
uncountable analogue of the concept of Scott-rank of a countable structure
0 references
ordering between trees
0 references
ordering between ordinals
0 references
successor operation
0 references
