Beyond first order model theory

著者

• Iovino, José

書誌事項

Beyond first order model theory

Jose Iovino

CRC Press, c2017

注記

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」 より

詳細情報

• NII書誌ID(NCID): BB24532195
• ISBN:
  • 9781498753975
• LCCN: 2017005023
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Boca Raton
• ページ数/冊数: xv, 427 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA9.7
  • DC23 : 511.3/4
• 件名:
  • LCSH : Model theory
  • LCSH : Logic, Symbolic and mathematical