Uniformization and skolem functions in the class of trees

DOI10.2307/2586591zbMath0899.03010arXivmath/9412231OpenAlexW2059001666MaRDI QIDQ4391426

Shmuel Lifsches, Saharon Shelah

Publication date: 3 November 1998

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/9412231

zbMATH Keywords

monadic second-order logicchoice functionSkolem functionswell-orderingmonadic theory of treesvery tame trees

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30)

Related Items

Regular languages of thin trees ⋮ On decidability of monadic logic of order over the naturals extended by monadic predicates ⋮ Choice functions and well-orderings over the infinite binary tree ⋮ Selection over classes of ordinals expanded by monadic predicates ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey ⋮ Regular sets over extended tree structures ⋮ Uniformization, choice functions and well orders in the class of trees

Cites Work

• The monadic theory of order

This page was built for publication: Uniformization and skolem functions in the class of trees