Birth date: 16.10.1996
Phone: +79157063874
Keywords: first order logic

Subject:

Partial fixed point

Main publications:

1. Sekorin V.S., “Partial Fixed Point for Finite Models in Second Order Logic”, Lobachevskii Journal of Mathematics, 41:9 (2020), 1672-1679

Publications in Math-Net.Ru

Presentations in Math-Net.Ru

Personal pages:

• 
• 
• 
• 

Organisations:

• Tver State University