東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

An invitation to model theory /

Kirby, Jonathan, (1979-)

Linked to FindBook

Google Book

Amazon

博客來

An invitation to model theory /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	An invitation to model theory // Jonathan Kirby.
Author:	Kirby, Jonathan,
Published:	Cambridge, United Kingdom ;Cambridge University Press, : 2019.,
Description:	xiii, 182 p. :ill. ;24 cm.
[NT 15003449]:	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.
Subject:	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