Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:
Keywords: axiomatizability, completeness, S-acts, S-posets.
UDC: 510.67, 512.56

Subject:

Models theory of S-acts.

Main publications:

1. Первухин М.А., Степанова А.А., “Аксиоматизируемость класса свободных частично упорядоченных полигонов”, Фундаментальная и прикладная математика, 15:1 (2009), 99-115
2. Первухин М.А., “О регулярных частично упорядоченных полигонах”, Вестник НГУ. Серия: Математика, механика, информатика, 9:4 (2009), 71-76

Publications in Math-Net.Ru

Personal pages:

• 
• 

Organisations:

• Far Eastern Federal University, Vladivostok
• Institute of Mathematics and Computer Sciences, Far Eastern State University
• Vladivostok State University of Economics and Service