Model Theory

Third Edition

By: C.C. CHANG

Write A Review

Paperback | 13 June 2012 | Edition Number 3

At a Glance

Paperback
672 Pages

Edition Type
Revised

Grade
17+

Dimensions(cm)
23.5 x 15.5 x 3.3

Paperback

RRP $47.25

$45.75

or 4 interest-free payments of $11.44 with

Ships in 5 to 7 business days

Model theory deals with a branch of mathematical logic showing connections between a formal language and its interpretations or models. This is the first and most successful textbook in logical model theory. Extensively updated and corrected in 1990 to accommodate developments in model theoretic methods - including classification theory and nonstandard analysis - the third edition added entirely new sections, exercises, and references. Each chapter introduces an individual method and discusses specific applications. Basic methods of constructing models include constants, elementary chains, Skolem functions, indiscernibles, ultraproducts, and special models. The final chapters present more advanced topics that feature a combination of several methods. This classic treatment covers most aspects of first-order model theory and many of its applications to algebra and set theory.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Mathematical Foundation Mathematical Logic Set Theory Science Science in General

Introduction	p. 1
What is model theory?	p. 1
Model theory for sentential logic	p. 4
Languages, models and satisfaction	p. 18
Theories and examples of theories	p. 36
Elimination of quantifiers	p. 49
Models constructed from constants	p. 61
Completeness and compactness	p. 61
Refinements of the method. Omitting types and interpolation theorems	p. 77
Countable models of complete theories	p. 96
Recursively saturated models	p. 109
Lindstrom's characterization of first order logic	p. 127
Further model-theoretic constructions	p. 136
Elementary extensions and elementary chains	p. 136
Applications of elementary chains	p. 147
Skolem functions and indiscernibles	p. 163
Some examples	p. 178
Model completeness	p. 186
Ultraproducts	p. 211
The fundamental theorem	p. 211
Measurable cardinals	p. 227
Regular ultrapowers	p. 248
Nonstandard universes	p. 262
Saturated and special models	p. 292
Saturated and special models	p. 292
Preservation theorems	p. 306
Applications of special models to the theory of definability	p. 323
Applications to field theory	p. 342
Application to Boolean algebras	p. 372
More about ultraproducts and generalizations	p. 384
Ultraproducts which are saturated	p. 384
Direct products, reduced products, and Horn sentences	p. 405
Direct products, reduced products, and Horn sentences (continued)	p. 420
Limit ultrapowers and complete extensions	p. 447
Iterated ultrapowers	p. 453
Selected topics	p. 482
Categoricity in power	p. 482
An extension of Ramsey's theorem and applications; some two-cardinal theorems	p. 509
Models of large cardinality	p. 534
Large cardinals and the constructible universe	p. 558
Set theory	p. 579
Open problems in classical model theory	p. 597
Historical notes	p. 603
References	p. 623
Additional references	p. 634
Index of definitions	p. 641
Index of symbols	p. 649
Table of Contents provided by Ingram. All Rights Reserved.

Model Theory

Third Edition

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematics

Storytelling with Data

A Data Visualization Guide for Business Professionals, 10th Anniversary Edition

The Infinite Game

From the bestselling author of Start With Why

Nelson Senior Maths 11 Mathematics Essential Student Book with 1 Access Code for the Australian Curriculum

Nelson WAmaths Mathematics Applications 12

1st Edition

Maths in Focus 11 Mathematics Standard (Pathway 2) Student Book with Nelson MindTap

The Art of Gathering

How We Meet and Why It Matters

Nelson WAmaths Mathematics Applications

11th Edition

How to Win At Chess

The Ultimate Guide for Beginners and Beyond

Oxford Maths for Australian Schools Year 3 Value Pack

3rd Edition

Oxford Maths for Australian Schools Year 4 Value Pack

3rd Edition

Oxford Maths for Australian Schools Year 6 Value Pack

3rd Edition

Nelson VicMaths 12 Foundation Maths

1st Edition

The Selfish Gene

40th Anniversary Edition

Algebra Workbook Grades 6-8

Algebra

Humble Pi

A Comedy of Maths Errors

The Maths Book

Big Ideas Simply Explained

The Mending of Broken Bones

A Modern Guide to Classical Algebra

Fooled By Randomness

The Hidden Role of Chance in Life and in the Markets

Grade 4 Word Problems

Kumon Math Workbooks

Grade 4 Geometry and Measurement

Kumon Math Workbooks

Grade 3 Geometry and Measurement

Nelson Senior Maths 12 Mathematics Essential Student Book + 1 Code Access Card for Western Australia and Australian Curriculum

Math Games with Bad Drawings

75 1/4 Simple, Challenging, Go-Anywhere Games & And Why They Matter

Antifragile

Things That Gain from Disorder

This product is categorised by