Selection in the monadic theory of a countable ordinal

Alexander Rabinovich*, Amit Shomrat

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

5 Scopus citations


A monadic formula ψ(Y) is a selector for a formula φ(Y) in a structure M if if there exists a unique subset P of M which satisfies ψ and this P also satisfies φ. We show that for every ordinal α ≥ ωω there are formulas having no selector in the structure (α, <). For α ≤ ω1we decide which formulas have a selector in (α,<), and construct selectors for them. We deduce the impossibility of a full generalization of the Büchi-Landweber solvability theorem from (ω, <) to (ωω, <). We state a partial extension of that theorem to all countable ordinals. To each formula we assign a selection degree which measures "how difficult it is to select". We show that in a countable ordinal all non-selectable formulas share the same degree.

Original languageEnglish
Pages (from-to)783-816
Number of pages34
JournalJournal of Symbolic Logic
Issue number3
StatePublished - Sep 2008


Dive into the research topics of 'Selection in the monadic theory of a countable ordinal'. Together they form a unique fingerprint.

Cite this