Amalgamation in universal algebraic logic
Tarek Sayed Ahmed · Studia Scientiarum Mathematicarum Hungarica · 2012
Let (Kα: α ≧ ω) be a system of varieties definable by schemas. We characterize the amalgamation base, strong amalgamation base, and super amalgamation base of the class \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $S\mathfrak{N}\mathfrak{r}_\alpha $ \end{document} Kα+ω at this abstract level.