Merkzettel Warenkorb
  • Produktbild: A Functorial Model Theory
  • Produktbild: A Functorial Model Theory

A Functorial Model Theory Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos

121,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

31.03.2021

Verlag

Apple Academic Press

Seitenzahl

304

Maße (L/B/H)

22,9/15,2/1,6 cm

Gewicht

443 g

Sprache

Englisch

ISBN

978-1-77463-310-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

31.03.2021

Verlag

Apple Academic Press

Seitenzahl

304

Maße (L/B/H)

22,9/15,2/1,6 cm

Gewicht

443 g

Sprache

Englisch

ISBN

978-1-77463-310-6

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: A Functorial Model Theory
  • Produktbild: A Functorial Model Theory
  • IntroductionCategorical PreliminariesCategories and FunctorsMorphismsFunctorsCategorical ProductsNatural TransformationsProducts on Models Preservation of LimitsModel Theory and Topoi More on Universal ConstructionsChapter ExercisesInfinite Language CategoriesBasicsLimits and Infinitary Languages Generic Functors and Language String ModelsFunctorial Morphic Ordered Structure ModelsChapter ExercisesFunctorial Morphic Ordered Structure ModelsFunctorial Fragment Model TheoryIntroductionGeneric Functors and Language String Models Functorial Models As ¿-Chains Models Glimpses From Functors Structure Products Higher Stratified Consistency and Completeness Fragment Positive Omitting Type AlgebrasOmitting Types and RealizabilityPositive Categories and Consistency ModelsMore on Fragment ConsistencyChapter ExercisesAlgebraic Theories, Categories, and Models Ultraproducts on AlgebrasUltraproducts and UltrafiltersUltraproduct Applications to Horn Categories Algebraic Theories and Topos Models Free Theories and Factor TheoriesT-Algebras and AdjunctionsTheory Morphisms, Products and Co-products Algebras and the Category of Algebraic TheoriesInitial Algebraic Theories and Computable TreesChapter ExercisesGeneric Functorial Models and ToposElementary TopoiGeneric Functorial ModelsGeneric FunctorsInitial D

    ModelsPositive Forcing ModelsFunctors Computing Hasse Diagram ModelsFragment Consistent ModelsHomotopy theory of toposFiltered colimits and comma categoriesMore on Yoneda Lemma Chapter ExercisesModels, Sheaves, and ToposPreSheavesDuality, Fragment Models, and TopologyDualityLifts on Topos Models on Cardinalities Chapter ExercisesFunctors on FieldsIntroductionBasic ModelsFieldsPrime Models Omitting Types on FieldsFilters and FieldsFilters and Products Chapter ExercisesFilters and Ultraproducts on Projective SetsGeneral DefinitionsGeneric Functors and Language String Models Functorial Fragment Consistency Filters Structure Products Completing Theories and Fragments Prime Models and Model Completion Uniform and countably incomplete ultrafiltersFunctorial Projetive Set Models and SaturationUltraproducts and Ultrafliters Chapter ExercisesA Glimpse on m Algebraic Set Theory Preliminaries Ultraproducts and Ultrafilters on SetsUltrafilters over N Saturation and PreservationsFunctorial Models and Descriptive Sets Filters, Fragment Constructible Models, and SetsIndex