Uniformization, choice functions and well orders in the class of trees (Q3128469): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: The monadic theory of order / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Uniformization and skolem functions in the class of trees / rank | |||
Normal rank | |||
Latest revision as of 12:10, 27 May 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Uniformization, choice functions and well orders in the class of trees |
scientific article |
Statements
Uniformization, choice functions and well orders in the class of trees (English)
0 references
6 October 1997
0 references
monadic second-order logic
0 references
choice function
0 references
well-order
0 references
trees
0 references
