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

DOI10.2307/2275812zbMath0872.03005arXivmath/9404227OpenAlexW2105322061MaRDI QIDQ3128469

Saharon Shelah, Shmuel Lifsches

Publication date: 6 October 1997

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

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

zbMATH Keywords

monadic second-order logictreeschoice functionwell-order

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (4)

Choice functions and well-orderings over the infinite binary tree ⋮ Arity hierarchy for temporal logics ⋮ Cardinality Quantifiers in MLO over Trees ⋮ Regular sets over extended tree structures

Cites Work

• The monadic theory of order
• Uniformization and skolem functions in the class of trees

This page was built for publication: Uniformization, choice functions and well orders in the class of trees