Q3431258
type: Item
instance of: scholarly article
zbMATH Open document ID: 1166.03040
author: George Voutsadakis
publication date: 2007-04-10T00:00:00Z
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03C20
zbMATH DE Number: 5141220
zbMATH Keywords: institutions
zbMATH Keywords: categories of natural transformations
zbMATH Keywords: congruence systems
zbMATH Keywords: first-order languages without equality
zbMATH Keywords: translations
zbMATH Keywords: reduced products
zbMATH Keywords: ultraproducts
MaRDI profile type: MaRDI publication profile
Recommended article: Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
Recommended article: Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence
Recommended article: Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems
Recommended article: Categorical abstract algebraic logic: Partially ordered algebraic systems
Recommended article: Q5442464
Recommended article: Q3370811
Recommended article: Q3582174
Recommended article: Categorical abstract algebraic logic: on admissible equivalence systems
Recommended article: Q5441552
Recommended article: Categorical abstract algebraic logic: Algebraizable institutions
description: scientific article; zbMATH DE number 5141220