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

Jensen Reals by Means of Second-Order Peano Arithmetic. Axioms, 2024, 13(2), Article no 96. DOI: 10.3390/axioms13020096 (WoS Q2)
Go to publication Download (248.3 KB)

A good lightface Δ^1_n well-ordering of the reals does not imply the existence of boldface Δ^1_{n−1} well-orderings. Annals of Pure and Applied Logic, 2024, 175, 6, pp.\ 1-38. DOI 10.1016/j.apal.2024.103426 (WoS Q2)
Go to publication

Parameterfree Comprehension does not imply full Comprehension in second order Peano arithmetic. Studia Logica, 2024, DOI: 10.1007/s11225-024-10108-2 (WoS Q2)
Go to publication