О конструктивных множествах в теории множеств Симпсона. Математические заметки (SJR Q2, БС1), подано на рецензирование.
Загрузить (752.7 KB)

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)
Перейти к публикации

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
Перейти к публикации

Notes on iterative summation of alternating factorials. Mathematics, 2025, Vol. 13, No. 12, Article 1942. DOI 10.3390/math13121942. (WoS Q1, БС1)
Перейти к публикации Загрузить (228.7 KB)

On the significance of parameters and the projective level in the Choice and Collection axioms. Annals of Pure and Applied logic, 2025, under review. (Scimago Q1, БС 2)
Перейти к публикации

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)
Перейти к публикации

On the uniform projection problem in descriptive set theory. Axioms, 2025, Vol. 14, No. 1, Art. 13. DOI: 10.3390/axioms14010013 (WoS Q2, БС2)
Перейти к публикации

Независимость схемы свертки в арифметике второго порядка от счетного выбора без параметров. Математические заметки, 2025, том 117, вып. 2, стр. 257–269. DOI: 10.4213/mzm14255 (SJR Q2, БС1)
Перейти к публикации

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)
Перейти к публикации

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
Перейти к публикации

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
Перейти к публикации

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)
Перейти к публикации

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)
Перейти к публикации

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)
Перейти к публикации

A model in which well-orderings of the reals first appear at a given projective level, part III, the case of second-order PA. Mathematics, 2023, 11(15), Article no. 3294. DOI: 10.3390/math11153294 (WoS Q1, БС1)
Перейти к публикации

A model in which well-orderings of the reals first appear at a given projective level, part II. Mathematics, 2023, 11(11), Article no. 2517. DOI: 10.3390/math11112517 (WoS Q1, БС1)
Перейти к публикации

On the Significance of Parameters in the Choice and Collection Schemata in the 2nd Order Peano Arithmetic. Mathematics, 2023, 11 (3), Article no. 726. DOI: 10.3390/math11030726 (WoS Q1, БС1)
Перейти к публикации

On Russell typicality in Set Theory. Proceedings of the American Mathematical Society, 2023, 151, no 5, pp. 2201–2210. DOI: 10.1090/proc/16232 (WoS Q2, БС2)
Перейти к публикации

On the significance of parameters in the choice and collection schemata in the 2nd order Peano arithmetic. Preprints, Dec 26 2022, Art. 2022120255. DOI: 10.20944/preprints202212.0255.v2
Перейти к публикации

The parameterfree Comprehension does not imply the full Comprehension in the 2nd order Peano arithmetic. Eprint, arXiv:2209.07599 [math.LO], Sep 15 2022. DOI: 10.48550/arXiv.2209.07599
Перейти к публикации