skip to content
A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos Preview this item
ClosePreview this item
Checking...

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

Author: Cyrus F Nourani
Publisher: Toronto ; New Jersey : Apple Academic Press, [2014] ©2014
Edition/Format:   eBook : Document : EnglishView all editions and formats
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Nourani, Cyrus F.
Functorial model theory.
(DLC) 2013955135
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Cyrus F Nourani
ISBN: 1482231506 9781482231502
OCLC Number: 884613734
Description: 1 online resource (x, 292 pages :) : illustrations
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.
Responsibility: Cyrus F. Nourani.

Abstract:

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.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/884613734> # A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "884613734" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/onc> ;
   schema:about <http://dewey.info/class/512.62/e23/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1783855310#Topic/functor_theory> ; # Functor theory
   schema:about <http://experiment.worldcat.org/entity/work/data/1783855310#Topic/model_theory> ; # Model theory
   schema:about <http://experiment.worldcat.org/entity/work/data/1783855310#Topic/theorie_des_modeles> ; # Théorie des modèles
   schema:about <http://experiment.worldcat.org/entity/work/data/1783855310#Topic/theorie_des_foncteurs> ; # Théorie des foncteurs
   schema:author <http://experiment.worldcat.org/entity/work/data/1783855310#Person/nourani_cyrus_f> ; # Cyrus F Nourani
   schema:bookFormat schema:EBook ;
   schema:copyrightYear "2014" ;
   schema:datePublished "2014" ;
   schema:description "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."@en ;
   schema:description "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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1783855310> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/1783855310#CreativeWork/functorial_model_theory> ;
   schema:name "A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos"@en ;
   schema:productID "884613734" ;
   schema:url <http://www.crcnetbase.com/isbn/9781482231502> ;
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=1383561> ;
   schema:workExample <http://worldcat.org/isbn/9781482231502> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/884613734> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1783855310#Person/nourani_cyrus_f> # Cyrus F Nourani
    a schema:Person ;
   schema:familyName "Nourani" ;
   schema:givenName "Cyrus F." ;
   schema:name "Cyrus F Nourani" ;
    .

<http://experiment.worldcat.org/entity/work/data/1783855310#Topic/theorie_des_foncteurs> # Théorie des foncteurs
    a schema:Intangible ;
   schema:name "Théorie des foncteurs"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1783855310#Topic/theorie_des_modeles> # Théorie des modèles
    a schema:Intangible ;
   schema:name "Théorie des modèles"@fr ;
    .

<http://worldcat.org/entity/work/data/1783855310#CreativeWork/functorial_model_theory>
    a schema:CreativeWork ;
   rdfs:label "Functorial model theory." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/884613734> ; # A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos
    .

<http://worldcat.org/isbn/9781482231502>
    a schema:ProductModel ;
   schema:isbn "1482231506" ;
   schema:isbn "9781482231502" ;
    .

<http://www.worldcat.org/title/-/oclc/884613734>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/884613734> ; # A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos
   schema:dateModified "2017-10-22" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.