This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial meth

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introducti

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

This introduction to the recent exciting developments in the applications of model theory to algebraic geometry, illustrated by E. Hrushovski's model-theoretic

This book develops model theory independently of any concrete logical system or structure, within the abstract category-theoretic framework of the so called ‘