Advertisement

Preservation and Characterization Theorems

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

Abstract

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.

Keywords

Relation Symbol Characterization Theorem Operation Symbol Universal Class Elementary Extension 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

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