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; zbMATH DE number 1371587
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Trees and Ehrenfeucht-Fraïssé games |
scientific article; zbMATH DE number 1371587 |
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
0.86626345
0 references
0 references
0 references
0.85848916
0 references
0.85392284
0 references
0.85333025
0 references