Abstract
Let D = be a relational system whereby D is a nonempty set and P i is an m i-ary relation on D. With D we associate the (weak) monadic second-order theory (W)MT[D] 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 P 1, P 2, ⋯ We will often use (W)MT[D] ambiguously to mean also the set of true sentences of (W)MT[D].
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.