A functional model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos

著者

• Nourani, Cyrus F.

書誌事項

A functional model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos

Cyrus F. Nourani

Apple Academic Press , Exclusive worldwide distribution by CRC Press, c2014

注記

Includes bibliographical references (p. [257]-284) and index

内容説明・目次

内容説明

This book is an introduction to a functorial model theory based on infinitary language categories. The author introduces the properties and foundation of these categories before developing a model theory for functors starting with a countable fragment of an infinitary language. He also presents a new technique for generating generic models with categories by inventing infinite language categories and functorial model theory. In addition, the book covers string models, limit models, and functorial models.

目次

Introduction. Categorical Preliminaries. Infinite Language Categories. Functorial Fragment Model Theory. Algebraic Theories, Categories, and Models. Generic Functorial Models and Topos. Models, Sheaves, and Topos. Functors on Fields. Filters and Ultraproducts on Projective Sets. A Glimpse on Algebraic Set Theory. Index.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BB15341403
• ISBN:
  • 9781926895925
• 出版国コード: cn
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Toronto,[S.l.]
• ページ数/冊数: x, 292 p.
• 大きさ: 24 cm