monadic theory
Recently Published Documents


TOTAL DOCUMENTS

42
(FIVE YEARS 0)

H-INDEX

15
(FIVE YEARS 0)

2018 ◽  
Vol 5 (1) ◽  
pp. 14-18
Author(s):  
Wolfgang Thomas
Keyword(s):  


2012 ◽  
Vol 77 (2) ◽  
pp. 593-608
Author(s):  
Alexis Bés ◽  
Alexander Rabinovich

AbstractRationals and countable ordinals are important examples of structures with decidable monadic second-order theories. A chain is an expansion of a linear order by monadic predicates. We show that if the monadic second-order theory of a countable chain C is decidable then C has a non-trivial expansion with decidable monadic second-order theory.





2008 ◽  
Vol 73 (3) ◽  
pp. 783-816 ◽  
Author(s):  
Alexander Rabinovich ◽  
Amit Shomrat

AbstractA monadic formula ψ(Y) is a selector for a formula φ(Y) in a structure if there exists a unique subset P of which satisfies ψ and this P also satisfies φ. We show that for every ordinal α ≥ ωω there are formulas having no selector in the structure (α, <). For α ≤ ω1, we 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.





2007 ◽  
Vol 103 (3) ◽  
pp. 94-101
Author(s):  
Anuj Dawar ◽  
David Janin


2003 ◽  
Vol 290 (1) ◽  
pp. 79-115 ◽  
Author(s):  
Didier Caucal


2002 ◽  
Vol 288 (1) ◽  
pp. 129-152 ◽  
Author(s):  
Erich Grädel
Keyword(s):  


Sign in / Sign up

Export Citation Format

Share Document