Publisher
Springer International Publishing
Reference15 articles.
1. Kechris, A.S.: Classical Descriptive Set Theory. Springer, New York (1995).
https://doi.org/10.1007/978-1-4612-4190-4
2. Rabin, M.O.: Decidability of second-order theories and automata on infinite trees. Trans. Am. Math. Soc. 141, 1–35 (1969)
3. Lifsches, S., Shelah, S.: Uniformization and skolem functions in the class of trees. J. Symbolic Logic 63, 103–127 (1998)
4. Gurevich, Y., Shelah, S.: Rabin’s uniformization problem. J. Symbolic Logic 48(4), 1105–1119 (1983)
5. Carayol, A., Löding, C., Niwiñski, D., Walukiewicz, I.: Choice functions and well-orderings over the infinite binary tree. Cent. Eur. J. Math. 8(4), 662–682 (2010)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Uniformisation of Regular Relations in First-Order Logic with Two Variables;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08