Jensen ${\Delta }_n^1$ reals by means of ZFC and second-order Peano arithmetic. Axioms, Jan 30 2024, Vol. 13, No. 2, Art. 96. DOI: 10.3390/axioms13020096 (WoS Q1, БС2)
Go to publication

A good lightface ${\Delta }_n^1$ well-ordering of the reals does not imply the existence of boldface ${𝚫}_{n-1}^1$ well-orderings. Annals of Pure and Applied Logic, Jun 2024, Vol. 175, Iss. 6, Art. 103426. DOI: 10.1016/j.apal.2024.103426 (WoS Q2, Scimago Q1, БС2)
Go to publication

Lower bounds for the rank of a matrix with zeros and ones outside the leading diagonal. Programming and Computer Software, 2024, vol. 50, pp. 202–207. DOI: 10.1134/S0361768824020142
Go to publication

On the length of an unsatisfiable conjunction. International Conference Polynomial Computer Algebra 2024, St. Petersburg, Russia, Apr 15–20 2024, pp. 140–143.

On polynomial-time computable structures. Proceedings of the international conference Algebra and mathematical logic: theory and applications. June 27-July 1, 2024, Kazan (Volga Region) Federal University, Kazan, pp. 190-192 (in Russian).
Go to publication