Uniformization and skolem functions in the class of trees (Q4391426)
From MaRDI portal
scientific article; zbMATH DE number 1158354
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Uniformization and skolem functions in the class of trees |
scientific article; zbMATH DE number 1158354 |
Statements
Uniformization and skolem functions in the class of trees (English)
0 references
3 November 1998
0 references
Skolem functions
0 references
monadic theory of trees
0 references
monadic second-order logic
0 references
choice function
0 references
well-ordering
0 references
very tame trees
0 references
