عنوان

An invitation to model theory /

شابک

1107163889

شابک

1316615553

شابک

9781107163881

شابک

9781316615553

عنوان اصلي

An invitation to model theory /

نام عام مواد

[Book]

نام نخستين پديدآور

Jonathan Kirby, University of East Anglia.

محل نشرو پخش و غیره

New York, NY, USA :

نام ناشر، پخش کننده و غيره

Cambridge University Press,

تاریخ نشرو بخش و غیره

2019.

تاریخ نشرو بخش و غیره

©2019

نام خاص و کميت اثر

xiii, 182 pages :

ساير جزييات

illustrations ;

ابعاد

24 cm

متن يادداشت

Includes bibliographical references (pages 177-178) and index.

متن يادداشت

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

متن يادداشت

"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"--

موضوع مستند نشده

Model theory.

موضوع مستند نشده

Model theory.

شماره

ويراست

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Kirby, Jonathan,1979-

تاريخ عمليات

20200822150133.0

قواعد فهرست نويسي ( بخش توصيفي )

rda

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y