ABSTRACT
In the preservation theorems of §6.2 we found conditions for formulas to be equivalent (logically or modulo a given theory) to formulas of a particular form. In this chapter we investigate what it means for a theory that all formulas be, modulo that theory, equivalent to formulas of a particular form.
