Monadic decomposability is a notion of variable independence ,
which asks whether a given formula in a first - order theory is expressible as a Boolean combination of monadic predicates in the theory .
Monadic decomposability is a notion of variable independence , which asks whether a given formula in a first - order theory is expressible as a Boolean combination of monadic predicates in the theory .
Monadic decomposability is a notion of variable independence , which asks whether a given formula in a first - order theory is expressible as a Boolean combination of monadic predicates in the theory .