\relax 
\newlabel{EqAx}{{}{44}}
\newlabel{corEq}{{}{44}}
\newlabel{fun}{{1}{45}}
\newlabel{pred}{{2}{45}}
\newlabel{var}{{3}{45}}
\newlabel{vaught}{{7}{49}}
\newlabel{finite}{{11}{50}}
\newlabel{not_fin_ax}{{13}{51}}