In addition to covering the essentials, the author’s intention in writing this text is to entice the reader to further study mathematical logic. There is no current “standard text” for a first graduate course in mathematical logic and this book will fill that gap. While there is more material than could be covered in a traditional one semester course, an instructor can cover the basics and still have the flexibility to choose several weeks’ worth of interesting advanced topics that have be...

The model theory of fields is a fascinating subject stretching from Tarski's work on the decidability of the theories of the real and complex fields to Hrushovksi's recent proof of the Mordell-Lang conjecture for function fields. This volume provides an insightful introduction to this active area, concentrating on connections to stability theory.

Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is the first modern introduction to the subject in forty years, and will bring students and researchers in all areas of mathematical logic up to the threshold of modern research. The classical topics of back-and-forth systems, model existence techniques, indiscernibles and end extensions are covered before more modern to...

This rigorous textbook is intended for a year-long analysis or advanced calculus course for advanced undergraduate or beginning graduate students. Starting with detailed, slow-paced proofs that allow students to acquire facility in reading and writing proofs, it clearly and concisely explains the basics of differentiation and integration of functions of one and several variables, and covers the theorems of Green, Gauss, and Stokes. Minimal prerequisites are assumed, and relevant linear alg...

Generative Grammar presents a substantial contribution to the field of linguistics in drawing together for the first time the author's most significant work on the theory of generative grammar.The essays collected here display Freidin's role in moving the theory forward in terms of new proposals, and analyse the efforts to understand the evolution and history of the theory by careful investigation of how and why it has changed over the years.

Despite its seemingly deterministic nature, the study of whole numbers, especially prime numbers, has many interactions with probability theory, the theory of random processes and events. This surprising connection was first discovered around 1920, but in recent years the links have become much deeper and better understood. Aimed at beginning graduate students, this textbook is the first to explain some of the most modern parts of the story. Such topics include the Chebychev bias, universa...

This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistics. An Introduction to Substrucural Logics is the first book to systematically survey the new results and the significant impact that this class of logics has had on a wide range of fields.The following topics are covered:* Proof Theory

The book is devoted to various constructions of sets which are nonmeasurable with respect to invariant (more generally, quasi-invariant) measures. Our starting point is the classical Vitali theorem stating the existence of subsets of the real line which are not measurable in the Lebesgue sense. This theorem stimulated the development of the following interesting topics in mathematics:1. Paradoxical decompositions of sets in finite-dimensional Euclidean spaces;2. The theory of non-real-valu...

This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel’s incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares students to branch out in several areas of mathematics related to foundations and computability, such as ...

'Probably its most significant distinguishing feature is that this book is more algebraically oriented than most undergraduate number theory texts.'MAA ReviewsIntroduction to Number Theory is dedicated to concrete questions about integers, to place an emphasis on problem solving by students. When undertaking a first course in number theory, students enjoy actively engaging with the properties and relationships of numbers.The book begins with introductory material, including...

Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in this respect. This text introduces the model theory of first-order logic, avoiding syntactical issues not too relevant to model theory. In this spirit, the compactness theorem is proved via the algebraically useful ultrsproduct technique (rather than via the completeness theorem of first-order logic). This leads fairly quickly to algebraic appli...

Understanding Real Analysis, Second Edition offers substantial coverage of foundational material and expands on the ideas of elementary calculus to develop a better understanding of crucial mathematical ideas. The text meets students at their current level and helps them develop a foundation in real analysis.The author brings definitions, proofs, examples and other mathematical tools together to show how they work to create unified theory. These helps stud...