Read Categoricity (University Lecture Series)

Categoricity (University Lecture Series)

John Templeton Baldwin

4.9/5 (19195 ratings)

Description: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.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Categoricity (University Lecture Series). To get started finding Categoricity (University Lecture Series), you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Pages: —

Format: PDF, EPUB & Kindle Edition

Publisher: —

Release: —

ISBN: 0821848933

Description: 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.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Categoricity (University Lecture Series). To get started finding Categoricity (University Lecture Series), you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Special Offer | $0.00

Special Offer! | $0.00

Categoricity (University Lecture Series)

Categoricity (University Lecture Series)

More Books

Beyond Imagination

Beyond Imagination

Creation, Catastrophe and Calvary: Why a Global Flood Is Vital...

Creation, Catastrophe and Calvary: Why a Global Flood Is Vital...

Fundamentals of Stability Theory (Perspectives in Mathematical Logic)

Fundamentals of Stability Theory (Perspectives in Mathematical Logic)

Classification Theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic Held in Chicago, Dec. 15-19, 1985 (Lecture Notes in Mathematics, 1292)

Classification Theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic Held in Chicago, Dec. 15-19, 1985 (Lecture Notes in Mathematics, 1292)

Creation, Evolution, and Theology: An Introduction to the Scientific and Theological Methods

Creation, Evolution, and Theology: An Introduction to the Scientific and Theological Methods