scientific article; zbMATH DE number 5141220

MaRDI QIDQ3431258zbMATH OpenFDO

Authors George Voutsadakis

Publication date 10 April 2007

zbMATH Keywords

ultraproductstranslationsinstitutionsreduced productscategories of natural transformationscongruence systemsfirst-order languages without equality

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Ultraproducts and related constructions (03C20)

Recommendations

• Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
• Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence
• Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems
• Categorical abstract algebraic logic: Partially ordered algebraic systems
• Categorical abstract algebraic logic: operators on classes of structures systems
• Categorical abstract algebraic logic: protoalgebraicity and Leibniz theory systems
• Categorical abstract algebraic logic: subdirect representation for classes of structure systems
• Categorical abstract algebraic logic: on admissible equivalence systems
• Categorical abstract algebraic logic. Full model, Frege systems and metalogical properties
• Categorical abstract algebraic logic: Algebraizable institutions

Cited in

(13)

• Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
• scientific article; zbMATH DE number 6404009 (Why is no real title available?)
• Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem
• Categorical abstract algebraic logic: operators on classes of structures systems
• THE CANONICAL STRUCTURE AS A MINIMUM STRUCTURE
• Categorical abstract algebraic logic: Partially ordered algebraic systems
• Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems
• Categorical abstract algebraic logic: The largest theory system included in a theory family
• Categorical abstract algebraic logic: subdirect representation for classes of structure systems
• Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence
• Implicative logics, Lambek systems and exponential multicategories
• Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
• Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties

This page was built for publication:

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