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

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