Lecture Notes in Logic
   Perspectives in Logic

   Other ASL Books

   Member Discounts

Perspectives in Mathematical Logic

This book series is now being published by the Association for Symbolic Logic on its own; the previous collaboration with Springer-Verlag came to an end on April 30, 2001. Thanks to the generosity of Springer-Verlag, ASL will distribute the available stock of certain books in the series to the logic community at a low price (as has been done with the existing stock of books in the Lecture Notes in Logic). Some books in the series will continue to be made available by Springer-Verlag and others will be reprinted by ASL. At the moment (October 2001) the situation is in flux and plans for the future are being made. Inquiries may be made via the ASL business office :

Association for Symbolic Logic
Box 742, Vassar College
124 Raymond Avenue
Poughkeepsie, New York 12604
telephone: 845-437-7080 Fax: 845-437-7830

Books are listed in reverse order by date of publication.



Subsystems of Second Order Arithmetic

Stephen G. Simpson
Pennsylvania State University
University Park, PA

This book is an original contribution to the foundations of mathematics, with emphasis on the role of set existence axioms. Part A demonstrates that many familiar theorems of algebra, analysis, functional analysis, and combinatorics are logically equivalent to the axioms needed to prove them. This phenomenon is known as Reverse Mathematics. Subsystems of second order arithmetic based on such axioms correspond to several well known foundational programs: finitistic reductionism (Hilbert), constructivism (Bishop), predicativism (Weyl), and predicative reductionism (Feferman/Friedman). Part B is a thorough study of models of these and other systems. The book includes an extensive bibliography and a detailed index.

1999/458 pages/Hardcover/ISBN 3-540-64882-8/$59.95


(Contact Springer-Verlag concerning this book)

Finite Model Theory

H.-D. Ebbinghaus and J. Flum
University of Freiburg

Finite model theory has its origin in classical model theory, but owes its systematic development to research from complexity theory. This book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in the context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, and optimization and approximation problems. The book is written is such a way that the respective parts on model theory and descriptive complexity theory may be read independently.

For the second edition, the original text was thoroughly revised and extended; in particular, a new chapter was added which is devoted to a central open problem of finite model theory, namely the question whether there is a natural logic capturing PTIME also on unordered structures. The bibliography and the bibliographic references at the end of each chapter were also enlarged considerably.

Second edition 1999/360 pages/Softcover/ISBN 3-540-65758-4/$49.95



Proper and Improper Forcing

Saharon Shelah
The Hebrew University of Jerusalem

