£57.16

Cambridge University Press A Shorter Model Theory

Name: A Shorter Model Theory
Brand: Cambridge University Press
Price: 52.88 GBP
Availability: InStock

Mathematical Logic

Price History & Forecast

Last 53 days • 53 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 53 days • 5 price levels

Days at Price

Current Price

Price Analysis

Most common price: £57 (25 days, 47.2%)

Price range: £52 - £60

Price levels: 5 different prices over 53 days

Description

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.

Product Specifications

Brand: Cambridge University Press
Format: Paperback
ASIN: 0521587131
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 28 April 1997
Listed Since: 08 January 2007

Barcode

No barcode data available

Cambridge University Press A Shorter Model Theory

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Introduction to Model Theory (Algebra, Logic and Applications)

A Course in Model Theory: 40 (Lecture Notes in Logic, Series Number 40)

Introduction to Model Theory: 15 (Algebra, Logic and Applications)

Model Theory with Applications to Algebra and Analysis (London Mathematical Society Lecture Note Series, Series Number 350)

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

A Course on Basic Model Theory

A Guide to NIP Theories: 44 (Lecture Notes in Logic, Series Number 44)

The Homotopy Theory of (∞,1)-Categories: 90 (London Mathematical Society Student Texts, Series Number 90)

Topics In Model Theory

Essential Stability Theory: 4 (Perspectives in Logic, Series Number 4)

Model Theory (Encyclopedia of Mathematics and its Applications): 42 (Encyclopedia of Mathematics and its Applications, Series Number 42)

Model Theory

An Invitation to Model Theory

Effective Mathematics of the Uncountable: 41 (Lecture Notes in Logic, Series Number 41)

Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Modal Logic: 53 (Cambridge Tracts in Theoretical Computer Science, Series Number 53)

Lectures on Infinitary Model Theory: 46 (Lecture Notes in Logic, Series Number 46)

LMS: 130 Model Theory and Modules (London Mathematical Society Lecture Note Series, Series Number 130)

Model Categories (Mathematical Surveys and Monographs)

Combinatorial Set Theory: With a Gentle Introduction to Forcing (Springer Monographs in Mathematics)

Type Theory and Formal Proof: An Introduction

Theory of Computation: Automata, Formal Languages, Computation and Complexity