000			01681cam a22002417i 4500
001			135711
003			ISI Library, Kolkata
005			20150505122931.0
008			131112t20142014onc b 001 0 eng
020			_a9781926895925 (bound)
040			_aISI Library
082	0	0	_a512.62 _223 _bN931
100	1		_aNourani, Cyrus F.
245	1	2	_aFunctorial model theory : _bnewer applications to algebraic topology, descriptive sets, and computing categories topos / _cCyrus F. Nourani.
260			_aToronto : _bApple Academic Press, _cc2014.
300			_a292 p. ; _c24 cm.
504			_aIncludes bibliographical references (pages 257-284) and index.
505			_a1. Introduction -- 2. Categorical preliminaries -- 3. Infinite language categories -- 4. Functional fragment model theory -- 5. Algebraic theories, categories and models -- 6. Generic functional models and topos -- 7. Models, sheaves, and topos --8. Functors on fields -- 9. Filters and ultraproducts on projective sets -- 10. A glimpse on algebraic set theory-- Bibliography-- Index.
520			_aThis 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.
650	0		_aFunctor theory.
650	0		_aModel theory.
942			_2ddc _cBK
999			_c418938 _d418938