This book deals with set-theoretic independence results (independence from the usual set-theoretic ZFC axioms), in particular for problems on the continuum. Consequently, the theory of iterated forcing is developed. The author aims at giving a complete presentation of the theory of proper forcing and its relatives, starting from the beginning and avoiding the metamathematical considerations. In addition to particular consistency results, the author shows methods which can be used for such independence results. Many of the results are presented in an "axiomatic" framework (a la Martin's axiom) for this reason.

Second edition 1998/1064 pages/Hardcover/ISBN 3-540-51700-6/$189.00



Metamathematics of First Order Arithmetic

Petr Hajek and Pavel Pudlak
Czechoslovak Academy of Sciences
Prague, Czechoslovakia

This book covers the most important results in the study of a first order theory of the natural numbers, called Peano arithmetic, and its subsystems. The first part develops naturally important parts of mathematics and logic in suitable fragments. The second, is devoted to incompleteness and the third, studies systems that have the induction schema restricted to bounded formulas. A highlight of this section is the relation of provability to computational complexity. Intended for those who want to learn more about formal systems for arithmetic and the current research in the field.

Softcover edition 1998/460 pages/Softcover/ISBN 3-540-63648-X/$49.95


(Contact Springer-Verlag concerning this book)

The Classical Decision Problem

Egon Börger, University of Pisa, Italy;
Erich Grädel, RWTH Aachen, Germany;
Yuri Gurevich, University of Michigan, Ann Arbor

This is the most complete and comprehensive treatment available in book form of the classical decision problem of mathematical logic and its role in modern computer science. A revealing analysis of the natural order of decidable and undecidable cases is given, as well as the complete classification of the solvable and unsolvable standard cases of the classical decision problem, the complexity analysis of the solvable cases, the extremely comprehensive treatment of the reduction method, and the model-theoretic analysis of solvable cases. Many cases are treated here for the first time, and a great number of simple proofs and exercises are included.

1997/482 pages/Hardcover/ISBN 0-387-57073-X/$129.00


(Contact Springer-Verlag concerning this book)

Set Theory

Thomas Jech
Pennsylvania State University
University Park

This book is the standard reference on set theory covering all aspects of its two main general areas: classical set theory including large cardinals, infinitary combinatorics, descriptive set theory, and independence proofs beginning with the work of G”del around 1938 and continuing with the work of Cohen in 1963 which led to many important applications to mathematics. The author's primary emphasis is on forcing and large cardinals (on which the author has collected an enormous amount of material that has previously only been available through scattered journal articles or private communication) but there is also a substantial discussion of descriptive set theory and infinitary combinatorics as well. This very well-organized presentation has become both a widely used textbook, and a standard reference.

Second corrected edition 1997/634 pages/Hardcover/ISBN 3-540-63048-1/$109.00



Essential Stability Theory

Steven Buechler
University of Notre Dame, IN

Stability theory began in the early 1960s with the work of Michael Morley and matured in the 70s through Shelah's research in model-theoretic classification theory. Today stability theory both influences and is influenced by number theory, algebraic group theory, Riemann surfaces, and representation theory of modules. there is little model theory today that does not involve the methods of stability theory. The aim of this book is to provide the student with a quick route from basic model theory to research in stability theory, to prepare a student for research in any of today's branches of stability theory and to give an introduction to classification theory with an exposition of Morley's Categoricity Theorem.

1996/345 pages/Hardcover/ISBN 3-540-61011-1/$119.50



The Higher Infinite

Akihiro Kanamori
Boston University
Boston, Massachusetts

1995/~560 pages/Hardcover/ISBN 0-387-57071-3



Higher Recursion Theory

Gerald E. Sacks
Harvard University and MIT
Cambridge, Massachusetts

1990/344 pages/Hardcover/ISBN 0-387-19305-7



Computability in Analysis and Physics

Marian B. Pour-EL and J. Ian Richards
University of Minnesota
Minneapolis, Minnesota

1989/206 pages/Hardcover/3-540-50035-9



Fundamentals of Stability Theory

John T. Baldwin
University of Illinois at Chicago
Chicago, Illinois

1988/447 pages/Hardcover/ISBN 3-540-15298-9



(Contact Springer-Verlag concerning this book)

Recursively Enumerable Sets and Degrees

Robert I. Soare
University of Chicago
Chicago, Illinois

"[A]n excellent and thorough treatment of that part of the subject which lies closest to its origins in the work of Gödel, Church, Kleene, and Turing in the 1930s. The focus is almost exclusively on functions and sets of natural numbers and more particularly on those sets which are either recursively enumerable or whose nature is somehow determined by recursive enumerability." Mathematical Reviews

1987/437 pages/Hardcover/ISBN 0-387-15299-7/$64.95



Model-Theoretic Logics

J. Barwise, Ed., Indiana University
S. Feferman, Ed., Stanford University

1985/893 pages/Hardcover/ISBN 3-540-90936-2




Keith J. Devlin
St. Mary’s College
Moraga, California

1984/425 pages/Hardcover/ISBN 3-540-13258-9



General Recursion Theory

Jens E. Fenstad
University of Oslo
Oslo, Norway

1980/225 pages/Hardcover/3-540-09349-4



Degrees of Unsolvability

Manuel Lerman
University of Connecticut
Storrs, Connecticut

1980/307 pages/Hardcover/3-540-12155-2



Basic Set Theory

Azriel Levy
The Hebrew University
Jerusalem, Israel

1980/391 pages/Hardcover/3-540-08417-7



Recursion-Theoretic Hierarchies

Peter G. Hinman
University of Michigan
Ann Arbor, Michigan

1978/480 pages/Hardcover/3-540-07904-1



Admissible Sets and Structures

Jon Barwise
Indiana University,
Bloomington, Indiana

1975/394 pages/Hardcover/ISBN 3-540-07451-1

[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]