Uniformization and Skolem Functions in the Class of Trees
Lifsches, Shmuel ; Shelah, Saharon
J. Symbolic Logic, Tome 63 (1998) no. 1, p. 103-127 / Harvested from Project Euclid
The monadic second-order theory of trees allows quantification over elements and over arbitrary subsets. We classify the class of trees with respect to the question: does a tree T have definable Skolem functions (by a monadic formula with parameters)? This continues [6] where the question was asked only with respect to choice functions. A natural subclass is defined and proved to be the class of trees with definable Skolem functions. Along the way we investigate the spectrum of definable well orderings of well ordered chains.
Publié le : 1998-03-14
Classification: 
@article{1183745461,
     author = {Lifsches, Shmuel and Shelah, Saharon},
     title = {Uniformization and Skolem Functions in the Class of Trees},
     journal = {J. Symbolic Logic},
     volume = {63},
     number = {1},
     year = {1998},
     pages = { 103-127},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745461}
}
Lifsches, Shmuel; Shelah, Saharon. Uniformization and Skolem Functions in the Class of Trees. J. Symbolic Logic, Tome 63 (1998) no. 1, pp.  103-127. http://gdmltest.u-ga.fr/item/1183745461/