The 1970s saw the appearance and development in categoricity theory of a tendency to focus on the study and description of uncountably categorical theories in v

This volume is a collection of papers on model theory and its applications. The longest paper, "Model Theory of Unitriangular Groups" by O. V. Belegradek, forms

This collection of articles presents a snapshot of the status of computability theory at the end of the millennium and a list of fruitful directions for future

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

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books