Locally countable graphs of second projective class not generated by countably many projective functions. arXiv: 2605.03126 [math.LO], May 25, 2026, 12 pp. DOI: 10.48550/arXiv.2605.03126
Go to publication

Constructibility in the Simpson set theory without the local countability axiom. Mathematics, 2026, Vol. 14, No. 9, Article 1499. DOI 10.3390/math14091499 (WoS Q1, БС1)
Go to publication

On Petr Novikov's problem of ordered systems of uniform sets. arXiv: 2604.07594 [math.LO], April 15, 2026, 13 pp. DOI: 10.48550/arXiv.2604.07594
Go to publication

On Constructible Sets in Simpson’s Set Theory. Mathematical Notes , Vol. 120, no.1, pp. 27–40, DOI 10.1134/S0001434626603205 (SJR Q2, БС1)
Go to publication

On the parameters and the projective level in the Choice and Collection axioms. Annals of Pure and Applied logic, 2026, under review. (Scimago Q1, БС 2)
Go to publication

Notes on the equiconsistency of ZFC without the Power Set Axiom and second-order arithmetic. Axioms, 2025, Vol. 14, No. 12, Article 865. DOI: 10.3390/axioms14120865 (WoS Q2, БС 2)
Go to publication

Notes on the equiconsistency of ZFC without the Power Set axiom and 2nd order PA. arXiv: 2507.11643 [math.LO], July 2025, 29 pp. DOI: 10.48550/arXiv.2507.11643
Go to publication

Notes on iterative summation of alternating factorials. Mathematics, 2025, Vol. 13, No. 12, Article 1942. DOI 10.3390/math13121942. (WoS Q1, БС1)
Go to publication Download (228.7 KB)

On the uniform projection and covering problems in descriptive set theory under the axiom of constructibility. Mathematics, 2025, Vol. 13, No 3, Article 409. DOI 10.3390/math13030409 (WoS Q1, БС1)
Go to publication

On the uniform projection problem in descriptive set theory. Axioms, 2025, Vol. 14, No. 1, Art. 13. DOI: 10.3390/axioms14010013 (WoS Q2, БС2)
Go to publication

Independence of the Comprehension Schema in Second-Order Arithmetic from the Parameter-Free Countable Choice. Mathematical Notes, 2025, vol. 117, no. 2, pp. 275-286. DOI: 10.1134/S0001434625010250 (WoS Q3, Scimago SJR Q2, БС2)
Go to publication

Parameterfree comprehension does not imply full comprehension in second order Peano arithmetic. Studia Logica, 2025, 113, pp. 109--124. DOI: 10.1007/s11225-024-10108-2 (WoS Q2, Scimago Q1, БС2)
Go to publication

On the uniform projection and covering problems in descriptive set theory under the axiom of constructibility. Preprints, 2024, 2024101379. DOI 10.20944/preprints202410.1379.v1
Go to publication

On the significance of parameters and the projective level in the Choice and Collection axioms. arXiv: 2407.20098 [math.LO], August 2024, 127 pp. DOI: 10.48550/arXiv.2407.20098
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

Wide-scale identification of novel/eliminated genes responsible for evolutionary transformations. Biology Direct, 2023, Vol. 18, Art. 45. DOI: 10.1186/s13062-023-00405-6 (WoS Q1, БС2)
Go to publication