A Shorter Model Theory

Publisher : Cambridge University Press

ISBN-13 : 9780521587136

Page : 310 pages

Rating : 4.5/5 from 136 voters

This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Besides standard results such as the compactness and omitting types theorems, it also describes various links with algebra, including the Skolem-Tarski method of quantifier elimination, model completeness, automorphism groups and omega-categoricity, ultraproducts, O-minimality and structures of finite Morley rank. The material on back-and-forth equivalences, interpretations and zero-one laws can serve as an introduction to applications of model theory in computer science. Each chapter finishes with a brief commentary on the literature and suggestions for further reading. This book will benefit graduate students with an interest in model theory.

More Books:

A Shorter Model Theory
Language: en
Pages: 310
Authors: Wilfrid Hodges
Categories: Mathematics
Type: BOOK - Published: 1997-04-10 - Publisher: Cambridge University Press

This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Beside
An Invitation to Model Theory
Language: en
Pages: 195
Authors: Jonathan Kirby
Categories: Mathematics
Type: BOOK - Published: 2019-03-31 - Publisher: Cambridge University Press

An innovative and largely self-contained textbook bringing model theory to an undergraduate audience.
A Course in Model Theory
Language: en
Pages: 248
Authors: Katrin Tent
Categories: Mathematics
Type: BOOK - Published: 2012-03-08 - Publisher: Cambridge University Press

This concise introduction to model theory begins with standard notions and takes the reader through to more advanced topics such as stability, simplicity and Hr
Introduction to Model Theory
Language: en
Pages: 324
Authors: Philipp Rothmaler
Categories: Mathematics
Type: BOOK - Published: 2018-12-07 - Publisher: CRC Press

Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in this respect.
A Guide to Classical and Modern Model Theory
Language: en
Pages: 371
Authors: Annalisa Marcja
Categories: Philosophy
Type: BOOK - Published: 2012-09-10 - Publisher: Springer Science & Business Media

This volume is easily accessible to young people and mathematicians unfamiliar with logic. It gives a terse historical picture of Model Theory and introduces th
Philosophy and Model Theory
Language: en
Pages: 544
Authors: Tim Button
Categories: Mathematics
Type: BOOK - Published: 2018-03-15 - Publisher: Oxford University Press

Model theory is used in every theoretical branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in p
Mathematical Logic and Model Theory
Language: en
Pages: 194
Authors: Alexander Prestel
Categories: Mathematics
Type: BOOK - Published: 2011-08-21 - Publisher: Springer Science & Business Media

Mathematical Logic and Model Theory: A Brief Introduction offers a streamlined yet easy-to-read introduction to mathematical logic and basic model theory. It pr
Model Theory, Algebra, and Geometry
Language: en
Pages: 227
Authors: Professor of Mathematics Anand Pillay
Categories: Mathematics
Type: BOOK - Published: 2000-07-03 - Publisher: Cambridge University Press

Model theory has made substantial contributions to semialgebraic, subanalytic, p-adic, rigid and diophantine geometry. These applications range from a proof of
Institution-independent Model Theory
Language: en
Pages: 376
Authors: Razvan Diaconescu
Categories: Mathematics
Type: BOOK - Published: 2008-08-01 - Publisher: Springer Science & Business Media

This book develops model theory independently of any concrete logical system or structure, within the abstract category-theoretic framework of the so called ‘
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry: Volume 1
Language: en
Pages: 346
Authors: Raf Cluckers
Categories: Mathematics
Type: BOOK - Published: 2011-09-22 - Publisher: Cambridge University Press

The development of Maxim Kontsevich's initial ideas on motivic integration has unexpectedly influenced many other areas of mathematics, ranging from the Langlan