Trees and Ehrenfeucht-Fraïssé games (Q1125057)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Trees and Ehrenfeucht-Fraïssé games |
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
