Search Results for: An Invitation To Model Theory

An innovative and largely self-contained textbook bringing model theory to an undergraduate audience.

Model theory begins with an audacious idea: to consider statements about mathematical structures as mathematical objects of study in their own right. While inhe

Category theory reveals commonalities between structures of all sorts. This book shows its potential in science, engineering, and beyond.

Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in this respect.

Assumes only a familiarity with algebra at the beginning graduate level; Stresses applications to algebra; Illustrates several of the ways Model Theory can be a