Model Theory

By: No Information Available

Write A Review

Hardcover | 10 May 1993

At a Glance

Hardcover
788 Pages

Dimensions(cm)
24.13 x 16.51 x 4.45

Hardcover

RRP $464.00

$395.75

15%OFF

or 4 interest-free payments of $98.94 with

or

Ships in 7 to 10 business days

This is an up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians. Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide variety of other areas such as set theory, geometry, algebra (in particular group theory), and computer science (e.g. logic programming and specification). Professor Hodges emphasises definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides the reader with much historical information and a full bibliography, enhancing the book's use as a reference.

Industry Reviews

"...sets forth the basic tools that the fledgling model theorist should master...a new standard reference in this subject." J.M. Plotkin, Mathematical Reviews "...an important contribution to the literature...one of the few (or perhaps the only) books in print that develop the essentials of model theory in the modern style...valuable for its novel treatment and exposition of some important topics...Throughout the book, Hodges's vast knowledge of logic impresses itself on the reader. There is a beautiful variety and mix of classical and more recent techniques and ideas, especially in applications. It is a pleasure to leaf through the book..." Anand Pillay, Jrl of Symbolic Logic

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.

More in Mathematical Logic

Current Trends in Automated Reasoning - Erika Bach

$180.75

34%
OFF

The Language of Mathematics

The Stories behind the Symbols

Hardcover

RRP $49.99

$40.75

18%
OFF

What Is Mathematical Logic 2E Cloth - Guillermo Badia

$46.75

26%
OFF

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Paperback

RRP $94.99

$65.75

31%
OFF

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Hardcover

RRP $231.00

$154.75

33%
OFF

Cybersecurity : A Practical Introduction - Nihad A. Hassan

$233.75

Introduction to Modern Cryptography

Revised Third Edition

Hardcover

RRP $231.00

$196.35

15%
OFF

Introduction to Mathematical Logic

Discrete Mathematics and Its Applications

Paperback

RRP $120.00

$102.00

15%
OFF

The Times Fiendish Su Doku Book 19

200 challenging Su Doku puzzles

Paperback

RRP $19.99

$18.75

The Times Ultimate Killer Su Doku Book 18

200 of the deadliest Su Doku puzzles

Paperback

RRP $19.99

$18.75

Adaptive Backstepping Consensus Control for Nonlinear Multi-Agent Systems : Emerging Methodologies and Applications in Modelling, Identification and Control - Jinpeng Yu

$187.75

Cause, Effect, and Everything in Between

An Introduction to Causal Inference

Hardcover

RRP $183.95

$137.75

25%
OFF

Reading, Writing, and Proving : A Closer Look at Mathematics - Pamela Gorkin

$15.99

Language and Structure
Naming of parts
Classifying structures
Structures that look alike
Automorphisms
Interpretations
Piecing Together a Structure
The first order case
The countable case
The existential case
The Horn case
Consequences of Compactness
Saturation
Combinatorial
Expansions and categoricity
Examples
Bibliography
Index
Table of Contents provided by Publisher. All Rights Reserved.

Model Theory

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Mathematical Logic

Current Trends in Automated Reasoning

Automated Theorem Proving

Theory and Practice

Handbook of Automated Reasoning

Current Trends in Automated Theorem Proving

Automated Deduction

From Theory to Applications

Advances in Automated Reasoning

Cybersecurity for Internet of Health Things

1st Edition

The Language of Mathematics

The Stories behind the Symbols

What Is Mathematical Logic 2E Cloth

I Wish They'd Taught Me That

Overlooked and Omitted Topics in Mathematics

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Cybersecurity

A Practical Introduction

Cybersecurity

A Practical Introduction

Introduction to Modern Cryptography

Chapman & Hall/Crc Cryptography and Network Security

Introduction to Modern Cryptography

Revised Third Edition

Introduction to Mathematical Logic

Discrete Mathematics and Its Applications

The Times Fiendish Su Doku Book 19

200 challenging Su Doku puzzles

The Times Ultimate Killer Su Doku Book 18

200 of the deadliest Su Doku puzzles

Adaptive Backstepping Consensus Control for Nonlinear Multi-Agent Systems

Emerging Methodologies and Applications in Modelling, Identification and Control

Strongly Minimal Sets and Categoricity in Continuous Logic

Cause, Effect, and Everything in Between

An Introduction to Causal Inference

Reading, Writing, and Proving

A Closer Look at Mathematics

Collins Bumper Book of Su Doku book 1

300 Su Doku Puzzles

This product is categorised by