A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos / Cyrus F. Nourani, PhD.

Format:

Book

Author/Creator:

Nourani, Cyrus F., author.

Language:

English

Subjects (All):

Infinitary languages.

Algebraic topology.

Descriptive set theory.

Categories (Mathematics).

Physical Description:

1 online resource (296 p.)

Edition:

First edition.

Place of Publication:

Toronto : Apple Academic Press, Inc. ; Boca Raton, FL : CRC Press, [2014]

Language Note:

English

Summary:

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.

Contents:

Front Cover; About the Author; Contents; Preface; Chapter 1: Introduction; Chapter 2: Categorical Preliminaries; Chapter 3: Infinite Language Categories; Chapter 4: Functorial Fragment Model Theory; Chapter 5: Algebraic Theories, Categories, and Models; Chapter 6: Generic Functorial Models and Topos; Chapter 7: Models, Sheaves, and Topos; Chapter 8: Functors on Fields; Chapter 9: Filters and Ultraproducts on Projective Sets; Chapter 10: A Glimpse on Algebraic Set Theory; Bibliography

Notes:

Description based upon print version of record.

Includes bibliographical references.

Description based on print version record.

ISBN:

0-429-18873-0

1-4822-3150-6

9780429188732

OCLC:

872667448