Mikhail G. Peretyat'kin

According to our database, Mikhail G. Peretyat'kin authored at least 4 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Universal Boolean Algebras with Applications to Semantic Classes of Models.

Mikhail G. Peretyat'kin, Victor L. Selivanov

Proceedings of the Twenty Years of Theoretical and Practical Synergies, 2024

2013

The Tarski-Lindenbaum Algebra of the Class of All Strongly Constructivizable Countable Saturated Models.

Mikhail G. Peretyat'kin

Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013

2012

On the Tarski-Lindenbaum Algebra of the Class of all Strongly Constructivizable Prime Models.

Mikhail G. Peretyat'kin

Proceedings of the How the World Computes, 2012

2002

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