Reports on Mathematical Logic

No. 30


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.

Back to Main Menu