John T. Baldwin's Books

Fundamentals of Stability Theory

By: John T. Baldwin

Write a review Read reviews Take a Quiz Solve Book Puzzle

Fundamentals of Stability Theory

By: John T. Baldwin

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 in the series have been unavailable for years, but they are now in print once again. In this volume, the twelfth publication in the Perspectives in Logic series, John T. Baldwin presents an introduction to first order stability theory, organized around the spectrum problem: calculate the number of models a first order theory T has in each uncountable cardinal. The author first lays the groundwork and then moves on to three sections: independence, dependence and prime models, and local dimension theory. The final section returns to the spectrum problem, presenting complete proofs of the Vaught conjecture for ω-stable theories for the first time in book form. The book provides much-needed examples, and emphasizes the connections between abstract stability theory and module theory.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

463

Publisher

Cambridge University Press

Published Date

ISBN 10

1316739341

ISBN 13

9781316739341

Categoricity

By: John T. Baldwin

Write a review Read reviews Take a Quiz Solve Book Puzzle

Categoricity

By: John T. Baldwin

Modern model theory began with Morley's categoricity theorem: A countable first-order theory that has a unique (up to isomorphism) model in one uncountable cardinal (i.e., is categorical in cardinality) if and only if the same holds in all uncountable cardinals. Over the last 35 years Shelah made great strides in extending this result to infinitary logic, where the basic tool of compactness fails. He invented the notion of an Abstract Elementary Class to give a unifying semantic account of theories in first-order, infinitary logic and with some generalized quantifiers. Zilber developed similar techniques of infinitary model theory to study complex exponentiation." "This book provides the first unified and systematic exposition of this work. The many examples stretch from pure model theory to module theory and covers of Abelian varieties. Assuming only a first course in model theory, the book expounds eventual categoricity results (for classes with amalgamation) and categoricity in excellent classes. Such crucial tools as Ehrenfeucht-Mostowski models, Galois types, tameness, omitting-types theorems, multi-dimensional amalgamation, atomic types, good sets, weak diamonds, and excellent classes are developed completely and methodically. The (occasional) reliance on extensions of basic set theory is clearly laid out. The book concludes with a set of open problems." --Book Jacket.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

251

Publisher

American Mathematical Soc.

Published Date

ISBN 10

0821848933

ISBN 13

9780821848937

Model Theory and the Philosophy of Mathematical Practice

Formalization without Foundationalism

By: John T. Baldwin

Write a review Read reviews Take a Quiz Solve Book Puzzle

Model Theory and the Philosophy of Mathematical Practice

Formalization without Foundationalism

By: John T. Baldwin

Major shifts in the field of model theory in the twentieth century have seen the development of new tools, methods, and motivations for mathematicians and philosophers. In this book, John T. Baldwin places the revolution in its historical context from the ancient Greeks to the last century, argues for local rather than global foundations for mathematics, and provides philosophical viewpoints on the importance of modern model theory for both understanding and undertaking mathematical practice. The volume also addresses the impact of model theory on contemporary algebraic geometry, number theory, combinatorics, and differential equations. This comprehensive and detailed book will interest logicians and mathematicians as well as those working on the history and philosophy of mathematics.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

365

Publisher

Cambridge University Press

Published Date

ISBN 10

110810021X

ISBN 13

9781108100212

Book's by John T. Baldwin

Fundamentals of Stability Theory

Fundamentals of Stability Theory

Categoricity

Categoricity

Model Theory and the Philosophy of Mathematical Practice

Model Theory and the Philosophy of Mathematical Practice

Username

Password

Username

Password

Password again

Birthday

Email