Algorithms for the reconstruction of genomic structures with proofs of their low polynomial complexity and high exactness. Mathematics, Mar 11 2024, Vol. 12, No. 6, Art. 817. DOI: 10.3390/math12060817 (WoS Q1)
Go to publication

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.