Rabin's uniformization problem

DOI10.2307/2273673MaRDI QIDQ3322069zbMATH OpenOpenAlexFDO

Authors S. Shelah, Yuri Gurevich

Publication date 1983

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

Full work available at URL https://semanticscholar.org/paper/cef4676bd8653e76e3ab1dd41e4612699eb038e1

zbMATH Keywords

monadic second order theory of the full binary treeS2Suniformization problem

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Recommendations

• Uniformization and skolem functions in the class of trees
• scientific article; zbMATH DE number 6741931
• Uniformization problem for variants of first order logic over finite words
• Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey
• scientific article; zbMATH DE number 4023264

Cites work

• scientific article; zbMATH DE number 3492660 (Why is no real title available?)
• Modest theory of short chains. I
• The monadic theory of order

Cited in

(27)

• Counting on CTL^*: On the expressive power of monadic path logic
• Finite variability interpretation of monadic logic of order
• Uniformization problem for variants of first order logic over finite words
• Automata on infinite trees
• Synthesis for continuous time
• Tree-automatic scattered linear orders
• Asymptotic Monadic Second-Order Logic
• Composition over the natural number ordering with an extra binary relation
• Delay games with WMSO+U winning conditions
• Delay games with WMSO+U winning conditions
• On monadic theories of monadic predicates
• Unambiguous languages exhaust the index hierarchy
• On the Ehrenfeucht-Fraïssé game in theoretical computer science (extended abstract)
• scientific article; zbMATH DE number 7559440 (Why is no real title available?)
• scientific article; zbMATH DE number 7559451 (Why is no real title available?)
• scientific article; zbMATH DE number 7561705 (Why is no real title available?)
• A functional (monadic) second-order theory of infinite trees
• Ambiguity hierarchy of regular infinite tree languages
• Monoidal-closed categories of tree automata
• Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey
• Unambiguity in automata theory
• How much lookahead is needed to win infinite games?
• How Much Lookahead is Needed to Win Infinite Games?
• Choice functions and well-orderings over the infinite binary tree
• On Gabbay's temporal fixed point operator
• The generic multiverse is not going away
• Uniformisation of regular relations in first-order logic with two variables

This page was built for publication: Rabin's uniformization problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3322069)