東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁 到查詢結果 [ subject:"Model theory." ]

切換: 標籤 | MARC模式 | ISBD

An invitation to model theory /

Kirby, Jonathan, (1979-)

FindBook

Google Book

Amazon

博客來

An invitation to model theory /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	An invitation to model theory // Jonathan Kirby.
作者:	Kirby, Jonathan,
出版者:	Cambridge, United Kingdom ;Cambridge University Press, : 2019.,
面頁冊數:	xiii, 182 p. :ill. ;24 cm.
內容註:	Structures -- Terms -- Formulas -- Definable sets -- Substructures and quantifiers -- Theories and axioms -- The complex and real fields --Compactness and new constants -- Axiomatisable classes -- Cardinalityconsiderations -- Constructing models from syntax -- Elementarysubstructures -- Elementary extensions -- Vector spaces and categoricity --Linear orders -- The successor structure -- Quantifier elimination for DLO-- Substructure completeness -- Power sets and boolean algebras -- Thealgebras of definable sets -- Real vector spaces and parameters --Semi-algebraic sets -- Realising types -- Omitting types -- Countablecategoricity -- Large and small countable models -- Saturated models --Fields and their extensions -- Algebraic closures of fields -- Categoricityand completeness -- Definable sets and varieties -- Hilbert'snullstellensatz.
標題:	Model theory. -
ISBN:	9781316615553

An invitation to model theory /
Kirby, Jonathan,1979-

An invitation to model theory /Jonathan Kirby. - Cambridge, United Kingdom ;Cambridge University Press,2019. - xiii, 182 p. :ill. ;24 cm.

Includes bibliographical references (p. 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 -- Cardinalityconsiderations -- Constructing models from syntax -- Elementarysubstructures -- Elementary extensions -- Vector spaces and categoricity --Linear orders -- The successor structure -- Quantifier elimination for DLO-- Substructure completeness -- Power sets and boolean algebras -- Thealgebras of definable sets -- Real vector spaces and parameters --Semi-algebraic sets -- Realising types -- Omitting types -- Countablecategoricity -- Large and small countable models -- Saturated models --Fields and their extensions -- Algebraic closures of fields -- Categoricityand completeness -- Definable sets and varieties -- Hilbert'snullstellensatz.

"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 isbased on pedagogical considerations, and I have tried to resist thetemptation to be encyclopedic. In this book, the main programme of modeltheory is to take a familiar mathematical structure and get an understandingof it in the following way. First, find an axiomatisation of its completetheory"--

ISBN: 9781316615553GBP26.99

LCCN: 2018052996Subjects--Topical Terms:

560899
Model theory.

LC Class. No.: QA9.7 / .K57 2019

Dewey Class. No.: 511.3/4

An invitation to model theory /
LDR:02086cam a2200229 a 450 001 2234935
005 20190111170839.0
008 211103s2019 enka b 001 0 eng c
010 $a 2018052996
020 $a 9781316615553 $q (pbk.) : $c GBP26.99
020 $a 1107163889 $q (hbk.)
020 $a 1316615553 $q (pbk.)
020 $a 9781107163881 $q (hbk.)
040 $a OU/DLC $b eng $c OU
042 $a pcc
050 0 0 $a QA9.7 $b .K57 2019
082 0 0 $a 511.3/4 $2 23
100 1 $a Kirby, Jonathan, $d 1979- $e author. $3 3513034
245 1 3 $a An invitation to model theory / $c Jonathan Kirby.
260 # $a Cambridge, United Kingdom ; $a New York, NY : $b Cambridge University Press, $c 2019.
300 $a xiii, 182 p. : $b ill. ; $c 24 cm.
504 $a Includes bibliographical references (p. 177-178) and index.
505 0 # $a Structures -- Terms -- Formulas -- Definable sets -- Substructures and quantifiers -- Theories and axioms -- The complex and real fields --Compactness and new constants -- Axiomatisable classes -- Cardinalityconsiderations -- Constructing models from syntax -- Elementarysubstructures -- Elementary extensions -- Vector spaces and categoricity --Linear orders -- The successor structure -- Quantifier elimination for DLO-- Substructure completeness -- Power sets and boolean algebras -- Thealgebras of definable sets -- Real vector spaces and parameters --Semi-algebraic sets -- Realising types -- Omitting types -- Countablecategoricity -- Large and small countable models -- Saturated models --Fields and their extensions -- Algebraic closures of fields -- Categoricityand completeness -- Definable sets and varieties -- Hilbert'snullstellensatz.
520 # $a "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 isbased on pedagogical considerations, and I have tried to resist thetemptation to be encyclopedic. In this book, the main programme of modeltheory is to take a familiar mathematical structure and get an understandingof it in the following way. First, find an axiomatisation of its completetheory"-- $c Provided by publisher.
650 # 0 $a Model theory. $3 560899