Selection over classes of ordinals expanded by monadic predicates

DOI10.1016/j.apal.2009.12.004zbMath1225.03012OpenAlexW2039948391MaRDI QIDQ636340

Alexander Rabinovich, Amit Shomrat

Publication date: 26 August 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2009.12.004

zbMATH Keywords

selection problemdecidabilitymonadic logic of orderuniformization problem

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Second- and higher-order model theory (03C85) Properties of classes of models (03C52)

Related Items

Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey ⋮ Regular sets over extended tree structures

Cites Work

• Unnamed Item
• Unnamed Item
• The monadic second order theory of all countable ordinals
• The monadic theory of order
• On decidability of monadic logic of order over the naturals extended by monadic predicates
• The first order properties of products of algebraic systems
• Selection in the monadic theory of a countable ordinal
• Uniformization and skolem functions in the class of trees
• Selection and Uniformization in Generalized Product
• Solving Sequential Conditions by Finite-State Strategies

This page was built for publication: Selection over classes of ordinals expanded by monadic predicates