ω-Trees in stationary logic (Q3691646)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | ω-Trees in stationary logic |
scientific article |
Statements
ω-Trees in stationary logic (English)
0 references
1983
0 references
cardinality quantifiers
0 references
there exist uncountably many
0 references
Lippner-Vinner games
0 references
equivalence of trees
0 references
quantifier rank
0 references
equivalence relations
0 references