Mikhail G. Peretyat'kin

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

Collaborative distances:

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

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