Sciweavers

Share
IANDC
2007
133views more  IANDC 2007»
9 years 11 months ago
On decidability of monadic logic of order over the naturals extended by monadic predicates
A fundamental result of B├╝chi states that the set of monadic second-order formulas true in the structure (Nat, <) is decidable. A natural question is: what monadic predicates ...
Alexander Rabinovich
books