Preservation and Characterization Theorems

  • J. Donald Monk
Part of the Graduate Texts in Mathematics book series (GTM, volume 37)


In this chapter we shall prove several more theorems of the general type of 24.22 and 24.23. We shall consider universal sentences, quasivarieties, universal-existential sentences, and positive sentences. We have not tried to give uniform proofs for these results, but we have instead chosen the proofs that seem most natural to us.


Relation Symbol Characterization Theorem Operation Symbol Universal Class Elementary Extension 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Inc. 1976

Authors and Affiliations

  • J. Donald Monk
    • 1
  1. 1.Department of MathematicsUniversity of ColoradoBoulderUSA

Personalised recommendations