+612 9045 4394
 
CHECKOUT
Model Theory : Oxford Logic Guides - Maria Manzano

Model Theory

Oxford Logic Guides

Hardcover

Published: 1st June 1999
RRP $240.95
$146.25
39%
OFF
or 4 easy payments of $36.56 with Learn more
This title is not in stock at the Booktopia Warehouse and needs to be ordered from our supplier.
Click here to read more about delivery expectations.

Logic languages are free from the ambiguities of natural languages, and are therefore specially suited for use in computing. Model theory is the branch of mathematical logic which concerns the relationship between mathematical structures and logic languages, and has become increasingly important in areas such as computing, philosophy and linguistics. As the reasoning process takes place at a very abstract level, model theory applies to a wide variety of structures. It is also possible to define new structures and classify existing ones by establishing links between them. These links can be very useful since they allow us to transfer our knowledge between related structures. This book provides a clear and readable introduction to the subject, and is suitable for both mathematicians and students from outside the subject. It includes some historically relevant information before each major topic is introduced, making it a useful reference for non-experts. The motivation of the subject is constantly explained, and proofs are also explained in detail.

"This is an excellent pedagogically oriented introductory text on classical model theory addressed to students without any previous background in logic. It seems suitable for advanced undergraduate mathematics majors, and might equally be used as a motivated (and motivating) introduction to mathematical logic. The large number of examples, exercises and problems placed at the end of each section will well serve the learner, be it in a course or in self-study. The preface by J. Mosterin furnishes a valuable perspective of the scope and development of model theory. The detailed glossary of symbols and abbreviations coupled with a good index enhances the use of this text. . . . All in all, this is a carefully written book based on considerable experience in teaching model theory and thus is highly suitable for adoption as a classroom text."--Mathematical Reviews"[C]onsider odel Theory by Manzano. This book is especially well written. Each chapter begins with a very interesting and clarifying introduction. (I like the fact that Manzano introduces the notion of a structure first, without tying it to a first order language.)"--The Bulletin of Mathematics Books "This is an excellent pedagogically oriented introductory text on classical model theory addressed to students without any previous background in logic. It seems suitable for advanced undergraduate mathematics majors, and might equally be used as a motivated (and motivating) introduction to mathematical logic. The large number of examples, exercises and problems placed at the end of each section will well serve the learner, be it in a course or in self-study. The preface by J. Mosterin furnishes a valuable perspective of the scope and development of model theory. The detailed glossary of symbols and abbreviations coupled with a good index enhances the use of this text. . . . All in all, this is a carefully written book based on considerable experience in teaching model theory and thus is highly suitable for adoption as a classroom text."--Mathematical Reviews "[C]onsider odel Theory by Manzano. This book is especially well written. Each chapter begins with a very interesting and clarifying introduction. (I like the fact that Manzano introduces the notion of a structure first, without tying it to a first order language.)"--The Bulletin of Mathematics Books "This is an excellent pedagogically oriented introductory text on classical model theory addressed to students without any previous background in logic. It seems suitable for advanced undergraduate mathematics majors, and might equally be used as a motivated (and motivating) introduction to mathematical logic. The large number of examples, exercises and problems placed at the end of each section will well serve the learner, be it in a course or in self-study. The preface by J. Mosterin furnishes a valuable perspective of the scope and development of model theory. The detailed glossary of symbols and abbreviations coupled with a good index enhances the use of this text. . . . All in all, this is a carefully written book based on considerable experience in teaching model theory and thus is highly suitable for adoption as a classroom text."--Mathematical Reviews "[C]onsider odel Theory by Manzano. This book is especially well written. Each chapter begins with a very interesting and clarifying introduction. (I like the fact that Manzano introduces the notion of a structure first, without tying it to a first order language.)"--The Bulletin of Mathematics Books "This is an excellent pedagogically oriented introductory text on classical model theory addressed to students without any previous background in logic. It seems suitable for advanced undergraduate mathematics majors, and might equally be used as a motivated (and motivating) introduction tomathematical logic. The large number of examples, exercises and problems placed at the end of each section will well serve the learner, be it in a course or in self-study. The preface by J. Mosterin furnishes a valuable perspective of the scope and development of model theory. The detailed glossaryof symbols and abbreviations coupled with a good index enhances the use of this text. . . . All in all, this is a carefully written book based on considerable experience in teaching model theory and thus is highly suitable for adoption as a classroom text."--Mathematical Reviews"[C]onsider odel Theory by Manzano. This book is especially well written. Each chapter begins with a very interesting and clarifying introduction. (I like the fact that Manzano introduces the notion of a structure first, without tying it to a first order language.)"--The Bulletin of MathematicsBooks

Basic notions: universal algebra
First order languages: semantics
Completeness of first order logic
Basic notions: model theory
The compactness theorem
Lowenheim-Skolem theorems
Complete and categorical theories
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9780198538516
ISBN-10: 0198538510
Series: Oxford Logic Guides
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 264
Published: 1st June 1999
Publisher: Oxford University Press
Country of Publication: GB
Dimensions (cm): 24.1 x 16.0  x 1.9
Weight (kg): 0.53