Uniformization, choice functions and well orders in the class of trees

Journal of Symbolic Logic

Volumn 61, Issue 4, 1996, Pages 1206-1227

  Lifsches, Shmuel ^a   Shelah, Saharon ^a  

^a HEBREW UNIVERSITY OF JERUSALEM   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030300455     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2275812     Document Type: Article

References (7)

1. J. R. BÜCHI and L. H. LANDWEBER, Solving sequential conditions by finite-state strategies, Transactions of the American Mathematical Society, vol. 138 (1969), pp. 295-311.
2. Y. GUREVICH, Monadic second-order theories, Model theoretic logics (J. Barwise and S. Feferman, editors), Springer-Verlag, Berlin, 1985, pp. 479-506.
3. Y. GUREVICH and S. SHELAH, Rabin's uniformization problem, this JOURNAL, vol. 48 (1983), pp. 1105-1119.
4. F. HAUSDORFF, Grundzüge einer Theorie der geordnetn Mengen, Mathematische Annalen, vol. 65 (1908), pp. 435-505.
5. S. LIFSCHES and S. SHELAH, Uniformization and Skolem functions in the class of trees, this JOURNAL, accepted.
6. M. O. RABIN, Decidability of second-order theories and automata on infinite trees, Transactions of the American Mathematical Society, vol. 141 (1969), pp. 1-35.
7. S. SHELAH, The monadic theory of order, Annals of Mathematics, vol. 102 (1975), pp. 379-419.