Advertisement

Elementary Classes and Elementary Equivalence

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

Abstract

We now investigate the basic notions of first-order logic. We shall give mathematical characterizations of elementary classes due to Fraissé, Ehrenfeucht, and Keisler and Shelah. The fundamental results of first-order logic are distinguished from more general languages by a theorem of Lindstrom.

Keywords

Model Theory Atomic Formula Elementary Equivalence Winning Strategy General Logic 
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