Finite axiomatizability in Łukasiewicz logic

n/

Representations of strongly algebraically closed algebras

We introduce the notion of q′-compactness for MV-algebras. One of the main results of the paper is a characterization of a class of orthomodular lattices that are horizontal sums of strongly algebraically closed algebras