Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements

This paper axiomatizes classes of Abelian lattice-ordered groups with a finite upper bound on the number of pairwise disjoint positive elements; finds model-completions for these theories; derives corresponding Nullstellensätze; determines which model-completions eliminate quantifiers; and examines quantifier elimination in a different language and for positive formulas.