Model Theory, Third Edition: Volume 73 (Studies in Logic and the Foundations of Mathematics, Volume 73) - Hardcover

Barwise, Jon

9780444880543: Model Theory, Third Edition: Volume 73 (Studies in Logic and the Foundations of Mathematics, Volume 73)

Hardcover

ISBN 10: 0444880542 ISBN 13: 9780444880543

Verlag: Elsevier Science, 1990

Alle Exemplare dieser ISBN-Ausgabe

2 Gebraucht

Von EUR 38,70

0 Neu

Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model theories for a host of nonfirst order logics. Model theoretic methods have also had a major impact on set theory, recursion theory, and proof theory.This new edition has been updated to take account of these changes, while preserving its usefulness as a first textbook in model theory. Whole new sections have been added, as well as new exercises and references. A number of updates, improvements and corrections have been made to the main text.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Cr�ticas

J. Wole skiIf someone will ask you about the most successful textbook in logical (classical) model theory, your answer may be only one: that is C.C. Chang and H.J. Keisler, Model Theory. This book was published for the first time in 1973. Second revised and enlarged edition appeared in 1977. Now we welcome the third edition of this classic book in classical model theory... The novelties of the third edition are these: a section on recursively saturated models, a section on Lindstrom's characterization of first order logic, a more extensive treatment of model-completeness and a section on nonstandard universes.Studia Logica

Rese�a del editor

Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model theories for a host of nonfirst order logics. Model theoretic methods have also had a major impact on set theory, recursion theory, and proof theory. This new edition has been updated to take account of these changes, while preserving its usefulness as a first textbook in model theory. Whole new sections have been added, as well as new exercises and references. A number of updates, improvements and corrections have been made to the main text.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.