Cardinalities of Models and the Expressive Power of Monadic Predicate
Logic (with equality and individual constants)
A b s t r a c t.
In this paper we find upper estimations of cardinalities of models of
monadic predicate logic.
We also present, by a method of semantical nature,
a certain description of the expressive power of this logic.