Selection over classes of ordinals expanded by monadic predicates

DOI10.1016/J.APAL.2009.12.004MaRDI QIDQ636340zbMATH OpenOpenAlexFDO

Authors 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

decidabilitymonadic logic of orderselection problemuniformization problem

Mathematics Subject Classification ID

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

Recommendations

• Selection in the monadic theory of a countable ordinal
• The monadic theory of ω₂
• Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey
• scientific article; zbMATH DE number 1202106
• AXIOMATIZATION OF THE MONADIC THEORY OF ORDINALS < ω2

Cites work

• Composition theorem for generalized sum
• scientific article; zbMATH DE number 1086492 (Why is no real title available?)
• On decidability of monadic logic of order over the naturals extended by monadic predicates
• Selection and Uniformization in Generalized Product
• Selection in the monadic theory of a countable ordinal
• Solving Sequential Conditions by Finite-State Strategies
• The first order properties of products of algebraic systems
• The monadic second order theory of all countable ordinals
• The monadic theory of order
• Uniformization and skolem functions in the class of trees

Cited in

(5)

• Selectors: a theory of formal languages, semimodular lattices, and branching and shelling processes
• Selection in the monadic theory of a countable ordinal
• Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey
• Smart Choices and the Selection Monad
• Regular sets over extended tree structures

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

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