Chapman and Hall/CRC Beyond First Order Model Theory Vol I & II

Explore the meta-mathematical study of mathematical truth with Beyond First Order Model Theory, Volumes I and II by Chapman and Hall/CRC. Since Alfred Tarski coined the term Theory of Models in the early 1950s, model theory has grown into one of the most active branches of mathematical logic. This two-volume set provides a comprehensive look at how ideas from model theory serve as powerful tools to solve problems across classical mathematics. These volumes cover essential applications in various fields, including algebra, combinatorics, geometry, and number theory. Readers will also find connections to Banach space theory and operator theory. This collection is designed to present a thorough overview of the subject for those studying the evolution and application of model theory in modern mathematics.