The Lindenbaum Algebra of the Theory of the class of All finite Models. - Steffen Lempp; Mikhail G. Peretyat'kin; Reed Solomon (J. Math. Log., 2002)

On the Tarski-Lindenbaum Algebra of the Class of all Strongly Constructivizable Prime Models. - Mikhail G. Peretyat'kin (CiE, 2012)

The Tarski-Lindenbaum Algebra of the Class of All Strongly Constructivizable Countable Saturated Models. - Mikhail G. Peretyat'kin (CiE, 2013)

Universal Boolean Algebras with Applications to Semantic Classes of Models. - Mikhail G. Peretyat'kin; Victor L. Selivanov (CiE, 2024)

The Tarski-Lindenbaum algebra of the class of strongly constructivizable models with ømega-stable theories. - Mikhail G. Peretyat'kin (Arch. Math. Log., 2025)