Selection in the monadic theory of a countable ordinal

DOI10.2178/jsl/1230396747zbMath1163.03013OpenAlexW2115927772MaRDI QIDQ3617361

Amit Shomrat, Alexander Rabinovich

Publication date: 23 March 2009

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

Full work available at URL: https://doi.org/10.2178/jsl/1230396747

zbMATH Keywords

selection propertycountable ordinalmonadic second-order logic of order

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Second- and higher-order model theory (03C85) Ordinal and cardinal numbers (03E10)

Related Items

Selection over classes of ordinals expanded by monadic predicates ⋮ 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 theory of order
• Definability in Rationals with Real Order in the Background
• The stationary set splitting game
• Testing and generating infinite sequences by a finite automaton