Beyond first order model theory
著者
書誌事項
Beyond first order model theory
CRC Press, c2017
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references
内容説明・目次
内容説明
Model theory is one of the central branches of mathematical logic. The field has evolved rapidly in the last few decades. This book is an introduction to current trends in model theory, and contains a collection of articles authored by top researchers in the field. It is intended as a reference for students as well as senior researchers.
目次
Abstract elementary classes. Generalized logics in set theory. Topological methods in abstract model theory. Randomizations of structures. First Order logics with dependent sorts. Applications of infinitary logics.
「Nielsen BookData」 より