東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

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

切換: 標籤 | MARC模式 | ISBD

Models and games

Vaananen, J. (1950-)

FindBook

Google Book

Amazon

博客來

Models and games

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Models and games/ Jouko Vaananen.
其他題名:	Models & Games
作者:	Vaananen, J.
出版者:	Cambridge :Cambridge University Press, : 2011.,
面頁冊數:	ix, 367 p. :ill., digital ;24 cm.
附註:	Title from publisher's bibliographic system (viewed on 05 Oct 2015).
內容註:	Introduction -- Preliminaries and notation -- Games -- Graphs -- Models -- First-order logic -- Infinitary logic -- Model theory of infinitary logic -- Stronger infinitary logics -- Generalized quantifiers.
標題:	Model theory. -
電子資源:	https://doi.org/10.1017/CBO9780511974885
ISBN:	9780511974885

Models and games
Vaananen, J.1950-

Models and games[electronic resource] /Models & GamesJouko Vaananen. - Cambridge :Cambridge University Press,2011. - ix, 367 p. :ill., digital ;24 cm. - Cambridge studies in advanced mathematics ;132. - Cambridge studies in advanced mathematics ;132..

Title from publisher's bibliographic system (viewed on 05 Oct 2015).

Introduction -- Preliminaries and notation -- Games -- Graphs -- Models -- First-order logic -- Infinitary logic -- Model theory of infinitary logic -- Stronger infinitary logics -- Generalized quantifiers.

This gentle introduction to logic and model theory is based on a systematic use of three important games in logic: the semantic game; the Ehrenfeucht-Fraisse game; and the model existence game. The third game has not been isolated in the literature before but it underlies the concepts of Beth tableaux and consistency properties. Jouko Vaananen shows that these games are closely related and in turn govern the three interrelated concepts of logic: truth, elementary equivalence and proof. All three methods are developed not only for first order logic but also for infinitary logic and generalized quantifiers. Along the way, the author also proves completeness theorems for many logics, including the cofinality quantifier logic of Shelah, a fully compact extension of first order logic. With over 500 exercises this book is ideal for graduate courses, covering the basic material as well as more advanced applications.

ISBN: 9780511974885Subjects--Topical Terms:

560899
Model theory.

LC Class. No.: QA9.7 / .V33 2011

Dewey Class. No.: 511.34

Models and games
LDR:02025nmm a2200289 a 4500 001 2227138
003 UkCbUP
005 20151005020621.0
006 m d
007 cr nn 008maaau
008 210414s2011 enk o 1 0 eng d
020 $a 9780511974885 $q (electronic bk.)
020 $a 9780521518123 $q (hardback)
035 $a CR9780511974885
040 $a UkCbUP $b eng $c UkCbUP $d GP
041 0 $a eng
050 4 $a QA9.7 $b .V33 2011
082 0 4 $a 511.34 $2 22
090 $a QA9.7 $b .V111 2011
100 1 $a Vaananen, J. $q (Jouko), $d 1950- $3 3470398
245 1 0 $a Models and games $h [electronic resource] / $c Jouko Vaananen.
246 3 $a Models & Games
260 $a Cambridge : $b Cambridge University Press, $c 2011.
300 $a ix, 367 p. : $b ill., digital ; $c 24 cm.
490 1 $a Cambridge studies in advanced mathematics ; $v 132
500 $a Title from publisher's bibliographic system (viewed on 05 Oct 2015).
505 0 $a Introduction -- Preliminaries and notation -- Games -- Graphs -- Models -- First-order logic -- Infinitary logic -- Model theory of infinitary logic -- Stronger infinitary logics -- Generalized quantifiers.
520 $a This gentle introduction to logic and model theory is based on a systematic use of three important games in logic: the semantic game; the Ehrenfeucht-Fraisse game; and the model existence game. The third game has not been isolated in the literature before but it underlies the concepts of Beth tableaux and consistency properties. Jouko Vaananen shows that these games are closely related and in turn govern the three interrelated concepts of logic: truth, elementary equivalence and proof. All three methods are developed not only for first order logic but also for infinitary logic and generalized quantifiers. Along the way, the author also proves completeness theorems for many logics, including the cofinality quantifier logic of Shelah, a fully compact extension of first order logic. With over 500 exercises this book is ideal for graduate courses, covering the basic material as well as more advanced applications.
650 0 $a Model theory. $3 560899
830 0 $a Cambridge studies in advanced mathematics ; $v 132. $3 3470399
856 4 0 $u https://doi.org/10.1017/CBO9780511974885