Model theory of functors: Axiomatizability problems

DOI10.1016/S0022-4049(96)00031-XzbMATH Open0947.03053MaRDI QIDQ1361202FDOQ1361202

Yefim Katsov

Publication date: 7 November 2000

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Recommendations

• Model theory under the axiom of determinateness
• Structures, homomorphisms, and the needs of model theory
• Publication:3835448
• Axiomatic classes of intuitionistic models
• scientific article; zbMATH DE number 3561333
• A Functorial Model Theory
• MODEL THEORY AND ULTRAPRODUCTS
• Some algebraic problems in the context of functorial semantics of algebraic theories
• scientific article; zbMATH DE number 1136100
• Model theory of modules

zbMATH Keywords

functor categoriesaxiomatizabilityflat functorsinjective functorsprojective functorsadditive functorsabelian-group-valued functorsmany-sorted model theorysmall preadditive categories

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Basic properties of first-order languages and structures (03C07) Functor categories, comma categories (18A25) Preadditive, additive categories (18E05)

Cites Work

• Model theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Rings with several objects
• Direct Products of Modules
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Purity in functor categories
• Flat and coherent functors
• On colimits of injectives in Grothendieck categories
• Some applications of module theory to functor categories
• Model-completions and modules
• Definability problems for modules and rings
• Perfect categories. I
• Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik
• Title not available (Why is that?)
• Perfect categories. IV: Quasi-Frobenius categories

Cited In (5)

• Title not available (Why is that?)
• On the notion of bimodel for functorial semantics
• A Functorial Model Theory
• Definable additive categories: purity and model theory
• Some algebraic problems in the context of functorial semantics of algebraic theories

This page was built for publication: Model theory of functors: Axiomatizability problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1361202)