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

uniformization problemmonadic second order theory of the full binary treeS2S

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)

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

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)