This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos /: newer applications to algebraic topology, descriptive sets, and computing categories topos. ([2014])
Record Type:
Book
Title:
A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos /: newer applications to algebraic topology, descriptive sets, and computing categories topos. ([2014])
Main Title:
A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos
Introduction -- Categorical preliminaries -- Infinite language categories -- Functional fragment model theory -- Algebraic theories, categories and models -- Generic functional models and topos -- Models, sheaves, and topos -- Functors on fields -- Filters and ultraproducts on projective sets -- A glimpse on algebraic set theory.
Note: Includes bibliographical references. Note: Print version record.
Access Rights:
Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
Access Usage:
Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.