詳細情報

刊年

2011

形態

x, 426 p. : ill. ; 26 cm

シリーズ名

CRM proceedings & lecture notes ; v. 53

注記

Proceedings of a conference held at Centre de recherches mathématiques of the Université de Montréal, June 18-20, 2009

Includes bibliographical references

Other editors: Thomas G. Kucera, Anand Pillay, Philip J. Scott, Robert A.G. Seely

出版国

アメリカ合衆国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Hart, Bradd T.

Kucera, Thomas G.

Pillay, Anand

Scott, Philip J.

Seely, R. A. G. (Robert Andrew George), 1951- [ Seely, Robert Andrew George, 1951- ]

分類

LCC:QA9.7

DC23:512/.62

件名

Model theory -- Congresses

Categories (Mathematics) -- Congresses

Mathematical logic and foundations -- Proceedings, conferences, collections, etc. msc

Mathematical logic and foundations -- Model theory -- Classification theory, stability and related concepts. msc

Mathematical logic and foundations -- Model theory -- Properties of classes of models. msc

Mathematical logic and foundations -- Model theory -- Nonclassical models (Boolean-valued, sheaf, etc.). msc

Mathematical logic and foundations -- Algebraic logic -- Categorical logic, topoi. msc

Category theory; homological algebra -- Categories and theories -- Theories (e.g. algebraic theories), structure, and semantics. msc

Category theory; homological algebra -- Categories with structure -- Double categories, $2$-categories, bicategories and generalizations. msc

Category theory; homological algebra -- Categories with structure -- Fibered categories. msc

Makkai, Mihály, 1939-

ISBN

9780821872819 (: pbk)

NCID

BB07251101

番号

LCCN : 2011024611