Abstract
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.