|
![](/images/news.gif) |
2024 year Authors: Gorbunov K., Lyubetsky V.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 |
![](/images/news.gif) |
2024 year Authors: Kanovei V., Lyubetsky V.Jensen Δ1n 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) Go to publication |
![](/images/news.gif) |
2024 year Authors: Kanovei V., Lyubetsky V.A good lightface Δ1n well-ordering of the reals does not imply the existence of boldface Δ1n-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) Go to publication |
![](/images/news.gif) |
2024 year Authors: Kanovei V., Lyubetsky V.Parameterfree comprehension does not imply full comprehension in second order Peano arithmetic.
Studia Logica, Apr 24 2024.
DOI: 10.1007/s11225-024-10108-2
(WoS Q2) Go to publication |
![](/images/news.gif) |
2024 year Authors: Seliverstov A., Zverkóv O.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. Go to publication |
|
|
|
|