عنوان
پدید آورنده
موضوع
رده
QA9.7 .K57 2019
QA9
.
7
.
K57
2019
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1107163889
(Number (ISBN
1316615553
(Number (ISBN
9781107163881
(Number (ISBN
9781316615553
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
An invitation to model theory /
General Material Designation
[Book]
First Statement of Responsibility
Jonathan Kirby, University of East Anglia.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York, NY, USA :
Name of Publisher, Distributor, etc.
Cambridge University Press,
Date of Publication, Distribution, etc.
2019.
Date of Publication, Distribution, etc.
©2019
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiii, 182 pages :
Other Physical Details
illustrations ;
Dimensions
24 cm
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (pages 177-178) and index.
CONTENTS NOTE
Text of Note
Structures -- Terms -- Formulas -- Definable sets -- Substructures and quantifiers -- Theories and axioms -- The complex and real fields -- Compactness and new constants -- Axiomatisable classes -- Cardinality considerations -- Constructing models from syntax -- Elementary substructures -- Elementary extensions -- Vector spaces and categoricity -- Linear orders -- The successor structure -- Quantifier elimination for DLO -- Substructure completeness -- Power sets and boolean algebras -- The algebras of definable sets -- Real vector spaces and parameters -- Semi-algebraic sets -- Realising types -- Omitting types -- Countable categoricity -- Large and small countable models -- Saturated models -- Fields and their extensions -- Algebraic closures of fields -- Categoricity and completeness -- Definable sets and varieties -- Hilbert's nullstellensatz.
0
SUMMARY OR ABSTRACT
Text of Note
"This book is designed as an undergraduate or masters level course in model theory. It has grown out of courses taught for many years in Oxford, and courses taught by me at UEA. The choice of material and presentation is based on pedagogical considerations, and I have tried to resist the temptation to be encyclopedic. In this book, the main programme of model theory is to take a familiar mathematical structure and get an understanding of it in the following way. First, find an axiomatisation of its complete theory"--
TOPICAL NAME USED AS SUBJECT
Model theory.
Model theory.
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3/4
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
.
7
Book number
.
K57
2019
PERSONAL NAME - PRIMARY RESPONSIBILITY
Kirby, Jonathan,1979-
ORIGINATING SOURCE
Date of Transaction
20200822150133.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
