Author:
Richard Buchi J.,Landweber Lawrence H.
Abstract
Let be a relational system whereby D is a nonempty set and P1 is an m1-ary relation on D. With we associate the (weak) monadic second-order theory consisting of the first-order predicate calculus with individual variables ranging over D; monadic predicate variables ranging over (finite) subsets of D; monadic predicate quantifiers; and constants corresponding to P1, P2, …. We will often use ambiguously to mean also the set of true sentences of .
Publisher
Cambridge University Press (CUP)
Reference9 articles.
1. Hierarchies of number-theoretic predicates
2. Decidability and undecidability of extensions of second (first) order theories of (generalized) successor;Elgot;this Journal,1966
Cited by
50 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献