2025 |
| Kanovei V., Lyubetsky V., On the significance of parameters and the projective level in the Choice and Collection axioms.
Memoirs of the American Mathematical Society 2025, under reviewing (WoS Q1). http://iitp.ru/https://arxiv.org/abs/2407.20098 |
| Kanovei V., Lyubetsky V., On the uniform projection and covering problems in descriptive set theory under the axiom of constructibility.
Mathematics 2025, under reviewing.(WoS Q1). http://iitp.ru/https://doi.org/10.20944/preprints202410.1379.v1 |
| Kanovei V., Lyubetsky V., On the uniform projection problem in descriptive set theory.
Axioms, 2025, Vol. 14, No. 1, Art. 13.
DOI: 10.3390/axioms14010013
(WoS Q1) http://iitp.ru/https://www.mdpi.com/2075-1680/14/1/13 |
2024 |
| Seliverstov A., The length of an unsatisfiable subformula. Algebra and Logic, 2024, Vol. 63, No. 1, pp. 65-72.
DOI 10.1007/s10469-024-09771-0
http://iitp.ru/https://rdcu.be/d4eSj |
| Zverkóv O., Seliverstov A., Shilovsky G., Alignment of a hidden palindrome. Math. Biol. Bioinf. 2024, vol. 19, no. 2, pp. 427-438. doi: 10.17537/2024.19.427
http://iitp.ru/https://www.matbio.org/article.php?journ_id=47&id=584&lang=eng |
| Seliverstov A., On semirecursive sets. International Conference Mal"tsev Meeting, November 11–15, 2024, Collection of Abstracts. Novosibirsk, 2024. P. 68.
http://old.math.nsc.ru/conference/malmeet/24/Main.htm |
| Gorbunov K., Lyubetsky V., An exact quadratic algorithm for the shortest tree transformation.
Doklady Mathematics, Oct 29 2024, Vol. 110, Iss. 2, P. 373–378.
DOI: 10.1134/S1064562424702259 http://iitp.ru/https://doi.org/10.1134/S1064562424702259 |
| Shilovsky G., Sorokina E., Lyubetskaya E., Ferubko E., New methods of induction of antioxidant defense based on exercise mimetics in the elderly.
Clinical Gerontology, 2024, Vol. 30, No. 3-4, P. 52–56, (in Russian).
DOI: 10.26347/1607-2499202403-04052-056 http://iitp.ru/https://kg.newdiamed.ru/issue/id423192/id423254 |
| Shilovsky G., p62: Intersection of antioxidant defense and autophagy pathways.
Molecular Biology, Oct 2024, Vol. 58, No. 5, P. 822–835.
DOI: 10.1134/S0026893324700390 http://iitp.ru/https://doi.org/10.1134/S0026893324700390 |
| Seliverstov A., Zverkóv O., On systems of several equations modulo three. XIV Belarusian Mathematical Conference dedicated to the 65th anniversary of the Institute of Mathematics Minsk, October 28 – November 1, 2024. Minsk, 2024. Part 3. P. 152-154. http://iitp.ru/https://mmf.bsu.by/ru/konferentsii/xiv-belorusskaya-matematicheskaya-konferentsiya/ |
| Malaschonok G., Seliverstov A., MathPartner: An Artificial Intelligence Cloud Service. In: Arai K. (eds) Intelligent Systems and Applications. IntelliSys 2024, Lecture Notes in Networks and Systems, Springer, Cham, 2024, Vol. 1068, P. 182–194. http://iitp.ru/https://doi.org/10.1007/978-3-031-66336-9_14 |
| Shilovsky G., Sorokina E., Akhaev D., Anti-aging medicine: Mitochondria-targeted antioxidants and physical activity.
Biology Bulletin Reviews, Aug 2024, Vol. 14, No. 4, P. 426–433.
DOI: 10.1134/S2079086424600188 http://iitp.ru/https://doi.org/10.1134/S2079086424600188 |
| Shilovsky G., Calculating aging: Analysis of survival curves in the norm and pathology, fluctuations in mortality dynamics, characteristics of lifespan distribution, and indicators of lifespan variation.
Biochemistry (Moscow), Feb 2024, Vol. 89, No. 2, P. 371–376.
DOI: 10.1134/S0006297924020159 http://iitp.ru/https://doi.org/10.1134/S0006297924020159 |
| Shilovsky G., Putyatina T., Markov A., Evolution of longevity in tetrapods: Safety is more important than metabolism level.
Biochemistry (Moscow), Feb 2024, Vol. 89, No. 2, P. 322–340.
DOI: 10.1134/S0006297924020111 http://iitp.ru/https://doi.org/10.1134/S0006297924020111 |
| Wijayawardene N., Hyde K., Mikhailov K., Peter G., Aptroot A., Pires-Zottarelli C., Goto B., Tokarev Y., Haelewaters D., Karunarathna S., Kirk P., de Santiago A., Saxena R., Schoutteten N., Wimalasena M., Aleoshin V., . . ., Zverkóv O., Thines M., Karpov S.A., Classes and phyla of the kingdom Fungi.
Fungal Diversity, Sep 2024, Vol. 128, P. 1–165.
DOI: 10.1007/s13225-024-00540-z http://iitp.ru/https://doi.org/10.1007/s13225-024-00540-z |
| Kanovei V., Lyubetsky V., 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 http://iitp.ru/https://doi.org/10.20944/preprints202410.1379.v1 |
| Lyubetsky V., Shilovsky G., Yang J.-R., Seliverstov A., Zverkóv O., The change rate of the Fbxl21 gene and the amino acid composition of its protein correlate with the species-specific lifespan in placental mammals.
Biology, 2024, Vol. 13, No. 10, Art. 792.
DOI: 10.3390/biology13100792
(WoS Q1) http://iitp.ru/https://doi.org/10.3390/biology13100792 |
| Kanovei V., Lyubetsky V., 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 http://iitp.ru/https://arxiv.org/abs/2407.20098 |
| 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) http://iitp.ru/https://doi.org/10.3390/math12060817 |
| 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) http://iitp.ru/https://doi.org/10.3390/axioms13020096 |
| 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) http://iitp.ru/https://doi.org/10.1016/j.apal.2024.103426 |
| Kanovei V., Lyubetsky V., Parameterfree comprehension does not imply full comprehension in second order Peano arithmetic.
Studia Logica, Apr 2024.
DOI: 10.1007/s11225-024-10108-2
(WoS Q2) http://iitp.ru/https://doi.org/10.1007/s11225-024-10108-2 |
| 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.
DOI: 10.1134/S0361768824020142 http://iitp.ru/https://doi.org/10.1134/S0361768824020142 |
| Seliverstov A., On the length of an unsatisfiable conjunction. International Conference Polynomial Computer Algebra 2024, St. Petersburg, Russia, Apr 15–20 2024, pp. 140–143. |
| Seliverstov A., On polynomial-time computable structures. Proceedings of the international conference Algebra and mathematical logic: theory and applications. June 27-July 1, 2024, Kazan (Volga Region) Federal University, Kazan, pp. 190-192 (in Russian). http://iitp.ru/https://mathcenter.kpfu.ru/algmathlog |
2023 |
| Morgunova G., Shilovsky G., Khokhlov A., Influence of AMPK on the functioning of the circadian clock and its possible role in the development of age-related metabolic disorders.
Advances in Gerontology, Jun 2023, Vol. 13, P. 54–61, published on Feb 15 2024.
DOI: 10.1134/S207905702460006X |
| Khavinson V., Linkova N., Ashapkin V., Shilovsky G., Borushko N., Petukhov M., Vanyushin B., KE peptide regulates SIRT1, PARP1, PARP2 gene expression and protein synthesis in human mesenchymal stem cells aging.
Advances in Gerontology, 2023, Vol. 36, No. 3, P. 302–312, (in Russian).
DOI: 10.34922/AE.2023.36.3.003 http://iitp.ru/https://doi.org/10.34922/AE.2023.36.3.003 |
| Shilovsky G., Seliverstov A., Demographic Indicators of Probability Models.
Advances in Gerontology,
Sep 2023, Vol. 13, No. 3, P. 164–177.
DOI: 10.1134/S2079057024600307 http://iitp.ru/https://doi.org/10.1134/S2079057024600307 |
| Shilovsky G., Seliverstov A., Zverkóv O., Demographic indicators, models, and testing. Discrete and Continuous Models and Applied Computational Science. 2023. V. 31. No. 4. P. 359–374. http://iitp.ru/https:/doi.org/10.22363/2658-4670-2023-31-4-359-374 |
| Seliverstov A., On the length of an unsatisfiable subformula. International Conference Mal"tsev meeting November 13-17, 2023. Novosibirsk, 2023, p. 132. http://old.math.nsc.ru/conference/malmeet/23/maltsev2023.pdf |
| Rusin L., Evolution of homology: From archetype towards a holistic concept of cell type. Journal of Morphology, 284(4), e21569. DOI: 10.1002/jmor.21569, WOS: 000939793400001, Scopus: 2-s2.0-85150724886 (JCR Q1) http://iitp.ru/https://onlinelibrary.wiley.com/share/author/PZTK4NRUXGH6JITUIM5P?target=10.1002/jmor.21569 |
| Shilovsky G., Dibrova D., Regulation of cell proliferation and Nrf2-mediated antioxidant defense: Conservation of Keap1 cysteines and Nrf2 binding site in the context of the evolution of KLHL family.
Life, Apr 19 2023, Vol. 13, No. 4, Art. 1045.
DOI: 10.3390/life13041045 http://iitp.ru/https://doi.org/10.3390/life13041045 |
| Skulachev V., Vyssokikh M., Chernyak B., Mulkidjanian A., Skulachev M., Shilovsky G., Lyamzaev K., Borisov V., Severin F., Sadovnichii V., Six functions of respiration: Isn’t it time to take control over ROS production in mitochondria, and aging along with it?
International Journal of Molecular Sciences, Aug 8 2023, Vol. 24, Iss. 16, Art. 12540.
DOI: 10.3390/ijms241612540
(WoS Q1) http://iitp.ru/https://doi.org/10.3390/ijms241612540 |
| Tchesunov A., Nikolaeva O., Rusin L., Sanamyan N., Panina E., Miljutin D., Gorelysheva D., Pegova A., Khromova M., Mardashova M., Mikhailov K., Yushin V., Petrov N., Nikitin M., Lyubetsky V., Aleoshin V., Paraphyly of Marimermithida refines primary routes of transition to parasitism in roundworms.
Zoological Journal of the Linnean Society, April 2023, Vol. 197, Iss. 4, P. 909–923.
DOI: 10.1093/zoolinnean/zlac070
(WoS Q1) http://iitp.ru/https://doi.org/10.1093/zoolinnean/zlac070 |
| Cheng H., Guo Z., Zhang X., Wang X.-J., Li Z., Huo W.-W., Zhong H.-C., Li X.-J., Wu X.-W., Li W.-H., Chen Z.-W., Wu T.-C., Gan X.-F., Zhong B.-L., Lyubetsky V., Rusin L., Yang J., Zhao Q., Cao Q.-D., Yang J.-R., Lack of evolutionary convergence in multiple primary lung cancer suggests insufficient specificity of personalized therapy.
Journal of Genetics and Genomics, May 2023, Vol. 50, Iss. 5, P. 330–340.
DOI: 10.1016/j.jgg.2022.11.005
(WoS Q1) http://iitp.ru/https://doi.org/10.1016/j.jgg.2022.11.005 |
| Gorbunov K., Lyubetsky V., Constructing an evolutionary tree and path–cycle graph evolution along it.
Mathematics, Apr 24 2023, Vol. 11, No. 9, Art. 2024.
DOI: 10.3390/math11092024
(WoS Q1) http://iitp.ru/https://doi.org/10.3390/math11092024 |
| Boykov A., Seliverstov A., On a cube and subspace projections. Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp"yuternye Nauki, 2023, vol. 33, no. 3, pp. 402-415. http://vm.udsu.ru/issues/archive/issue/2023-3-2 |
| Seliverstov A., On binary solutions to a system of several linear equations modulo three. Algebra, Number Theory, Discrete Geometry and Multiscale Modeling: modern problems and applications, applications and problems of history. XXII International Conference dedicated to the 120th anniversary of the birth of Academician A. N. Kolmogorov and 60th anniversary of the opening of boarding school ¹18 at Moscow University. Tula, TSPU of Leo Tolstoy, 2023, pp. 242–244. http://iitp.ru/https://elibrary.ru/umniqg |
| Zverkóv O., Seliverstov A., Effective lover bounds on the matrix rank and their applications, Programming and Computer Software, 2023, vol. 49, no. 5, pp. 441–447. DOI: 10.1134/S0361768823020160 http://iitp.ru/https://www.elibrary.ru/mheydz |
| Lyubetsky V., Rubanov L., Tereshina M., Ivanova A., Araslanova K., Uroshlev L., Goremykina G., Yang J., Kanovei V., Zverkóv O., Shitikov A., Korotkova D., Zaraisky A., 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) http://iitp.ru/https://doi.org/10.1186/s13062-023-00405-6 |
| Kanovei V., Lyubetsky V., 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) http://iitp.ru/https://www.mdpi.com/2227-7390/11/15/3294 |
| Seliverstov A., Generalization of the subset sum problem and cubic forms.
Computational Mathematics and Mathematical Physics, 2023, vol. 63, no. 1, pp. 48-56.
DOI: 10.1134/S0965542523010116
http://iitp.ru/https://doi.org/10.1134/S0965542523010116 |
| Seliverstov A., On a simple lower bound for the matrix rank.
In: S.A. Abramov, A.B. Batkhin, L.A. Sevastyanov (eds.)
Computer algebra: 5th International Conference Materials, Moscow, Russia, June 26-28 2023, Moscow: KIAM, 2023, P. 126-128.
ISBN: 978-5-98354-067-5 |
| Seliverstov A., Dimensionality reduction to solve problems on the arrangement of a subspace and cube vertices.
All-Russian Scientific and Practical Conference SCIENTIST, TEACHER, MENTOR dedicated to the 85th anniversary of the birth of Professor A. R. Esayan, Tula, 2023, pp. 66-69. http://poivs.tsput.ru/conf/vseros/esayan2023/ |
| Seliverstov A., Notes on obstacles to dimensionality reduction.
International Conference Polynomial Computer Algebra "2023, Apr 17, St. Petersburg, Russia, 2023, pp. 104-107. http://iitp.ru/https://pca-pdmi.ru/2023/ |
| Kanovei V., Lyubetsky V., 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) http://iitp.ru/https://www.mdpi.com/2227-7390/11/11/2517 |
| Kanovei V., Lyubetsky V., 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) http://iitp.ru/https://www.mdpi.com/2227-7390/11/3/726 |
| Kanovei V., Lyubetsky V., On Russell typicality in Set Theory.
Proceedings of the American Mathematical Society, 2023, 151, no 5, pp. 2201–2210.
https://doi.org/10.1090/proc/16232 (WoS Q2)
http://iitp.ru/https://www.ams.org/journals/proc/0000-000-00/S0002-9939-2023-16232-2/ |
2022 |
| Kanovei V., Lyubetsky V., 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 http://iitp.ru/https://doi.org/10.20944/preprints202212.0255.v2 |
| Kanovei V., Lyubetsky V., 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 http://iitp.ru/https://doi.org/10.48550/arXiv.2209.07599 |
| Kanovei V., Lyubetsky V., A model in which the Separation principle holds for a given effective projective Sigma-class.
Eprint, arXiv:2204.03915 [math.LO], Apr 8 2022.
DOI: 10.48550/arXiv.2204.03915 http://iitp.ru/https://doi.org/10.48550/arXiv.2204.03915 |
| Tchesunov A., Nikolaeva O., Rusin L., Sanamyan N., Panina E., Miljutin D., Gorelysheva D., Pegova A., Khromova M., Mardashova M., Mikhailov K., Yushin V., Petrov N., Lyubetsky V., Nikitin M., Aleshin S., Demise of Marimermithida refines primary routes of transition to parasitism in roundworms.
bioRxiv, 2022.02.15.480519, Feb 19 2022.
DOI: 10.1101/2022.02.15.480519 http://iitp.ru/https://doi.org/10.1101/2022.02.15.480519 |
| Shilovsky G., Sorokina E., Putyatina T., Assessment of the human metabolome as a method for molecular diagnostics of colorectal cancer: Prevention and therapy.
Biology Bulletin Reviews, Aug 2022, Vol. 12, P. 422–427.
DOI: 10.1134/S2079086422040089 http://iitp.ru/https://doi.org/10.1134/S2079086422040089 |
| Shilovsky G., Putyatina T., Markov A., Evolution of longevity as a species-specific trait in mammals.
Biochemistry (Moscow), 2022, Vol. 87, Iss. 12-13, P. 1579–1599.
DOI: 10.1134/S0006297922120148 |
| Shilovsky G., Ashapkin V., Transcription factor Nrf2 and mitochondria – friends or foes in the regulation of aging rate.
Biochemistry (Moscow), 2022, Vol. 87, Iss. 12-13, P. 1477–1486.
DOI: 10.1134/S0006297922120057 http://iitp.ru/https://doi.org/10.31857/S0320972522120065 |
| Seliverstov A., On binary solutions to a system of linear equations over a computable field. International Conference Mal"tsev Meeting. Collection of Abstracts, Novosibirsk, Russia, November 14-19 2022, Novosibirsk: Novosibirsk State University, 2022, P. 78. |
| Latkin I.V., Seliverstov A., International Conference Mal"tsev Meeting. Collection of Abstracts, Novosibirsk, Russia, November 14-19 2022, Novosibirsk: Novosibirsk State University, 2022, P. 72. |
| Latkin I.V., Seliverstov A., International Scientific Conference on Mathematical Logic and Computer Science, Eurasian National University, Kazakhstan, Astana, October 7-8, 2022, pp. 36-40. http://iitp.ru/https://fit.enu.kz/subpage/protokoly |
| Adlaj S.F., Malaschonok G.I., Malyshev K.Yu., Seliverstov A., Uskov F.G., On algorithms for calculating complete elliptic integrals.
Representation theory, dynamical systems, combinatorial methods. Part XXXIV, Zap. Nauchn. Sem. POMI, 517, POMI, St. Petersburg, 2022, 5-16. http://mi.mathnet.ru/znsl7277 |
| Latkin I.V., Seliverstov A., On computations over ordered rings.
Siberian Electronic Mathematical Reports, 2022, vol. 19, no. 2, pp. 1054–1076 (in Russian). http://iitp.ru/https://doi.org/10.33048/semi.2022.19.085 |
| Shilovsky G., Zverkóv O., Rubanov L., Seliverstov A., Lyubetsky V., Evolution of protein regulators of circadian rhythm in mammals.
Bioinformatics of Genome Regulation and Structure/Systems Biology (BGRS/SB-2022), The Thirteenth International Multiconference Abstracts, Novosibirsk, Russia, 4-8 July 2022, Novosibirsk: ICG SB RAS, 2022, P. 173. http://iitp.ru/https://elibrary.ru/item.asp?id=49238208 |
| Seliverstov A., Generic-case complexity of the multiple subset sum problem.
International Conference Polynomial Computer Algebra "2022, May 2-7, St. Petersburg, Russia, 2022, pp. 96-99. http://iitp.ru/https://elibrary.ru/item.asp?id=48599481 |
| Kanovei V., Lyubetsky V., On the Significance of Parameters in the Choice and Collection Schemata in the 2nd Order Peano Arithmetic.
Preprints,
2022, no 2022120255.
DOI: 10.20944/preprints202212.0255.v2 http://iitp.ru/https://www.preprints.org/manuscript/202212.0255/v2 |
| Kanovei V., On sets that hereditarily belong to countable OD sets.
European Set Theory Conference 2022. Department of Mathematics of the University of Turin and the European Set Theory Society, August 29 - September 2, 2022, Turin, Italy. http://logicgroup.altervista.org/torino/ESTC2022/site/abstracts/ |
| Kanovei V., Lyubetsky V., The parameterfree Comprehension does not imply the full Comprehension in the 2nd order Peano arithmetic. arXiv: 2209.07599 [math.LO], September 2022. http://iitp.ru/https://arxiv.org/pdf/2209.07599.pdf |
| Kanovei V., Lyubetsky V., A model in which wellorderings of the reals appear at a given projective level.
Axioms, 2022, 11(8), Article no 354.
DOI: 10.3390/axioms11080354
(WoS Q2) http://iitp.ru/https://doi.org/10.3390/axioms11080354 |
| Kanovei V., Lyubetsky V., A model in which the Separation principle holds for a given effective projective Sigma-class.
arXiv: 2204.03915 [math.LO], April 2022. http://iitp.ru/https://arxiv.org/abs/2204.03915 |
| Kanovei V., Lyubetsky V., On the ‘definability of definable’ problem of Alfred Tarski, Part II.
Transactions of the American Mathematical Society,
2022, Vol. 375, No. 12, P. 8651–8686.
DOI: 10.1090/tran/8710
(WoS Q2) http://iitp.ru/https://doi.org/10.1090/tran/8710 |
| Kanovei V., Lyubetsky V., A model in which the separation principle holds for a given effective projective Sigma-class.
Axioms, 2022, 11, Issue 3, Paper no. 122.
DOI 10.3390/axioms11030122
(WoS Q2) http://iitp.ru/https://www.mdpi.com/2075-1680/11/3/122 |
| Shilovsky G., Lability of the Nrf2/Keap/ARE cell defense system in different models of cell aging and age-related pathologies.
Biochemistry (Moscow), 2022, Vol. 87, Iss. 1, P. 70–85.
DOI: 10.1134/S0006297922010060 http://iitp.ru/https://doi.org/10.1134/S0006297922010060 |
| Kanovei V., Lyubetsky V., A generic model in which the Russell-nontypical sets satisfy ZFC strictly between HOD and the universe.
Mathematics, 2022, 10, Issue 3, Paper no. 491, DOI 10.3390/math10030491
(WoS Q1) http://iitp.ru/https://doi.org/10.3390/math10030491 |
2021 |
| Gorbunov K., Lyubetsky V., Reconstruction of evolution of genome structures with paralogs.
The proceedings of International congress «Biotechnology: state of the art and perspectives»,
Moscow, Russia, October 26–29 2021, Iss. 19, P. 208–209.
DOI: 10.37747/2312-640X-2021-19-207-209 http://iitp.ru/https://doi.org/10.37747/2312-640X-2021-19-207-209 |
| Malaschonok G.I., Seliverstov A., New features in MathPartner 2021. Computer Tools in Education, 2021, No. 3, P. 29–40. http://cte.eltech.ru/ojs/index.php/kio/article/view/1719 |
| Kanovei V., On the ‘Definability of definable’ problem of Alfred Tarski.
Logic Colloquium 2021. European Summer Meeting of the Association for Symbolic Logic. Book of abstracts. S.Chlebowski, D.Ratajczyk, P.Lupkowski (eds.) Adam Mickiewicz University, Poznan, Poland, 19-24 July 2021. Page 195. |
| Shilovsky G., Putyatina T., Markov A., Altruism and phenoptosis as programs supported by evolution.
Biochemistry (Moscow),
2021, Vol. 86, Iss. 12-13, P. 1540–1552.
DOI: 10.1134/S0006297921120038 http://iitp.ru/https://doi.org/10.1134/S0006297921120038 |
| Shilovsky G., Zverkóv O., Rubanov L., Seliverstov A., Lyubetsky V., Complex evolution of Fbxl21 gene in mammals.
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’21,
Moscow, Russia, July 30 — August 2 2021. |
| Seliverstov A., On some quasipolynomial-time algorithms. Computer Tools in Education. 2021, no. 2, pp. 5–12. DOI: 10.32603/2071-2340-2021-2-5-12 http://cte.eltech.ru/ojs/index.php/kio/article/view/1684 |
| Morgunova G., Shilovsky G., Khokhlov A., Effect of Caloric Restriction on Aging: Fixing the Problems of Nutrient Sensing in Postmitotic Cells?
Biochemistry (Moscow), Oct 2021, Vol. 86, Iss. 10, P. 1352–1367.
DOI: 10.1134/S0006297921100151 http://iitp.ru/https://doi.org/10.1134/S0006297921100151 |
| Oleskin A., Sorokina E., Shilovsky G., Interaction of catecholamines with microorganisms, neurons, and immune cells.
Biology Bulletin Reviews, 2021, Vol. 11, No. 4, P. 358–367.
DOI: 10.1134/S2079086421040058 http://iitp.ru/https://doi.org/10.1134/S2079086421040058 |
| Kanovei V., Lyubetsky V., On Russell typicality in Set Theory. arXiv: 2111.07654 [math.LO], November 2021.
DOI: 10.48550/arXiv.2111.07654 http://iitp.ru/https://doi.org/10.48550/arXiv.2111.07654 |
| Kanovei V., Lyubetsky V., A product forcing model in which the Russell-nontypical sets satisfy ZFC strictly between HOD and the universe. arXiv: 2111.13491 [math.LO], November 2021.
DOI: 10.48550/arXiv.2111.13491 http://iitp.ru/https://doi.org/10.48550/arXiv.2111.13491 |
| Malaschonok G.I., Seliverstov A., Calculation of integrals in MathPartner. Discrete and Continuous Models and Applied Computational Science, 2021, vol. 29, no. 4, pp. 337-346.
DOI:10.22363/2658-4670-2021-29-4-337-346 http://iitp.ru/https://doi.org/10.22363/2658-4670-2021-29-4-337-346 |
| Gorbunov K., Lyubetsky V., Multiplicatively exact algorithms for transformation and reconstruction of directed path-cycle graphs with repeated edges.
Mathematics, Oct 14 2021, Vol. 9, No. 20, Art. 2576.
DOI: 10.3390/math9202576 (WoS Q1) http://iitp.ru/https://doi.org/10.3390/math9202576 |
| Seliverstov A., On the absence of any (0,1)-solution to a system of equations. International Conference Mal"tsev meeting, September 20-24, 2021. Collection of Abstracts. Novosibirsk, 2021. P. 73 (in Russian). http://www.math.nsc.ru/conference/malmeet/21/Main.htm |
| Kanovei V., Paradoxical partitions of the reals by Robert Solovay.
International Conference "Adian 90: Conference on Mathematical Logic, Algebra and Computation" 7 July 2021, 12:45–13:30, Steklov Math. Inst. (Moscow). http://www.mathnet.ru/php/presentation.phtml?option_lang=rus&presentid=31068 |
| Enayat A., Kanovei V., Lyubetsky V., On effectively indiscernible projective sets and the Leibniz-Mycielski axiom.
Mathematics, 2021, Vol. 9, No. 14, Art. 1670.
DOI: 10.3390/math9141670
(WoS Q1) http://iitp.ru/https://doi.org/10.3390/math9141670 |
| Seliverstov A., Binary solutions to large systems of linear equations. Prikl. Diskr. Mat. 2021, no. 52, pp. 5-15. DOI: 10.17223/20710410/52/1
http://iitp.ru/https://doi.org/10.17223/20710410/52/1 |
| Seliverstov A., A plain note on binary solutions to large systems of linear equations. In: S.A. Abramov, L.A. Sevastyanov (eds) Computer algebra: 4th International Conference Materials, Moscow, Russia, June 28-29 2021. Moscow: MAKS Press, 2021, pp. 100-103. DOI: 10.29003/m2019.978-5-317-06623-9 http://iitp.ru/https://doi.org/10.29003/m2019.978-5-317-06623-9 |
| Seliverstov A., A gap between small and large systems of linear equations. The 22nd Workshop on Computer Algebra in memory of Professor Vladimir Gerdt, Dubna, Russia, 2021. P. 26. http://iitp.ru/https://indico-hlit.jinr.ru/event/187/ |
| Shilovsky G., Putyatina T.S., Morgunova G.V., Seliverstov A., Ashapkin V.V., Sorokina E.V., Markov A.V., Skulachev V.P., A crosstalk between the biorhythms and gatekeepers of longevity: dual role of glycogen synthase kinase-3. Biochemistry Moscow, 2021, vol. 86, pp. 433-448.
DOI: 10.1134/S0006297921040052 http://iitp.ru/https://doi.org/10.1134/S0006297921040052 |
| Seliverstov A., Heuristic algorithms for recognition of some cubic hypersurfaces. Programming and Computer Software, 2021, vol. 47, no. 1, pp. 50-55. DOI: 10.1134/S0361768821010096 http://iitp.ru/https://elibrary.ru/item.asp?id=44429151 |
| Enayat A., Kanovei V., An unpublished theorem of Solovay, on OD partitions of reals into two non-OD parts, revisited.
Journal of Mathematical Logic, 2021, vol. 21, Issue 03, Article No. 2150014 DOI: 10.1142/S0219061321500148 (WoS Q1) http://iitp.ru/https://www.worldscientific.com/doi/10.1142/S0219061321500148 |
| Kanovei V., Lyubetsky V., Models of set theory in which separation theorem fails.
Izvestiya: Mathematics, 2021, Vol. 85, No 6,1181-1219.
DOI: https://doi.org/10.1070/IM8937
(WoS Q2) http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=im&paperid=8937&option_lang=rus |
| Kanovei V., Schindler R., Definable Hamel bases and ACω(R).
Fundamenta Mathematicae, 2021, 253, 3, p. 239-256. DOI 10.4064/fm909-6-2020 (WoS Q3) http://iitp.ru/https://www.impan.pl/en/publishing-house/journals-and-series/fundamenta-mathematicae/online/113667/d |
| Kanovei V., Lyubetsky V., Factoring Solovay-random extensions, with application to the Reduction property.
Monatshefte fur Mathematik, 2021, 194, 1, pp. 105–117.
DOI: 10.1007/s00605-020-01482-9
(WoS Q2) http://iitp.ru/https://doi.org/10.1007/s00605-020-01482-9 |
| Kanovei V., Lyubetsky V., The full basis theorem does not imply analytic wellordering,
Annals of pure and applied logic, 2021, volume 172, issue 4, paper no 102929.
DOI: 10.1016/j.apal.2020.102929
(WoS Q1) http://iitp.ru/https://www.sciencedirect.com/science/article/pii/S0168007220301536?via%3Dihub |
2020 |
| Enayat A., Kanovei V., An unpublished theorem of Solovay, revisited. arXiv:2001.11058 [math.LO], January 2020. http://iitp.ru/https://arxiv.org/abs/2001.11058 |
| Seliverstov A., On circular sections of a second-order surface. Computer tools in education, 2020, no. 4, pp. 59-68.
DOI: 10.32603/2071-2340-2020-4-59-68 http://ipo.spb.ru/journal/index.php?article/2258/ |
| Kanovei V., Lyubetsky V., On the "definability of definable" problem of Alfred Tarski.
Mathematics, 2020, Vol. 8, No. 12, Art. 2214.
DOI: 10.3390/math8122214
(WoS Q1) http://iitp.ru/https://www.mdpi.com/2227-7390/8/12/2214 |
| Gorbunov K., Lyubetsky V., Linear time additively exact algorithm for transformation of chain-cycle graphs for arbitrary costs of deletions and insertions.
Mathematics,
Vol. 8, No. 11, Art. 2001.
DOI: 10.3390/math8112001
(WoS Q1) http://iitp.ru/https://doi.org/10.3390/math8112001 |
| Gorbunov K., Lyubetsky V., Evolution of mitochondrial genomic structures in metazoans: algorithm and software.
The proceedings of International forum «Biotechnology: state of the art and perspectives»,
Moscow, Russia, October 28–30 2020, Iss. 18, P. 261–262.
DOI: 10.37747/2312-640X-2020-18-260-262 http://iitp.ru/https://doi.org/10.37747/2312-640X-2020-18-260-262 |
| Rubanov L., Shilovsky G., Seliverstov A., Zverkóv O., Lyubetsky V., Gene loss prediction based on genomic structure.
The proceedings of International forum «Biotechnology: state of the art and perspectives»,
Moscow, Russia, October 28–30 2020, Iss. 18, P. 259–260.
DOI: 10.37747/2312-640X-2020-18-258-260 http://iitp.ru/https://doi.org/10.37747/2312-640X-2020-18-258-260 |
| Seliverstov A., An Effectively Computable Projective Invariant Polynomial Computer Algebra "2020. St. Petersburg, 2020. http://iitp.ru/https://pca-pdmi.ru/2020/program |
| Gorbunov K., Lyubetsky V., An almost exact linear algorithm for transformation of chain-cycle graphs with optimization of the sum of operation costs.
Doklady Mathematics,
2020, Vol. 102, No. 2, P. 376–379.
DOI: 10.1134/S1064562420050324 http://iitp.ru/https://doi.org/10.1134/S1064562420050324 |
| Gorbunov K., Lyubetsky V., An almost exact linear complexity algorithm of the shortest transformation of chain-cycle graphs.
arXiv:2004.14351 [math.CO], Apr 29 2020. http://iitp.ru/https://arxiv.org/abs/2004.14351 |
| Ashapkin V., Khavinson V., Shilovsky G., Linkova N., Vanyushin B., Gene expression in human mesenchymal stem cell aging cultures: modulation by short peptides
Molecular Biology Reports,
2020, Vol. 47, Iss. 6, P. 4323–4329.
DOI: 10.1007/s11033-020-05506-3, PMID: 32399807 http://iitp.ru/https://doi.org/10.1007/s11033-020-05506-3 |
| Skulachev V., Shilovsky G., Putyatina T., Popov N., Markov A., Skulachev M., Sadovnichii V., Perspectives of Homo sapiens lifespan extension: focus on external or internal resources?
Aging, 2020, Vol. 12, No. 6, P. 5566–5584.
DOI: 10.18632/aging.102981, PMID: 32229707 http://iitp.ru/https://www.aging-us.com/article/102981/text |
| Lyubetsky V., Shilovsky G., Zverkóv O., Seliverstov A., Rubanov L., New bioinformatics methods for identification of lost genes and protein isoforms.
Homo sapiens liberatus, Proceedings of the 3rd International Conference in celebration of the 85th birthday of professor V.P. Skulachev, Moscow, Russia, February 20–21 2020, Abstract Book.
Moscow: Torus Press, 2020, P. 41–42.
DOI: 10.30826/HomoSapiens-2020-30 http://iitp.ru/https://www.elibrary.ru/item.asp?id=42660982 |
| Lyubetsky V., Shilovsky G., Seliverstov A., Zverkóv O., Rubanov L., Evolution of proteins involved in response to ROS.
Bioinformatics of Genome Regulation and Structure/Systems Biology (BGRS/SB-2020), The Twelfth International Multiconference Abstracts, Novosibirsk, Russia, 6–10 July 2020.
Novosibirsk: ICG SB RAS, 2020, P. 652–653.
DOI: 10.18699/BGRS/SB-2020-398 http://iitp.ru/https://doi.org/10.18699/BGRS/SB-2020-398 |
| Seliverstov A., Fast enumeration of rational numbers and bioinformatics problems. XVIII International conference Algebra, number theory and discrete geometry modern problems, applications and problems of history dedicated to the centenary of the birth of professors B. M. Bredikhin, V. I. Nechaev and S. B. Stechkin, Tula, September 23–26 2020, Tula: TSPU, 2020, pp. 196-198. eLIBRARY ID: 44367872 http://iitp.ru/https://elibrary.ru/item.asp?id=44367872 |
| Rubanov L., Zverkóv O., Shilovsky G., Seliverstov A., Lyubetsky V., Protein-coding genes in Euarchontoglires with pseudogene homologs in humans.
Life, 2020, Vol. 10, No. 9, Art. 192.
DOI: 10.3390/life10090192, PMID: 32927891 http://iitp.ru/https://doi.org/10.3390/life10090192 |
| Kanovei V., Lyubetsky V., On the Δ1n Problem of Harvey Friedman.
Mathematics,
2020, Vol. 8, No. 9, Art. 1477.
DOI: 10.3390/math8091477
(WoS Q1) http://iitp.ru/https://www.mdpi.com/2227-7390/8/9/1477 |
| Kanovei V., Lyubetsky V., On the equality modulo a countable set.
Mathematical notes,
2020, Vol. 108, Iss. 4, P. 615–616.
DOI: 10.1134/S0001434620090357 http://mi.mathnet.ru/mz12753 |
| Lyubetsky V., Zverkóv O., Rubanov L., Seliverstov A., Optimal growth temperature and intergenic distances in bacteria, archaea, and plastids of rhodophytic branch.
BioMed Research International, 2020, Vol. 2020, Art. 3465380.
DOI: 10.1155/2020/3465380, PMID: 32025518 http://iitp.ru/https://www.hindawi.com/journals/bmri/2020/3465380/ |
| Kanovei V., Lyubetsky V., Models of set theory in which nonconstructible reals first appear at a given projective level .
Mathematics, 2020, Vol. 8, No. 6, Art. 910. DOI: 10.3390/math8060910 (WoS Q1) http://iitp.ru/https://www.mdpi.com/2227-7390/8/6/910 |
| Kanovei V., Katz M., Nowik T., Metric completions, Heine-Borel, and approachability.
Open Mathematics, 2020, Volume 18, Issue 1, 162-166. DOI: 10.1515/math-2020-0017 WoS Q3 http://iitp.ru/https://www.degruyter.com/view/journals/math/18/1/article-p162.xml?tab_body=abstract |
| Seliverstov A., Symmetric matrices whose entries are linear functions.
Computational Mathematics and Mathematical Physics, 2020, Vol. 60, No. 1, pp. 102–108.
DOI: 10.1134/S0965542520010121 |
| Bair J., Blaszczyk P., Heinig P., Kanovei V., Katz M., McGaffey T., Cauchy"s work on integral geometry, centers of curvature, and other applications of infinitesimals.
Real Analysis Exchange, 2020, Vol. 45, No. 1, pp. 127-150 . DOI: 10.14321/realanalexch.45.1.0127 http://iitp.ru/https://www.jstor.org/stable/10.14321/realanalexch.45.1.0127?seq=1 |
| Kanovei V., Lyubetsky V., Canonization of smooth equivalence relations on infinite-dimensional E0-large products.
Notre Dame Journal of Formal Logic,
2020, Vol. 61, No. 1, P. 117–128.
DOI: 10.1215/00294527-2019-0034
(WoS Q1) http://iitp.ru/https://projecteuclid.org/euclid.ndjfl/1576120172 |
2019 |
| Zverkóv O., Mikhailov K., Isaev S., Rusin L., Logacheva M., Penin A., Moroz L., Panchin Y., Lyubetsky V., Aleoshin V., Dicyemida and Orthonectida: Two stories of body plan simplification.
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’19,
Moscow, Russia, July 27–30 2019. http://mccmb.belozersky.msu.ru/2019/thesis/MCCMB2019/pages/author.utf8.html |
| Gorbunov K., Lyubetsky V., Linear algorithm for reconstruction of chromosome structures.
The proceedings of International congress «Biotechnology: state of the art and perspectives»,
Moscow, Russia, February 25–27 2019, Iss. 17, P. 350–351. http://iitp.ru/https://elibrary.ru/item.asp?id=37590378 |
| Rubanov L., Shilovsky G., Seliverstov A., Zverkóv O., Lyubetsky V., Mouse genes lost in rodent and primate species with long lifespan.
The proceedings of International congress «Biotechnology: state of the art and perspectives»,
Moscow, Russia, February 25–27 2019, Iss. 17, P. 342. http://iitp.ru/https://elibrary.ru/item.asp?id=37590373 |
| Shilovsky G., Putyatina T., Ashapkin V., Yamskova O., Lyubetsky V., Sorokina E., Shram S., Markov A., Vyssokikh M., Biological diversity and remodeling of cardiolipin in oxidative stress and age-related pathologies.
Biochemistry (Moscow), 2019, Vol. 84, No. 12, P. 1469–1483.
DOI: 10.1134/S000629791912006X |
| Seliverstov A., On binary solutions to systems of equations.
Prikladnaya Diskretnaya Matematika,
2019, No. 45, P. 26–32 (in Russian).
DOI: 10.17223/20710410/45/3 http://iitp.ru/https://doi.org/10.17223/20710410/45/3 |
| Lyubetsky V., Kanovei V., Set theory: absolute undecidability of classical problems.
Textbook for universities, 2nd ed., Moscow, Urait, 2019, 348 p. (in Russian).
ISBN: 978-5-534-10390-8 |
| Bascelli T., Blaszczyk P., Kanovei V., Katz K., Katz M., Kutateladze S., Nowik T., Schaps D., Sherry D., Gregory’s Sixth Operation.
Mircea Pitici (Editor), The Best Writing on Mathematics 2019 Princeton University Press, 2019, pp. 195–207. DOI: 10.1515/9780691197944-015 Book DOI: 10.1515/9780691197944 Online ISBN: 9780691197944 http://iitp.ru/https://doi.org/10.1515/9780691197944-015 |
| Bair J., Blaszczyk P., Kanovei V., Katz M., Heinig P., 19th-century real analysis, forward and backward.
Antiquitates Mathematicae, 2019, 13, 1, pp. 19-49. DOI:10.14708/am.v13i1.6440 http://iitp.ru/https://wydawnictwa.ptm.org.pl/index.php/antiquitates-mathematicae/article/view/6440 |
| Kanovei V., Lyubetsky V., Indiscernible pairs of countable sets of reals at a given projective level.
arXiv: 1912.12962 [math.LO], December 2019. http://iitp.ru/https://arxiv.org/abs/1912.12962 |
| Seliverstov A., Computation of the greatest common divisor with generalized register machines. Program of the 62nd All-Russian Scientific Conference MIPT. November18-24, 2019. MIPT, Moscow 2019. P. 95. http://iitp.ru/https://conf62.mipt.ru |
| Seliverstov A., Note on circular sections. Unpublished text in Russian. |
| Rubanov L., Zaraisky A., Shilovsky G., Seliverstov A., Zverkóv O., Lyubetsky V., Screening for mouse genes lost in mammals with long lifespans.
BioData Mining, 2019, Vol. 12, Art. 20.
DOI: 10.1186/s13040-019-0208-x, PMID: 31728160
(WoS Q1, IF 4) http://iitp.ru/https://doi.org/10.1186/s13040-019-0208-x |
| Shilovsky G., Zverkóv O., Seliverstov A., Ashapkin V., Putyatina T., Rubanov L., Lyubetsky V., New C-terminal conserved regions of tafazzin, a catalyst of cardiolipin remodeling.
Oxidative Medicine and Cellular Longevity,
Vol. 2019, Art. 2901057.
DOI: 10.1155/2019/2901057, PMID: 31781330 http://iitp.ru/https://www.hindawi.com/journals/omcl/2019/2901057/ |
| Korotkova D., Lyubetsky V., Ivanova A., Rubanov L., Seliverstov A., Zverkóv O., Martynova N., Nesterenko A., Tereshina M., Peshkin L., Zaraisky A., Bioinformatics screening of genes specific for well-regenerating vertebrates reveals c-answer, a regulator of brain development and regeneration.
Cell Reports, Vol. 29, Iss. 4, P. 1027–1040.
DOI: 10.1016/j.celrep.2019.09.038, PMID: 31644900
(WoS Q1, IF 10) http://iitp.ru/https://www.cell.com/cell-reports/fulltext/S2211-1247(19)31226-4 |
| Kanovei V., Definable selector for Δ02 sets modulo countable.
arXiv: 1910.00926 [math.LO], October 2019 http://iitp.ru/https://arxiv.org/abs/1910.00926 |
| Seliverstov A., Hessian matrices of reducible third degree polynomials. XVII International conference algebra, number theory and discrete geometry modern problems, applications and problems of history dedicated to the centenary of the birth of professor N. I. Feldman and the ninetieth anniversary of the birth of professors A. I. Vinogradov, A. V. Malyshev and B. F. Skubenko Tula, 2019. P. 294-296 (in Russian). http://poivs.tsput.ru/conf/international/XVII/files/Conference2019S.pdf |
| Seliverstov A., On smoothness recognition over reals. International Conference Mal"tsev Meeting. August 19-23, 2019. Collection of Abstracts. Novosibirsk, 2019. P. 97. http://www.math.nsc.ru/conference/malmeet/19/Main.htm |
| Bottazzi E., Kanovei V., Katz M., Mormann T., Sherry D., On mathematical realism and applicability of hyperreals.
Matematychni Studii, 2019, 51, 2, pp. 200-224. DOI:10.15330/ms.51.2.200-224 SCIMAGO, Q3 http://iitp.ru/https://doi.org/10.15330/ms.51.2.200-224 |
| Seliverstov A., Zverkóv O., Rubanov L., Lyubetsky V., Protein clustering and gene loss prediction.
Computer Assisted Mathematics Conference.
Electrotechnical University "LETI" Saint-Petersburg, Russia, July 22-24, 2019. P. 7 http://cte.eltech.ru/ojs/public/static/ProgramCAM-2019.pdf |
| Seliverstov A., Notes on the generic complexity of recognition problems (in Russian). Proceedings of the International Conference "Algebra and Mathematical Logic: Theory and Applications" (Kazan, June 24-28, 2019) Kazan: KFU, 2019. P. 158-160. http://iitp.ru/https://kpfu.ru/math/conference/algmathlog |
| Kanovei V., Lyubetsky V., Models of set theory in which separation theorem fails.
arXiv:1905.11241 [math.LO], May 2019. http://iitp.ru/https://arxiv.org/abs/1905.11241 |
| Zverkóv O., Mikhailov K., Isaev S., Rusin L., Popova O., Logacheva M., Penin A., Moroz L., Panchin Y., Lyubetsky V., Aleoshin V., Dicyemida and Orthonectida: Two stories of body plan simplification.
Frontiers in Genetics
Vol. 10, Article 443.
DOI: 10.3389/fgene.2019.00443, PMID: 31178892
(WoS Q1, IF 5) http://iitp.ru/https://www.frontiersin.org/articles/10.3389/fgene.2019.00443/full |
| Seliverstov A., On the geometric brigade of the Institute of General and Inorganic Chemistry of the Academy of Sciences of the USSR until 1941. XVI International Conference "Algebra, Number Theory and Discrete Geometry: modern problems, applications and problems of history" dedicated to the 80th anniversary of the birth of Professor Michel Desa. Tula, the Tula State Pedagogical University of Leo Tolstoy, 2019. P. 378–380. (In Russian) http://poivs.tsput.ru/conf/international/XVI/files/Conference2019M.pdf |
| Seliverstov A., On polynomials of odd degree over reals. International Conference Polynomial Computer Algebra "2019; St. Petersburg, April 15–20, 2016 / Euler International Mathematical Institute, Ed. by N. N. Vassiliev, VVM Pubishing, 2019. P. 133–134. http://iitp.ru/https://pca-pdmi.ru/2019/pca2019_book.pdf |
| Kanovei V., Lyubetsky V., Absoluteness of the Solovay set Σ.
Siberian Mathematical Journal,
2019, 60, no 6, pp. 1003-1006.
DOI: 10.1134/S0037446619060089
(WoS Q3) http://mi.mathnet.ru/rus/smj/v60/i6/p1286 |
| Gitman V., Friedman S.D., Kanovei V., A model of second-order arithmetic satisfying AC but not DC.
Journal of Mathematical Logic, 2019, 19, no 1, article ID 1850013, pp. 1--39. DOI 10.1142/S0219061318500137 WoS Q1 (Ranked 1st overall in the category of Logic) http://iitp.ru/https://www.worldscientific.com/doi/pdf/10.1142/S0219061318500137 |
| Kanovei V., Lyubetsky V., Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
Fundamenta mathematicae,
2019, 245, 2, pp. 175--216.
DOI: 10.4064/fm517-7-2018
(WoS Q3) http://iitp.ru/https://www.doi.org/10.4064/fm517-7-2018 |
| Kanovei V., Lyubetsky V., Definable elements of definable Borel sets.
Mathematical Notes,
2019, 105, no 5, pp. 684-693.
DOI: 10.1134/S0001434619050055
(WoS Q3) http://mi.mathnet.ru/mz12001 |
| Kanovei V., Lyubetsky V., Borel OD sets of reals are OD-Borel in some simple models.
Proceedings of the American mathematical society,
2019, 147, no 3, pp. 1277–1282.
DOI 10.1090/proc/14286
(WoS Q2) http://iitp.ru/https://doi.org/10.1090/proc/14286 |
| Kanovei V., Lyubetsky V., Definable minimal collapse functions at arbitrary projective levels.
Journal of Symbolic Logic,
2019, vol. 84, no 1, pp. 266-289.
DOI:10.1017/jsl.2018.77
(WoS Q2) http://iitp.ru/https://doi.org/10.1017/jsl.2018.77 |
2018 |
| Kanovei V., Lyubetsky V., Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
arXiv:1712.00769v3 [math.LO], January 2018. http://iitp.ru/https://arxiv.org/abs/1712.00769v3 |
| Korotkova D., Lyubetsky V., Ivanova A., Rubanov L., Seliverstov A., Zverkóv O., Martynova N., Nesterenko A., Tereshina M., Peshkin L., Zaraisky A., Bioinformatic screening of genes present only in well regenerating vertebrates reveals novel FGF and purinergic signaling modulator - c-Answer.
bioRxiv, 13 Dec 2018.
DOI: 10.1101/494609 http://iitp.ru/https://doi.org/10.1101/494609 |
| Shilovsky G., Putyatina T., Ashapkin V., Rozina A., Lyubetsky V., Minina E., Bychkovskaia I., Markov A., Skulachev V., Ants as Object of Gerontological Research.
Biochemistry (Moscow),
2018, Vol. 83, Iss. 12–13, P. 1489–1503.
DOI: 10.1134/S0006297918120076 http://iitp.ru/https://doi.org/10.1134/S0006297918120076 |
| Kanovei V., Lyubetsky V., On intermediate extensions of generic extensions by a random real.
arXiv:1811.10568 [math.LO], December 2018. http://iitp.ru/https://arxiv.org/abs/1811.10568 |
| Kanovei V., Lyubetsky V., On Harrington"s model in which Separation holds but Reduction fails at the 3rd projective level, and on some related models of Sami.
arXiv:1810.12542v2 [math.LO], November 2018. http://iitp.ru/https://arxiv.org/abs/1810.12542 |
| Aleoshin V., Slyusarev G., Mikhailov K., Popova O., Rusin L., Zverkóv O., Lyubetsky V., Orthonectida and Dicyemida: Two stories of body plan simplification.
In: Molecular Phylogenetics (Eds.: A. Troitsky, L. Rusin),
Moscow: Torus Press, 2018, P. 3–4.
DOI: 10.30826/MolPhy2018-01 http://iitp.ru/https://doi.org/10.30826/MolPhy2018-01 |
| Kanovei V., Lyubetsky V., A countable definable set of reals containing no definable elements,
arXiv:1408.3901v2 [math.LO], Sept. 2018, 11 p.
http://iitp.ru/https://arxiv.org/abs/1408.3901 |
| Gitman V., Friedman S.D., Kanovei V., A model of second-order arithmetic satisfying AC but not DC.
arXiv:1808.04732 [math.LO], August 2018. http://iitp.ru/https://arxiv.org/abs/1808.04732 |
| Seliverstov A., Shilovsky G., Rubanov L., Zverkóv O., Lyubetsky V., Longevity in mammals: lost genes as a determinant.
Bioinformatics of Genome Regulation and Structure\Systems Biology (BGRS\SB-2018): The Eleventh International Conference (20–25 Aug. 2018, Novosibirsk, Russia); Abstracts.
Institute of Cytology and Genetics, Siberian Branch of Russian Academy of Sciences; Novosibirsk State University. –
Novosibirsk: ICG SB RAS, 2018. P. 249.
DOI: 10.18699/BGRSSB-2018-221 http://conf.bionet.nsc.ru/bgrssb2018/en/ |
| Seliverstov A., Rubanov L., Shilovsky G., Zverkóv O., Lyubetsky V., Longevity in euarchontoglires: lost genes as a determinant.
FEBS Open Bio,
2018, Vol. 8 (Suppl. 1), P. 456–457;
DOI: 10.1002/2211-5463.12453. http://iitp.ru/https://doi.org/10.1002/2211-5463.12453 |
| Seliverstov A., Binary Solutions to Some Systems of Linear Equations.
In: Eremeev A., Khachay M., Kochetov Y., Pardalos P. (eds) Optimization Problems and Their Applications. OPTA 2018.
Communications in Computer and Information Science, vol 871, pp. 183-192. Springer, Cham (2018). http://iitp.ru/https://doi.org/10.1007/978-3-319-93800-4_15 |
| Gorbunov K., Lyubetsky V., A linear algorithm for restructuring a graph.
Automation and Remote Control,
2018, Vol. 79, Iss. 12, P. 2203–2216.
DOI: 10.1134/S0005117918120093 http://iitp.ru/https://doi.org/10.1134/S0005117918120093 |
| Seliverstov A., Note on binary solutions to some systems of algebraic equations (In Russian).
Algebra, Number Theory and Discrete Geometry: modern problems and applications. Proceedings of the XV International Conference, dedicated to the centenary of the birth of Professor Nikolai Mikhailovich Korobov. - Tula: Tula State Pedagogical University of Leo Tolstoy, 2018. P. 197-199. http://poivs.tsput.ru/conf/international/XV/files/conference2018.pdf |
| Seliverstov A., Recognizing real cubic hypersurfaces without a straight line of singular points (In Russian). International Algebraic Conference dedicated to the 110th anniversary of Professor A. G. Kurosh. Proceedings. - Moscow, MSU, 2018, pp. 175-177. http://iitp.ru/https://lomonosov-msu.ru/rus/event/4623/ |
| Seliverstov A., Real cubic hypersurfaces containing no line of singular points. International Conference Polynomial Computer Algebra "2018, Russian Academy of Sciences, St. Petersburg Department of Steklov Mathematical Institute, Euler International Mathematical Institute, April 19–21 2018, St. Petersburg, Russia, Ed. by N. N. Vassiliev, VVM Publishing, 2018, P. 109–110. http://pca-pdmi.ru/2018/Book_PCA2018_.pdf |
| Lyubetsky V., Lyubetskaya E., Gorbunov K., Linear algorithm for a cyclic graph transformation.
Lobachevskii Journal of Mathematics,
2018, Vol. 39, No. 9, P. 1217–1227.
DOI: 10.1134/S1995080218090147 http://iitp.ru/https://doi.org/10.1134/S1995080218090147 |
| Kanovei V., Lyubetsky V., Definable E0 classes at arbitrary projective levels.
Annals of Pure and Applied Logic,
2018, Vol. 169, Iss. 9, P. 851–871.
DOI: 10.1016/j.apal.2018.04.006
(WoS Q1) http://iitp.ru/https://doi.org/10.1016/j.apal.2018.04.006 |
| Kanovei V., Lyubetsky V., Canonization of smooth equivalence relations on infinite-dimensional perfect cubes.
arXiv:1804.05174 [math.LO], April 2018. http://arxiv.org/abs/1804.05174 |
| Kanovei V., Katz M., Blaszczyk P., Nowik T., Monotone subsequence via ultrapower.
Open Mathematics, 2018, 16, 1, c. 149-153 DOI: 10.1515/math-2018-0015 WoS Q2 http://iitp.ru/https://www.degruyter.com/view/j/math.2018.16.issue-1/math-2018-0015/math-2018-0015.xml |
| Kanovei V., Katz K., Katz M., Mormann T., What makes a theory of infinitesimals useful? A view by Klein and Fraenkel.
Journal of Humanistic Mathematics, 2018, 8, 1, pp. 108-119. DOI: 10.5642/jhummath.201801.07 http://scholarship.claremont.edu/jhm/vol8/iss1/7 |
| Bascelli T., Blazczyk P., Borovik A., Kanovei V., Katz K., Katz M., Kutateladze S., McCaffery T., Schaps D., Sherry D., Cauchy"s infinitesimals, his sum theorem, and foundational paradigms.
Foundations of Science, 2018, 23, 2, pp 267–296. DOI: 10.1007/s10699-017-9534-y WoS Q2 http://link.springer.com/article/10.1007/s10699-017-9534-y |
| Kanovei V., Lyubetsky V., Countable OD sets of reals belong to the ground model.
Archive for Mathematical Logic,
2018, Vol. 57, Iss. 3–4, P. 285–298.
DOI: 10.1007/s00153-017-0569-0 http://link.springer.com/article/10.1007/s00153-017-0569-0 |
| Bascelli T., Blaszczyk P., Kanovei V., Katz K., Katz M., et al., Gregory"s sixth operation,
Foundations of Science, 2018, 23, 1, pp. 133--144. DOI: 10.1007/s10699-016-9512-9 WoS Q2 http://link.springer.com/article/10.1007/s10699-016-9512-9 |
| Herzberg F., Kanovei V., Katz M., Lyubetsky V., Minimal axiomatic frameworks for definable hyperreals with transfer.
Journal of Symbolic Logic,
2018, 83, 1, pp. 385-391.
DOI: 10.1017/jsl.2017.48
(WoS Q1)
http://iitp.ru/https://doi.org/10.1017/jsl.2017.48 |
| Kanovei V., Lyubetsky V., Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes.
Izvestiya: Mathematics,
2018, Vol. 82, No. 1, P. 61–90.
DOI: 10.1070/IM8521
(WoS Q2) http://mi.mathnet.ru/izv8521 |
2017 |
| Herzberg F., Kanovei V., Katz M., Lyubetsky V., Minimal axiomatic frameworks for definable hyperreals with transfer.
arXiv:1707.00202 [math.LO], July 2017. http://iitp.ru/https://arxiv.org/abs/1707.00202 |
| Zverkóv O., Mikhailov K., Rusin L., Lyubetsky V., Aleoshin V., Phylogenomic evidence disentangles affinities of the Mesozoa.
Proceedings of the 4th International Congress on Invertebrate Morphology (ICIM4),
Moscow, Russia, August 18–23 2017, P. 55. http://docs.wixstatic.com/ugd/129822_1dbca70562c24ef59bb43f05d8741720.pdf |
| Lyubetsky V., Gershgorin R., Rubanov L., Seliverstov A., Zverkóv O., Evolution and systematics of plastids of rhodophytic branch.
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’17,
Moscow, Russia, July 27–30 2017, P. 48. http://iitp.ru/https://elibrary.ru/item.asp?id=32563226 |
| Lyubetsky V., Rubanov L., Gorbunov K., Zverkóv O., Seliverstov A., Highly conserved elements in mitochondrial genomes of ciliates and monocots.
Materials of the IX International Congress “Biotechnology: State of the Art and Prospects of Development”,
Moscow, Russia, February 20–22 2017, Part 1, P. 393. http://iitp.ru/https://elibrary.ru/item.asp?id=29220438 |
| Lyubetsky V., Gershgorin R., Gorbunov K., Chromosome structures: reduction of certain problems with unequal gene content and gene paralogs to integer linear programming.
BMC Bioinformatics,
2017, Vol. 18, No. 537.
doi:10.1186/s12859-017-1944-x, PMID: 29212445
(WoS Q1) http://dx.doi.org/10.1186/s12859-017-1944-x |
| Zverkóv O., Rubanov L., Rusin L., Seliverstov A., Lyubetsky V., Finding long highly conserved elements in complete animal genomes.
CEUR Workshop Proceedings,
Feb 23 2018, Vol. 2064, Convergent Cognitive Information Technologies 2017, P. 402–408, in Russian. http://ceur-ws.org/Vol-2064/paper47.pdf |
| Gorbunov K., Lyubetsky V., Transformation of large chromosome structures: an algorithm of equalization of gene contents.
CEUR Workshop Proceedings,
Feb 23 2018, Vol. 2064, Convergent Cognitive Information Technologies 2017, P. 395–401, in Russian. http://ceur-ws.org/Vol-2064/paper46.pdf |
| Bair J., Blaszczyk P., Ely R., Henry V., Kanovei V., Katz K., Katz M., Kudryk T., Kutateladze S., McGaffey T., Mormann T., Schaps D., Sherry D., Cauchy, infinitesimals and ghosts of departed quantifiers,
Mat. Stud. 2017, 47, 2, 115--144 doi:10.15330/ms.47.2.115-144 http://matstud.org.ua/texts/2017/47_2/115-144.pdf |
| Kanovei V., Lyubetsky V., Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
arXiv:1712.00769v1 [math.LO], December 2017. http://iitp.ru/https://arxiv.org/abs/1712.00769v1 |
| Seliverstov A., Looking for points on a smooth cubic hypersurface. Computer algebra: International Conference Matherials. Moscow, October 30 - November 3, 2017 / Ed. S.A. Abramov, T.M. Sadykov. - Moscow: Plekhanov Russian University of Economics, 2017. P. 158-164. (In Russian). |
| Seliverstov A., Descriptive geometry for teaching of mathematics. Problems of quality of graphic preparation of students in a technical university: traditions and innovations 2017, vol. 1, pp. 346-352 (in Russian). |
| Gorbunov K., Lyubetsky V., The Minimum-Cost Transformation of Graphs.
Doklady Mathematics,
2017, Vol. 96, No. 2, P. 503–505.
doi:10.1134/S1064562417050313 http://iitp.ru/https://doi.org/10.1134/S1064562417050313 |
| Lyubetsky V., Korotkova D., Ivanova A., Rubanov L., Seliverstov A., Zverkóv O., Nesterenko A., Tereshina M., Zaraisky A.G., Novel transmembrane protein c-Answer revealed by bioinformatic screening of genes present only in well regenerating animals.
FEBS Journal, 2017, Vol. 284, Iss. S1, P. 155.
doi:10.1111/febs.14174 |
| Gorbunov K., Lyubetsky V., A linear algorithm for the shortest transformation of graphs with different operation costs.
Journal of Communications Technology and Electronics,
2017, Vol. 62, No. 6, P. 653–662.
doi:10.1134/S1064226917060092 http://iitp.ru/https://doi.org/10.1134/S1064226917060092 |
| Korotkova D.D., Ivanova A.S., Lyubetsky V., Seliverstov A., Martynova N.Y., Nesterenko A.M., Zaraisky A.G., Novel FGF-signaling modulator c-Answer revealed by bioinformatics screening for genes present only in well-regenerative animals.
Mechanisms of Development,
2017, Vol. 145, P. S49.
doi:10.1016/j.mod.2017.04.089 |
| Kanovei V., Lyubetsky V., Definable minimal collapse functions at arbitrary projective levels.
arXiv:1707.07320 [math.LO], July 2017. http://iitp.ru/https://arxiv.org/abs/1707.07320 |
| Seliverstov A., On tangent lines to affine hypersurfaces, Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp"yuternye Nauki, 2017, vol. 27, no. 2, pp. 248--256 (in Russian).
DOI: 10.20537/vm170208 http://vst.ics.org.ru/uploads/vestnik/2_2017/17-02-08.pdf |
| Rubanov L., Seliverstov A., Projective-invariant description of a meandering river. Journal of Communications Technology and Electronics, 2017; vol. 62, no. 6, p. 663–668. DOI: 10.1134/S1064226917060201. |
| Kanovei V., Lyubetsky V., Definable E0 classes at arbitrary projective levels.
arXiv:1705.02975 [math.LO], May 2017. http://iitp.ru/https://arxiv.org/abs/1705.02975 |
| Seliverstov A., On probabilistic algorithm for solving almost all instances of the set partition problem. In: P. Weil (Ed.) Computer Science – Theory and Applications. CSR 2017. Lecture Notes in Computer Science, vol. 10304. Springer, Cham, 2017. Pp. 285–293. DOI: 10.1007/978-3-319-58747-9_25 http://iitp.ru/https://link.springer.com/chapter/10.1007%2F978-3-319-58747-9_25 |
| Seliverstov A., On search for singular points of algebraic curve. Geometry and Graphics, 2017, vol. 5, no. 1, pp. 36-42 (in Russian). |
| Seliverstov A., An Approach to the Set Partition Problem. International Conference on Polynomial Computer Algebra "2017; St. Petersburg, April 17-22, 2017 / Euler International Mathematical Institute, Ed. by N. N. Vassiliev, VVM Pubishing, 2017. P. 96-99. http://pca.pdmi.ras.ru/2017/pca2017_Book.pdf |
| Gorbunov K., Lyubetsky V., Algorithm of transformation of a graph into another one with minimal cost.
Informatics and it"s applications,
2017, Vol. 11, Iss. 1, P. 79–89 (in Russian). doi:10.14357/19922264170107 |
| Gorbunov K., Lyubetsky V., Linear algorithm for minimal rearrangement of structures.
Problems of Information Transmission,
2017, Vol. 53, Iss. 1, P. 55–72. doi:10.1134/S0032946017010057 |
| Gershgorin R., Gorbunov K., Zverkóv O., Rubanov L., Seliverstov A., Lyubetsky V., Highly Conserved Elements and Chromosome Structure Evolution in Mitochondrial Genomes in Ciliates.
Life, 2017, Vol. 7, No. 9.
doi:10.3390/life7010009, PMID: 28264444 http://www.mdpi.com/2075-1729/7/1/9/htm |
| Kanovei V., Lyubetsky V., The full basis theorem does not imply analytic wellordering.
arXiv:1702.03566v2 [math.LO], February 2017. http://iitp.ru/https://arxiv.org/abs/1702.03566 |
| Kanovei V., Lyubetsky V., A generic property of the Solovay set Σ.
Siberian Mathematical Journal,
2017, Vol. 58, Iss. 6, P. 1012–1014.
doi:10.1134/S0037446617060106 http://iitp.ru/https://link.springer.com/article/10.1134%2FS0037446617060106 |
| Fletcher P., Hrbacek K., Kanovei V., Katz M., Lobry C., Sanders S., Approaches to analysis with infinitesimals following Robinson, Nelson, and others.
Real Analysis Exchange, 2017, 42, 2, pp. 193-252. DOI: 10.14321/realanalexch.41.1.0193 SCIMAGO, Q3 http://iitp.ru/https://www.jstor.org/stable/10.14321/realanalexch.42.2.0193?refreqid=excelsior%3Ab03b59e276fdb542e9 |
| Kanovei V., Katz M., A positive function with vanishing Lebesgue integral in Zermelo -- Fraenkel set theory.
Real Analysis Exchange, 2017, 42, no. 2, 385-390. DOI: 10.14321/realanalexch.42.2.0385 SCIMAGO, Q3 http://msupress.org/journals/issue/?id=50-21D-61F |
| Blaszczyk P., Kanovei V., Katz M., et al., Toward a history of mathematics focused on procedures,
Foundations Of Science, 2017, 22, Issue 4, pp 763–783, DOI: 10.1007/s10699-016-9498-3 . WoS Q2 http://link.springer.com/article/10.1007/s10699-016-9498-3 |
| Blaszczyk Piotr, Kanovei V., U. Katz Karin, G. Katz Mikhail, et al., Is Leibnizian calculus embeddable in first order logic?
Foundations of Science, 2017, 22, Issue 4, pp 717–731. DOI: 10.1007/s10699-016-9495-6 . WoS Q2 http://iitp.ru/https://link.springer.com/article/10.1007/s10699-016-9495-6 |
| Bair J., Blaszczyk P., Ely R., Henry V., Kanovei V., Katz K., Katz M., et al., Interpreting the infinitesimal mathematics of Leibniz and Euler,
Journal for General Philosophy of Science, 2017, 48, issue 2, pp, 195--238. DOI: 10.1007/s10838-016-9334-z . SCOPUS Q2 http://link.springer.com/article/10.1007/s10838-016-9334-z |
| Kanovei V., Lyubetsky V., A countable definable set containing no definable elements.
Mathematical Notes,
2017, Vol. 102, Iss. 3–4, P. 338–349.
doi:10.1134/S0001434617090048 http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=10842&option_lang=rus |
| Blazczyk P., Kanovei V., Katz M., Sherry D., Controversies on foundations of analysis: comments on Schubring’s conflicts.
Foundations of Science, 2017, 22, 1, pp. 125--140. DOI: 10.1007/s10699-015-9473-4 . WoS Q2 http://link.springer.com/article/10.1007/s10699-015-9473-4?no-access=true |
| Golshani M., Kanovei V., Lyubetsky V., A Groszek-Laver pair of undistinguishable E0-classes.
Mathematical Logic Quarterly,
2017, Vol. 63, No. 1–2, P. 19–31.
doi:10.1002/malq.201500020 http://onlinelibrary.wiley.com/wol1/doi/10.1002/malq.201500020/abstract |
2016 |
| Golshani M., Kanovei V., Lyubetsky V., A Groszek-Laver pair of undistinguishable E0 classes.
arXiv:1601.03477 [math.LO], Jan 14 2016, 18 pp. http://iitp.ru/https://arxiv.org/abs/1601.03477 |
| Korolev S., Gorbunov K., Zverkóv O., Seliverstov A., Lyubetsky V., Degenerate inverted repeats in the genomes of mycobacterium.
CEUR Workshop Proceedings (CEUR-WS.org), Selected Papers of the First International Scientific Conference Convergent Cognitive Information Technologies (Convergent 2016), Moscow, Russia, November 25–26 2016, vol. 1763, p. 182–187, in Russian. |
| Lyubetsky V., Piel W., Stadler P., Molecular Phylogenetics 2016.
BioMed Research International,
2016, vol. 2016, Article ID 9029306.
DOI: 10.1155/2016/9029306, PMID: 28127550 http://iitp.ru/https://www.hindawi.com/journals/bmri/2016/9029306/ |
| Gorbunov K., Lyubetsky V., A modified algorithm for transformation of chromosomal structures: a condition of absolute exactness.
CEUR Workshop Proceedings (CEUR-WS.org), Selected Papers of the First International Scientific Conference Convergent Cognitive Information Technologies (Convergent 2016), Moscow, Russia, November 25–26 2016, vol. 1763, p. 162–172, in Russian. |
| Lyubetsky V., Seliverstov A., A Novel Algorithm for Solution of a Combinatory Set Partitioning Problem.
Journal of Communications Technology and Electronics,
2016, vol. 61, no. 6, p. 705–708.
DOI: 10.1134/S1064226916060152 |
| Rubanov L., Seliverstov A., Zverkóv O., Lyubetsky V., A method for identification of highly conserved elements and evolutionary analysis of superphylum Alveolata.
BMC Bioinformatics.
2016, vol. 17, art. 385, 16 pp.
DOI: 10.1186/s12859-016-1257-5, PMID: 27645252 http://dx.doi.org/10.1186/s12859-016-1257-5 |
| Seliverstov A., On symmetry of projective curves. Vestnik TvGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics], 2016, no. 3, pp. 59-66 (in Russian) |
| Kanovei V., Lyubetsky V., A generic property of Solovay"s set Σ.
arXiv:1611.00176 [math.LO], November 2016, 4 pp. http://iitp.ru/https://arxiv.org/abs/1611.00176 |
| Kanovei V., Lyubetsky V., In Cohen generic extension, every countable OD set of reals belongs to the ground model.
July 2016, arXiv:1607.02880 [math.LO] pp. 1-3. http://iitp.ru/https://arxiv.org/abs/1607.02880 |
| Rubanov L., Seliverstov A., Projective-Invariant Description of Meandering River. Information processes. 2016. Vol. 16, no. 3, pp. 281-290 (in Russian) http://www.jip.ru/2016/16-3-2016.htm |
| Lyubetsky V., Gershgorin R., Seliverstov A., Gorbunov K., Algorithms for Reconstruction of Chromosomal Structures.
BMC Bioinformatics,
2016, vol. 17, art. 40, 23 pp.
DOI: 10.1186/s12859-016-0878-z, PMID: 26780836 http://bmcbioinformatics.biomedcentral.com/articles/10.1186/s12859-016-0878-z |
| Seliverstov A., On smoothness recognition of the hypersurface. Proceedings of the twelfth International Conference "Belarusian Mathematical Conference", Minsk, September 5-10, 2016, ed. by S.G. Krasovskii, part 4. Minsk: Institute of Mathematics of the Belarusian National Academy of Sciences, 2016, pp. 64-65 (in Russian). http://bmc.bsu.by/about/ |
| Kanovei V., Lyubetsky V., Countable OD sets of reals belong to the ground model.
arXiv:1609.01032 [math.LO], September 2016, 12 pp. http://arxiv.org/abs/1609.01032 |
| Błaszczyk P., Borovik A., Kanovei V., Katz M., et al., A Non-Standard Analysis of a Cultural Icon: The Case of Paul Halmos.
Logica Universalis, 2016, 10, pp. 393-405. DOI 10.1007/s11787-016-0153-0 SCOPUS Q3 http://link.springer.com/article/10.1007/s11787-016-0153-0?wt_mc=Internal.Event.1.SEM.ArticleAuthorO |
| Seliverstov A., On cubic hypersurfaces with involutions. International Conference Polynomial Computer Algebra "2016; St. Petersburg, April 18-22, 2016 / Euler International Mathematical Institute, Ed. by N.N. Vassiliev, VVM Publishing, 2016. pp. 74-77. http://pca.pdmi.ras.ru/2016/program |
| Korolev S., Zverkóv O., Seliverstov A., Lyubetsky V., Ribosome reinitiation at leader peptides increases translation of bacterial proteins.
Biology Direct,
2016, vol. 11, art. 20.
DOI: 10.1186/s13062-016-0123-8, PMID: 27084079
(WoS Q1, IF 7) http://biologydirect.biomedcentral.com/articles/10.1186/s13062-016-0123-8#CR11 |
| Kanovei V., Katz K., Katz M., Nowik T., Small oscillations of the pendulum, Euler’s method, and adequality,
Quantum Studies: Mathematics and Foundations, 2016, 3, no 3, pp 231–236. DOI: 10.1007/s40509-016-0074-x http://link.springer.com/article/10.1007%2Fs40509-016-0074-x |
| Kanovei V., OD elements of countable OD sets in the Solovay model.
March 2016, arXiv:1603.04237 [math.LO], pp. 1-20. http://arxiv.org/abs/1603.04237 |
| Kanovei V., Some applications of finite-support products of Jensen"s minimal forcing.
Winter School in Abstract Analysis 2016, Hejnice, Czech Republic, Jan 30—Feb 6, 2016, Abstracts and slides. http://www.winterschool.eu/files/885-Some_applications_of_finite-support_products_of_Jensens_minimal_Delta_31_forcing.pdf http://www.winterschool.eu/2016/abstracts |
| Zverkóv O., Seliverstov A., Lyubetsky V., Regulation of expression and evolution of genes in plastids of rhodophytic branch.
Life, 2016, vol. 6, art. 7.
DOI: 10.3390/life6010007, PMID: 26840333 http://www.mdpi.com/2075-1729/6/1/7/htm |
| Kanovei V., Lyubetsky V., Counterexamples to countable-section
Π12 uniformization and Π13 separation.
Annals of Pure and Applied Logic, 2016, 167, 3, pp. 262–283. DOI: 10.1016/j.apal.2015.12.002 (WoS Q1) http://www.sciencedirect.com/science/article/pii/S0168007215001268 |
| Kanovei V., Lyubetsky V., On countable cofinality and decomposition of definable thin orderings.
Fundamenta mathematicae, 2016, 235, no 1, pp. 13-36.
DOI: 10.4064/fm977-10-2015 http://iitp.ru/https://www.impan.pl/en/publishing-house/journals-and-series/fundamenta-mathematicae/online/91557/on |
| Bascelli T., Blaszczyk P., Kanovei V., Katz K., Katz M., et al., Leibniz vs Ishiguro: closing a quarter-century of syncategoremania.
The Journal of the International Society for the History of Philosophy of Science,
2016, 6, no 1, pp. 117 -- 147.
DOI: 10.1086/685645 http://www.journals.uchicago.edu/doi/10.1086/685645 |
2015 |
| Lyubetsky V., Rubanov L., Bairamov A., Shandarin I., Ivanova A., Rusin L., Zverkóv O., Seliverstov A., Zaraisky A., A large-scale search for gene losses, gains and syntenic rearrangements in vertebrate animals.
Materials of the VIII Moscow International Congress “Biotechnology: State of the Art and Prospects of Development”, Moscow, March 17–20 2015, Part 1, P. 260–261. http://iitp.ru/https://elibrary.ru/item.asp?id=25631493 |
| Gershgorin R., Gorbunov K., Seliverstov A., Lyubetsky V., Evolution of chromosome structures.
Proceedings of the 39th IITP RAS Interdisciplinary Conference & School “Information Technology and Systems 2015” (ITaS’15),
Sochi, Russia, Sep 7–11 2005, Moscow: IITP, 2015, P. 105–120. http://iitp.ru/https://elibrary.ru/item.asp?id=24378278 |
| Korolev S., Lyzhin S., Zverkóv O., Seliverstov A., Lyubetsky V., A search for genes encoding histidine-containing leader peptides in Actinobacteria.
Proceedings of the 39th IITP RAS Interdisciplinary Conference & School “Information Technology and Systems 2015” (ITaS’15),
Sochi, Russia, Sep 7–11 2005, Moscow: IITP, 2015, P. 53–60. http://iitp.ru/https://elibrary.ru/item.asp?id=24378300 |
| Lyubetsky V., Rubanov L., Zverkóv O., Rusin L., Seliverstov A., Zaraisky A., A method of detecting local gene synteny rearrangement.
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’15,
Moscow, July 16–19 2015, Moscow, IITP RAS, 2015, P. 249–252. http://mccmb.belozersky.msu.ru/2015/proceedings/author.html |
| Lyubetsky V., Molecular Phylogenetics 2014.
BioMed Research International,
2015, vol. 2015, Article ID 919251.
DOI: 10.1155/2015/919251 http://www.hindawi.com/journals/bmri/2015/919251/ |
| Kanovei V., Some applications of finite-support products of Jensen’s minimal forcing.
Book of abstracts, Logic Colloquium 2015, Annual European Summer Meeting of the Association for Symbolic Logic,
University of Helsinki, 3–8 August 2015, pp. 670-671. http://www.helsinki.fi/lc2015/materials/CLMPS_LC_book of abstracts 29.7.2015.pdf |
| Seliverstov A., A note on implicitly given hypergraphs, Tambov University Reports. Series: Natural and Technical Sciences, 2015, vol. 20, no. 5, p. 1422–1425 (in Russian). |
| Seliverstov A., On the computational complexity of singular points, Discrete mathematics, algebra and their applications (DIMA-2015). - Minsk, 2015. P. 135-137 (in Russian). http://im.bas-net.by/~dima/index.html |
| Seliverstov A., Note on complex cubic forms with vanishing hessian, All-Russian Conference with International Participation "Control Theory and Mathematical Modeling", dedicated to the memory of professor N. V. Azbelev and professor E. L. Tonkov (Izhevsk, Russia, June 08–12, 2015). - Izhevsk: Udmurt State University, 2015. P. 333-334 (in Russian). http://elibrary.ru/item.asp?id=23708884 |
| Seliverstov A., Zverkóv O., Istomina S., Pirogov S., Kitsis P., Comparative analysis of apicoplast-targeted protein extension lengths in Apicomplexan parasites.
BioMed Research International,
2015, Vol. 2015, Article ID 452958.
DOI: 10.1155/2015/452958, PMID: 26114107 http://www.hindawi.com/journals/bmri/2015/452958/ |
| Zverkóv O., Seliverstov A., Lyubetsky V., A database of plastid protein families from red algae and Apicomplexa and expression regulation of the moeB gene.
BioMed Research International,
2015, Vol. 2015, Article ID 510598.
DOI: 10.1155/2015/510598, PMID: 26114108 http://www.hindawi.com/journals/bmri/2015/510598/ |
| Gorbunov K., Gershgorin R., Lyubetsky V., “Rearrangement and Inference of Chromosome Structures”
Molecular Biology,
2015, Vol. 49, No. 3, P. 327–338. |
| Kanovei V., Lyubetsky V., Grossone approach to Hutton and Euler transforms.
Applied Mathematics and Computation,
2015, 255, pp. 36–43.
DOI: 10.1016/j.amc.2014.06.037
(WoS Q1) http://dx.doi.org/10.1016/j.amc.2014.06.037 |
| Latkin I.V., Seliverstov A., "Computational complexity of fragments of the theory of complex numbers", Bulletin of the Karaganda University - Mathematics, 2015, vol. 77, no. 1, p. 47-55 (in Russian). WOS:000410367200007 http://vestnik.ksu.kz/files_vestnik/Mathematics/Mathematics_1_77_2015.pdf |
| Seliverstov A., "Cubic hypersurfaces with an odd number of singular points", International Conference Polynomial Computer Algebra "2015; St. Petersburg, April 13-18, 2015 / Euler International Mathematical Institute, Ed. by N.N. Vassiliev, VVM Publishing, 2015. P. 85-86. |
| Seliverstov A., "Cubic forms without monomials in two variables", Bulletin of Udmurt University. Mathematics, Mechanics, Computer Science, 2015, vol. 25, no. 1, pp. 71-77 (in Russian). http://vst.ics.org.ru/journal/article/2250/ |
| Kanovei V., Katz K., Katz M., Sherry D., Euler"s lute and Edward"s oud.
Mathematical Intelligencer, 2015, 37, 4, pp. 48--51.
DOI: 10.1007/s00283-015-9565-6 SCIMAGO, Q2 http://dx.doi.org/10.1007/s00283-015-9565-6 |
| Kanovei V., Lyubetsky V., A definable E0 class containing no definable elements.
Archive for Mathematical Logic,
2015, 54, 5, pp. 711–723.
DOI: 10.1007/s00153-015-0436-9 http://link.springer.com/article/10.1007/s00153-015-0436-9 |
| Kanovei V., Lyubetsky V., Generalization of one construction by Solovay.
Siberian Mathematical Journal,
2015, 56, no. 6, pp. 1072–1079.
DOI: 10.1134/S0037446615060117 http://iitp.ru/https://link.springer.com/article/10.1134/S0037446615060117 |
| Kanovei V., Katz Ê., Katz M., Schaps D., Proofs and retributions,
Foundations of Science, 2015, 20, 1, pp 1-25.
DOI: 10.1007/s10699-013-9340-0 SCIMAGO, Q2 http://link.springer.com/article/10.1007%2Fs10699-013-9340-0 |
| Kanovei V., Lyubetsky V., On effective σ-boundedness and σ-compactness in Solovay"s model,
Mathematical notes,
2015, 98, 1-2, pp. 273--282.
DOI: 10.1134/S0001434615070299 http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=10415&option_lang=rus |
2014 |
| Gershgorin R.A., Rubanov L., Seliverstov A., Easily Computable Invariants for Hypersurface Recognition, Journal of Communications Technology and Electronics, 2015. Vol. 60. No. 12. P. 1429–1431 http://www.jip.ru/2014/365-369-2014.pdf |
| Kanovei V., Lyubetsky V., On countable cofinality and decomposition of definable thin orderings, arXiv:1412.0195 [math.LO], Dec. 2014, 21 p.
http://arxiv.org/abs/1412.0195 |
| Kanovei V., Lyubetsky V., Counterexamples to countable-section Π12 uniformization and Π13 separation, arXiv:1410.2537 [math.LO], Oct. 2014, 18 p. http://arxiv.org/abs/1410.2537 |
| Kanovei V., Lyubetsky V., A definable $E_0$-class containing no definable elements, arXiv:1408.6642 [math.LO], Aug 2014, 12 p. http://arxiv.org/abs/1408.6642 |
| Kanovei V., Lyubetsky V., A countable definable set of reals containing no definable elements,
arXiv:1408.3901 [math.LO], Aug. 2014, 11 p. http://arxiv.org/abs/1408.3901 |
| Kanovei V., Lyubetsky V., Linearization of partial quasi-orderings in the Solovay model revisited, arXiv:1408.1202 [math.LO], Aug. 2014, 13 p. http://arxiv.org/abs/1408.1202 |
| Kanovei V., Bounding and decomposing thin analytic partial orderings, arXiv:1407.0929v2 [math.LO], Jul 2014, 12 p. http://arxiv.org/abs/1407.0929 |
| Rubanov L., "Parallelization of nonuniform loops in supercomputers with distributed memory" Journal of Communications Technology and Electronics, 2014, Vol. 59, No. 6, P. 639–646. |
| Zverkóv O., Seliverstov A., Lyubetsky V., “A database of Rhodophyte plastid protein families and regulation of moeB genes”
Abstracts of the Ninth International Conference on Bioinformatics of Genome Regulation and StructureSystems Biology (BGRSSB"2012),
Novosibirsk, Russia, June 23–28 2014, p. 176. |
| Seliverstov A., “Polytopes and Connected Subgraphs”, Discrete Anal. Oper. Res., 2014, Vol. 21, No. 3, P. 82–86, in Russian |
| Rusin L., Lyubetskaya E., Gorbunov K., Lyubetsky V., “Reconciliation of Gene and Species Trees”
BioMed Research International,
2014, Vol. 2014, Article ID 642089, 22 pages. http://dx.doi.org/10.1155/2014/642089 |
| Kanovei V., A generalization of Solovay"s Sigma-construction. arXiv:1402.0961 [math.LO]. 5 Feb 2014, 6 p. http://arxiv.org/abs/1402.0961 |
| Lyubetsky V., Korolev S., Seliverstov A., Zverkóv O., Rubanov L., “Gene expression regulation of the PF00480 or PF14340 domain proteins suggests their involvement in sulfur metabolism”
Computational Biology and Chemistry,
2014, vol. 49, p. 7–13. http://www.sciencedirect.com/science/article/pii/S1476927114000036 |
| Kanovei V., On the automorphisms behind the Gitik -- Koepke model. In:
Infinity, Computability, and Metamathematics: Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch.
College publications, London, 2014, SeriesTributes, Vol. 23, pp. 229--253
http://iitp.ru/https://zbmath.org/?q=an%3A1358.03074 |
| Bascelli T., Kanovei V., Katz K., Katz M., et al., Fermat, Leibniz, Euler, and the gang: the true history of the concepts of limit and shadow.
Notices of the AMS, 2014, 61, 8, pp. 848--864.
DOI: 10.1090/noti1149 SCIMAGO, Q3 http://www.ams.org/notices/201408/rnoti-p848.pdf |
2013 |
| Kanovei V., On countable cofinality of definable chains in Borel partial orders.
arXiv:1312.2064 [math.LO].
Sat, 7 Dec 2013 http://arxiv.org/abs/1312.2064 |
| Lyubetsky V., Korolev S., Seliverstov A., Zverkóv O., “Rho-dependent attenuation of sulfur metabolism in mycobacteria”
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’13, Moscow, Russia, July 25–28 2013. |
| Kobets N., Goncharov D., Seliverstov A., Zverkóv O., Lyubetsky V., “Comparative analysis of apicoplast-targeted proteins in Toxoplasma gondii and other Apicomplexa species”
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’13,
Moscow, Russia, July 25–28 2013.
|
| Lyubetsky V., Seliverstov A., Zverkóv O., “Elaboration of the Homologous Plastid-Encoded Protein Families that Separate Paralogs in Magnoliophytes”
Mathematical Biology and Bioinformatics,
2013, Vol. 8, No. 1, P. 225–233, (in Russian). |
| Zverkóv O., Seliverstov A., Lyubetsky V., Averaged entropy as conservativity measure of genome regions.
Tambov University Reports. Series: Natural and Technical Sciences.
2013, Vol. 18, Iss. 5 (part 2), P. 2529–2531 (in Russian). |
| Seliverstov A., On connected subgraph cone. Tambov University Reports. Series: Natural and Technical Sciences. 2013. Vol. 18, Issue 5, (Part 2). P. 2668-2670. (In Russian.) |
| Kanovei V., Surreal numbers from the point of view of nonstandard analysis,
Sy David Friedman"s 60th-Birthday Conference, Vienna, Austria, July 2013. http://www.logic.univie.ac.at/2013/SDF60/Abstracts.html#Kanovei |
| Felgner U., Kanovei V., Koepke P., Purkert W., editors ., Felix Hausdorff.
Gesammelte Werke, Band IA: Allgemeine Mengenlehre.
Berlin: Springer, 2013, xxvi+538 pp., Monograph
ISBN: 978-3-642-25598-4. http://www.springer.com/mathematics/history+of+mathematics/book/978-3-642-25598-4 |
| Lyubetsky V., Seliverstov A., Zverkóv O., Transcription Regulation of Plastid Genes Involved in Sulfate Transport in Viridiplantae.
BioMed Research International. 2013, Vol. 2013, Article ID 413450.
DOI: 10.1155/2013/413450, PMID: 24073405 http://www.hindawi.com/journals/bmri/2013/413450/ |
| Bair J., Blazczyk P., Ely R., Henry V., Kanovei V., et al., Is mathematical history written by the victors?
Notices of the AMS, 2013, 60, no 7, pp. 886-904.
DOI: 10.1090/noti1026 SCIMAGO, Q3 http://www.ams.org/notices/201307/rnoti-p886.pdf |
| Kanovei V., Sabok M., Zapletal J., Canonical Ramsey Theory on Polish Spaces.
Cambridge University Press, Cambridge, UK, 2013, viii+269 pp.,
Monograph ISBN 978-1-107-02685-8 http://www.cambridge.org/9781107026858 |
| Kanovei V., Lyubetsky V., Contemporary Set Theory: absolutely undecidable classical problems. (Russian.) Monograph, published by Independent Moscow university, 2013, 384 pages. http://biblio.mccme.ru/node/2878 |
| Seliverstov A., "Monomials in quadratic forms", Journal of Applied and Industrial Mathematics, 2013, Vol. 7, N 3. P. 431–434 |
| Kanovei V., Kommentar zu [H 1936b], Summen von $aleph_1$ Mengen.
In: Felix Hausdorff,
Gesammelte Werke. Band Ia: Allgemeine Mengenlehre,
Berlin: Springer, 2013, pp. 364-366.
http://www.amazon.ca/Felix-Hausdorff-Gesammelte-Allgemeine-Mengenlehre/dp/toc/3642255981 |
| Kanovei V., Kommentar zu [H 1909a], Die Graduierung nach dem Endverlauf.
In: Felix Hausdorff,
Gesammelte Werke. Band Ia: Allgemeine Mengenlehre,
Berlin: Springer, 2013, pp. 336-346.
http://www.amazon.ca/Felix-Hausdorff-Gesammelte-Allgemeine-Mengenlehre/dp/toc/3642255981 |
| Kanovei V., Gaps in partially ordered sets and related problems,
In: Felix Hausdorff,
Gesammelte Werke. Band Ia: Allgemeine Mengenlehre,
Berlin: Springer, 2013,
pp. 367-405. http://www.amazon.ca/Felix-Hausdorff-Gesammelte-Allgemeine-Mengenlehre/dp/toc/3642255981 |
| Kanovei V., Lyubetsky V., On effective $sigma$-boundedness and $sigma$-compactness,
Mathematical Logic Quarterly,
2013, 59, no 3,
pp. 147-166.
doi: 10.1002/malq.201200001 http://onlinelibrary.wiley.com/doi/10.1002/malq.201200001/full |
| Zverkóv O., Rusin L., Seliverstov A., Lyubetsky V., Study of Direct Repeats in Micro Evolution of Plant Mitochondria and Plastids Based on Protein Clustering.
Moscow University Biological Sciences Bulletin.
2013, Vol. 68, No. 2, P. 58–62.
DOI: 10.3103/S0096392513020119 |
| Kanovei V., Katz M., Mormann T., Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics,
Foundations of Science, 2013, 18, 2, pp. 259-296.
DOI 10.1007/s10699-012-9316-5 http://dx.doi.org/10.1007/s10699-012-9316-5 |
2012 |
| Lyubetsky V., Rubanov L., Rusin L., Gorbunov K., "Cubic time algorithms of amalgamating gene trees and building evolutionary scenarios" Biology Direct, 2012, 7:48. PMID: 24513779 http://www.biologydirect.com/content/7/1/48 |
| Seliverstov A., "Some Notes about Arrangements of Points on Quadrics" Modeling and analysis of information systems, 2012, Volume 19, N 4, p. 72-77 (in Russian) http://mais.uniyar.ac.ru/ru/articles/19/4 |
| Seliverstov A., "On zeroes in matrices of quadratic forms" International conference "XI Belarusian mathematical conference" , (November 5-9, 2012, Minsk, Belarus) Proceedings. Part 4. P. 99-100 (in Russian). http://www.bmc.bsu.by/ru/sm.aspx?guid=3643 |
| Zverkóv O., Seliverstov A., Lyubetsky V., Plastid-encoded protein families specific for narrow taxonomic groups of algae and protozoa.
Molecular Biology 2012, Vol. 46, No. 5, P. 717–726.
DOI: 10.1134/S0026893312050123 |
| Gorbunov K., Lyubetsky V., “The problems of reconciling gene and species trees, mapping a gene tree into a species tree, and gene tree inference”
Abstracts of the First RECOMB Satellite Conference on Open Problems in Algorithmic Biology (RECOMB-AB),
St. Petersburg, Russia, August 27–29 2012. |
| Gorbunov K., Seliverstov A., Lyubetsky V., "Geometric Relationship between Parallel Hyperplanes, Quadrics, and Vertices of a Hypercube" Problems of Information Transmission , 2012, 48:2, 185–192 http://dx.doi.org/10.1134%2FS0032946012020081 |
| Lyubetsky V., Zverkóv O., Pirogov S., Rubanov L., Seliverstov A., Modeling RNA polymerase interaction in mitochondria of chordates.
Biology Direct. 2012, 7:26.
DOI: 10.1186/1745-6150-7-26, PMID: 22873568 http://www.biology-direct.com/content/7/1/26 |
| Zverkóv O., Korolev S., Seliverstov A., Lyubetsky V., Transcription regulation of plastid genes cysT and cysA in Viridiplantae.
in: Molecular Phylogenetics (Eds.: A. Troitsky, L. Rusin, V. Aleoshin),
Moscow, Torus Press, 2012, P. 85. |
| Seliverstov A., Lyubetsky V., “About Forms Equal to Zero at Each Vertex of a Cube”
Journal of Communications Technology and Electronics,
2012, Vol. 57, No. 8, P. 892–895. |
| Seliverstov A., Lyubetsky V., “Modeling RNA Polymerase Interaction in Plastids of Plants, Algea and Mitochondria of Chordates: Human Bearing the MELAS Mutation and Rat with Hyposecretion of Thyroid Hormone”
Proceedings of the Eighth International Conference on Bioinformatics of Genome Regulation and StructureSystems Biology (BGRSSB"2012),
Novosibirsk, Russia, June 25–29 2012, P. 189. |
| Kanovei V., Lyubetsky V., “Effective Compactness and Sigma-Compactness”
Mathematical notes,
2012, Vol. 91, Iss. 6, P. 789–799. http://mi.mathnet.ru/rus/mz/v91/i6/p840 |
| Seliverstov A., "Arrangements of points on empty quadrics" Proceedings of the International Conference MAIS. Yaroslavl. February 6-7, 2012. P. 161-163. |
| Kanovei V., Lyubetsky V., An infinity which depends on the axiom of choice,
Applied Mathematics and Computation,
Vol. 218, Iss. 16, April 15 2012, P. 8196–8202,
http://dx.doi.org/10.1016/j.amc.2011.05.003 |
| Gorbunov K., Lyubetsky V., “Fast Algorithm to Reconstruct a Species Supertree from a Set of Protein Trees”
Molecular Biology,
2012, Vol. 46, No. 1, P. 161–167. |
2011 |
| Kanovei V., On effective compactness and sigma-compactness.
arXiv:1103.1060 [math.LO].
Sat, 5 Mar 2011 http://arxiv.org/abs/1103.1060 |
| Kanovei V., On effective sigma-boundedness and sigma-compactness.
arXiv:1110.0919 [math.LO].
Wed, 5 Oct 2011. http://arxiv.org/abs/1110.0919 |
| Kanovei V., Lyubetsky V.A., An infinity which needs the axiom of choice,
Logic Colloquium 2011, Barcelona, 2011,
Contributed Talks. http://www.logic2011.org/Dades/TimetableContributedTalks.pdf |
| Kanovei V., On e ffective compactness and sigma-compactness,
Third European Set Theory
Conference, 3 - 8 July 2011, ICMS, Edinburgh, UK.
http://www.esf.org/serving-science/conferences/details/2011/confdetail368/368-final-programme.html |
| Lazarev V.N., Levitskii S.A., Basovskii Y.I., Chukin M.M., Akopian T.A., Vereshchagin V.V., Kostrjukova E.S., Kovaleva G., Kazanov M., Malko D.B., Vitreschak A., Sernova N.V., Gelfand M., Demina I.A., Serebryakova M.V., Galyamina M.A., Vtyurin N.N., Rogov S.I., Alexeev D.G., Ladygina V.G., Govorun V.M., Complete genome and proteome of Acholeplasma laidlawii. Journal of Bacteriology 2011 Sep;193(18):4943-4953. http://jb.asm.org/content/193/18/4943.long |
| Zverkóv O., Gorbunov K., Seliverstov A., Lyubetsky V., “Protein clustering with accounting for domen architecture”
Proceedings of the 54th conference of Moscow Institute of Physics and Technology “Basic and applied research in life sciences and engineering in modern information environment”,
Moscow, Russia, November 25–26 2011, Section of Management and applied mathematics, Vol. 2, P. 88–89. |
| Kanovei V., Lyubetsky V., “An effective minimal encoding of uncountable sets”
Siberian mathematical journal,
2011, Vol. 52, No. 5, pp. 854–863. http://www.springerlink.com/content/hgwv8882kl061v70/ |
| Seliverstov A., Lyubetsky V., “Evolution of RNA-polymerases and their promoters in plastids”
50-years of IITP anniversary conference,
Moscow, September 15 2011, P. 58–62. |
| Lyubetsky V., Seliverstov A., ”Mathematical problems in biological evolution and molecular regulation“
Proceedings of the International Mathematical Conference “50 Years of IITP”,
Moscow, Russia, July 25–29, 2011, 7 pages. http://iitp.ru/upload/content/839/Lyubetsky%20Seliverstov.pdf |
| Kanovei V., Lyubetsky V., On the infinitary pantachie of Du Bois Reymond,
Proceedings of the International Mathematical Conference “50 Years Of IITP”,
Moscow, Russia, July 25–29, 2011, 7 pages. http://iitp.ru/upload/content/839/Kanovei.pdf |
| Gorbunov K., Rubanov L., Rusin L., Lyubetsky V., “An accurate algorithm of cubic complexity to build supertrees”
Zitteliana. An International Journal of Palaeontology and Geobiology. Series B,
Vol. 30, Abstracts of the international conference “Deep Metazoan Phylogeny 2011 – new data, new challenges", Munchen, Germany, October 11–14 2011, P. 20. |
| Gorbunov K., Lyubetsky V., “The tree nearest in average to a given set of trees”
Information transmission problems,
Vol. 47, Iss. 3, 2011 |
| 154, Seliverstov A., Lyubetsky V., “Bacterial type RNA polymerase sigma subunits and their specific promoters in plastids”
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’11, July 21–24, 2011, pp. 209–210. http://mccmb.belozersky.msu.ru/2011/mccmb11.pdf |
| 154, Seliverstov A., Lyubetsky V., “NtcA and NtcB regulons in cyanobacteria and chloroplasts”
Proceedings of the VI Moscow International Congress “Biotechnology: State of the Art and Prospects of Development”, March 21–25, 2011, pp. 395–396.
|
| 154, Seliverstov A., Lyubetsky V., “NtcA and NtcB regulons in cyanobacteria and rhodophyta chloroplasts”
Molecular Biology, V. 45, No. 3, 2011, pp. 522–526. http://www.springerlink.com/content/83173k2162213k56/ |
| Lyubetsky V., Zverkóv O., Rubanov L., Seliverstov A., Modeling RNA polymerase competition: the effect of σ-subunit knockout and heat shock on gene transcription level.
Biology Direct. 2011, 6:3.
DOI: 10.1186/1745-6150-6-3, PMID: 21255416 http://www.biology-direct.com/content/6/1/3 |
2010 |
| Kanovei V., Linear ROD subsets of Borel partial orders are countably cofinal in Solovay"s model.
arXiv:1005.5534 [math.LO].
Sun, 30 May 2010. http://arxiv.org/abs/1005.5534 |
| Kanovei V., On automorphisms behind the Gitik -- Koepke model for violation of the Singular Cardinals Hypothesis w/o large cardinals.
arXiv:1008.3471 [math.LO].
Fri, 20 Aug 2010. http://arxiv.org/abs/1008.3471 |
| Kanovei V., A weak dichotomy below E_1 * E_3,
Topology and its applications, 2010, 157, 8, pp. 1465-–1478
doi:10.1016/j.topol.2009.03.052.
http://iitp.ru/ http://dx.doi.org/10.1016/j.topol.2009.03.052 |
| Bagaria J., Kanovei V., On coding uncountable sets by reals,
Mathematical Logic Quarterly, 2010, 56, No. 4, pp. 409--424.
http://onlinelibrary.wiley.com/doi/10.1002/malq.200910056/abstract |
| Kanovei V., Lyubetsky V., Julius Koenig sets as higher infinity,
Infinite and Infinitesimal in Mathematics and Natural Sciences. International Workshop, 17-21 May 2010, Book of Abstracts, p. 27, University of Calabria, Italy, 2010. http://www.theinfinitycomputer.com/Infinity2010/Abstracts_Infinity2010.pdf |
| Lyubetsky V., Seliverstov A., “Fast and Slow Evolution of Bacterial Type Promoters in Plastids of Streptophyta”
Molecular Phylogenetics: Contributions to the 2nd Moscow International Conference “Molecular Phylogenetics” (Moscow, Russia, May 18-21, 2010), Moscow, Torus Press, 2010, p. 54. |
| 154, Seliverstov A., Lyubetsky V., “The Evolution of NtcA- and NtcB-regulons in Cyanobacteria and Rhodophyte Chloroplasts”
Molecular Phylogenetics: Contributions to the 2nd Moscow International Conference “Molecular Phylogenetics” (Moscow, Russia, May 18-21, 2010), Moscow, Torus Press, 2010, pp. 134–135. |
| 154, Gorbunov K., Seliverstov A., Lyubetsky V., “The evolution of proline synthesis transcription regulation in gamma proteobacteria”
Molecular Phylogenetics: Contributions to the 2nd Moscow International Conference “Molecular Phylogenetics” (Moscow, Russia, May 18-21, 2010), Moscow, Torus Press, 2010, pp. 132–133. |
| Seliverstov A., Rubanov L., Lyubetsky V., “Lack of Conservation of Bacterial Type Promoters in Plastids of Streptophyta”
Proceedings of the Seventh International Conference on Bioinformatics of Genome Regulation and StructureSystems Biology (BGRSSB’2010), Novosibirsk, Russia, 20-27 June 2010, p. 170. |
| Lyubetsky V., Zverkóv O., Rubanov L., Seliverstov A., Interaction between nucleome and plastome: heat shock response regulation in plastids of plants.
Proceedings of the Seventh International Conference on Bioinformatics of Genome Regulation and Structure\Systems Biology (BGRS\SB"2010), Novosibirsk, Russia, June 20–27 2010, P. 161. |
| Gorbunov K., Lyubetsky V., “A Fast Algorithm of Building Species Supertrees with a Set of Gene Trees”
Proceedings of the Seventh International Conference on Bioinformatics of Genome Regulation and StructureSystems Biology (BGRSSB’2010), Novosibirsk, Russia, 20-27 June 2010, p. 92. |
| Lyubetsky V., Rubanov L., Seliverstov A., “Lack of conservation of bacterial type promoters in plastids of Streptophyta”
Biology Direct 2010, 5:34.
PMID: 20459727 http://www.biology-direct.com/content/5/1/34 |
| 154, Gorbunov K., Rusin L., Seliverstov A., Lyubetsky V., “The Evolution of Proline Synthesis Transcriptional Regulation in Gammaproteobacteria”
Moscow University Biological Sciences Bulletin, 2010, V. 65, No. 4, pp. 211–212. |
| Kanovei V., Lyubetsky V., Contemporary Set Theory: Borel and projective sets. (Russian.)
Monograph, published by Independent Moscow university, 2010, 320 pages. http://www.mccme.ru/free-books/#kanovej |
| Zverkóv O., Seliverstov A., Lyubetsky V., “On an algorithm of protein clustering”
Proceedings of the 53th conference of Moscow Institute of Physics and Technology “Modern problems of fundamental and applied sciences”,
Moscow, Russia, November 24–29 2010, Part I, Vol. 1, P. 118–119. http://mipt.ru/nauka/53conf/Materialy+53+konferenzii/01-FRTK1-view-arpggzeu7il.pdf |
| Kondratenkov I.B., Rubanov L., Àëãîðèòì àâòîìàòè÷åñêîãî îáíàðóæåíèÿ óñòîé÷èâûõ èçìåíåíèé, íàáëþäàåìûõ íà íåîäíîðîäíîì ôîíå â ïîñëåäîâàòåëüíîñòè âèäåîêàäðîâ // Èíôîðìàöèîííûå òåõíîëîãèè è ñèñòåìû ÈÒèÑ 2010, Ãåëåíäæèê, 20-24 ñåíòÿáðÿ 2010, ñòð. 121-126. http://www.itas-proceedings.iitp.ru/pdf/1569320973.pdf |
| Kondratenkov I.B., Rubanov L., Îáíàðóæåíèå óñòîé÷èâûõ èçìåíåíèé íàáëþäàåìîé ñöåíû ïðè ïðîñòðàíñòâåííî-âðåìåííîì àíàëèçå âèäåîïîñëåäîâàòåëüíîñòè. Ïðèêëàäíàÿ èíôîðìàòèêà, 2010, ¹ 2 (26), ñòð. 64-70. |
| Gorbunov K., Laikova O.N., Rodionov D., Gelfand M., Lyubetsky V., “Evolution of regulatory motifs of bacterial transcription factors”
In Silico Biology, 2010, 10, 0012. http://www.bioinfo.de/isb/2010/10/0012/ |
| 154, Seliverstov A., Lyubetsky V., “Attenuation Regulation of the Amino Acid and Aminoacyl-tRNA Biosynthesis Operons in Bacteria: A Comparative Genomic Analysis”
Molecular Biology,
2010, Vol. 44, No. 1, pp. 128–139. |
2009 |
| Kanovei V., Lyubetsky V., Borel reducibility as an additive property of domains,
Journal of Mathematical Sciences,
2009, Vol. 158, No. 5, P. 708–712. http://www.springerlink.com/content/t61n117p753548n1/ |
| Kanovei V., On Hausdorff"s ordered structures.
Izvestiya: Mathematics, 2009, 73, 5, pp. 939--958. http://mi.mathnet.ru/rus/izv/v73/i5/p83 |
| Kanovei V., On definability of some counterexamples in descriptive set theory,
ESI Workshop on Large Cardinals and descriptive Set Theory,
Vienna, June 14--27, 2009,
Vienna, Erwin Schroedinger Institute,
2009, p. 20. http://www.logic.univie.ac.at/2009/esi/booklet.pdf |
| Rusin L., Aleoshin V., Lyubetsky V., “A phylogenomic pipeline to construct multi-gene datasets and infer multi-gene trees”,
Proceedings of the international conference “Celebrating Darwin: from the Origin of Species to Deep Metazoan Phylogeny, DMP’09”, Berlin, Germany, March 4–6 2009. |
| Seliverstov A., T.A.Sadovskaya, A.V.Seliverstov,
"Analysis of the 5"-Leader Regions of Several Plastid Genes in Protozoa of the Phylum Apicomplexa and Red Algae", Molecular Biology, 2009, Vol. 43, No. 4, pp. 552-556. |
| Gelfand M., 60, Korostelev Y., Laikova O., Mironov A., Rakhmaninova A., 170, Rodionov D., Vitreschak A., Evolution of Regulatory Systems in Bacteria. Lecture Notes in Bioinformatics. 2009; 5542 (ISBRA 2009): 1-4.
|
| Kanovei V., Lyubetsky V., Reeken M., Nonstandard class and superset theories,
Logic and Mathematics, The University of York, 3-7 August, 2009.
Department of Mathematics, University of York, 2009, p. 21. http://maths.york.ac.uk/www/sites/default/files/kanovei-slides.pdf |
| Lyubetsky V., 154, “Comparative genomic analysis of the attenuation regulation of amino acid and amino acyl-tRNA biosynthesis operons in bacteria” International Moscow Conference on Computational Molecular Biology: MCCMB’09, pp. 219–220. |
| 154, Seliverstov A., Lyubetsky V., “Chlorophyll synthesis regulation in plant chloroplasts” International Moscow Conference on Computational Molecular Biology: MCCMB’09, pp. 217–218. |
| Gorbunov K., Lyubetsky V., “Inferring gene evolution along a species tree” International Moscow Conference on Computational Molecular Biology: MCCMB’09, pp. 120–121. |
| Lyubetsky V., Rubanov L., Seliverstov A., “RNA polymerase competition at complementary DNA strands” Proceedings of the Genetics and Selection Meeting and V Congress of the Vavilov Genetics and Selection Society, Moscow, June 21-27 2009, Part II, p. 68. |
| Lyubetsky V., Zhizhina E., Rubanov L., “Gibbs Field for Evolutionary Analysis of Regulatory Signal of Gene Expression under Constraints on Secondary Structure” The 18th IMACS World Congress on Computational and Applied Mathematics & Applications in Science and Engineering, August 3-5, 2009, The University of Georgia, Athens, GA 30602-7404, USA, ð. 54. |
| Lyubetsky V., Seliverstov A., “Protein expression regulation in plastids of parasites, algae and plants” Proceedings of V Bioinformatics Congress, Moscow, 2009, pç. 387–388. |
| Gorbunov K., Lyubetsky V., “Reconstructing the evolution of genes along the species tree” Molecular Biology, 2009, V. 43, No. 5, pp. 881–893. |
| Gorbunov K., Lyubetskaya E., Asarin E., Lyubetsky V., “Modeling evolution of the bacterial regulatory signals involving secondary structure” Molecular Biology, 2009, V. 43, No. 3, pp. 485–499. |
| Mikhailov K.V., Konstantinova A.V., Nikitin M.A., Troshin P.V., Rusin L., Lyubetsky V., Panchin Y., Mylnikov A.P., Moroz L.L., Kumar S., Aleoshin V.V., “The origin of Metazoa: a transition from temporal to spatial cell differentiation”
BioEssays,
2009, V. 31, Issue 07, pp. 758–768.
PMID: 19472368 |
| Seliverstov A., Lysenko E., Lyubetsky V., “Rapid Evolution of Promoters for the Plastome Gene ndhF in Flowering Plants” Russian Journal of Plant Physiology, 2009, V. 56, No 6, pp. 837–844. |
| Seliverstov A., Lyubetsky V., "Mechanism of manganese transport regulation in Brucella involving a long RNA helix", Biophysics, 2009, V. 54, No 2, pp. 152-155. |
| Kanovei V., Lyubetsky V., Reasonable non-Radon-Nikodym ideals,
Topology and its Applications,
2009, 156, 5, pp. 911–914. http://iitp.ru/ http://dx.doi.org/10.1016/j.topol.2008.11.008 |
| Seliverstov A., Lyubetsky V., “On symmetric matrices with indeterminate leading diagonals” Problems of Information Transmission, 2009, V. 45. No. 3. pp. 258–263. http://mi.mathnet.ru/rus/ppi/v45/i3/p73 |
2008 |
| Kanovei V., Lyubetsky V., Reasonable non--Radon--Nikodym ideals.
arXiv:0806.4760 [math.LO].
Sun, 29 Jun 2008 http://arxiv.org/abs/0806.4760 |
| Felgner U., Herrlich H., Husek M., Kanovei V., et al., editors ., Felix Hausdorff.
Gesammelte Werke, Band III: Mengenlehre,
Deskriptive Mengenlehre und Topologie.
Berlin: Springer, 2008, xxii+1005 pp.,
Monograph
ISBN: 978-3-540-76806-7. http://iitp.ru/https://www.springer.com/de/book/9783540768067 |
| Herrlich H., Husek M., Kanovei V., et al., Anmerkungen der Herausgeber,
In: Felix Hausdorff,
Gesammelte Werke. Band III: Descriptive Mengenlehre und Topologie,
Berlin: Springer, 2008, pp. 352-398.
|
| Kanovei V., Hausdorff und Lusin,
In: Felix Hausdorff,
Gesammelte Werke. Band III: Descriptive Mengenlehre und Topologie,
Berlin: Springer, 2008, pp. 25-30.
|
| Kanovei V., Koepke P., Commentary to [H 1916],
In: Felix Hausdorff,
Gesammelte Werke. Band III: Descriptive Mengenlehre und Topologie,
Berlin: Springer, 2008, pp. 439-442.
|
| Kanovei V., Koepke P., Commentary to [H 1933a],
In: Felix Hausdorff,
Gesammelte Werke. Band III: Descriptive Mengenlehre und Topologie,
Berlin: Springer, 2008, pp. 478.
|
| Kanovei V., Koepke P., Commentary to [H 1933b],
In: Felix Hausdorff,
Gesammelte Werke. Band III: Descriptive Mengenlehre und Topologie,
Berlin: Springer, 2008, pp. 482.
|
| Kanovei V., Koepke P., Commentary to [H 1935c],
In: Felix Hausdorff,
Gesammelte Werke. Band III: Descriptive Mengenlehre und Topologie,
Berlin: Springer, 2008, pp. 528.
|
| Kanovei V., Koepke P., ds-Operationen, Kommentare,
In: Felix Hausdorff,
Gesammelte Werke. Band III: Descriptive Mengenlehre und Topologie,
Berlin: Springer, 2008, pp. 583-587.
|
| Kanovei V., Koepke P., Mengensysteme, Borelmengen, Trennbarkeit, Kommentare,
In: Felix Hausdorff,
Gesammelte Werke. Band III: Descriptive Mengenlehre und Topologie,
Berlin: Springer, 2008, pp. 617-625.
|
| Kanovei V., Koepke P., Borelsche Funktionen, Kommentare,
In: Felix Hausdorff,
Gesammelte Werke. Band III: Descriptive Mengenlehre und Topologie,
Berlin: Springer, 2008, pp. 651-653.
|
| Kanovei V., Koepke P., Reduzible Mengen und Differenzenketten, Kommentare,
In: Felix Hausdorff,
Gesammelte Werke. Band III: Descriptive Mengenlehre und Topologie,
Berlin: Springer, 2008, pp. 668-674. |
| Kanovei V., Koepke P., Suslinmengen, Indizes, Trennbarkeit, Kommentare,
In: Felix Hausdorff,
Gesammelte Werke. Band III: Descriptive Mengenlehre und Topologie,
Berlin: Springer, 2008, pp. 703-714. |
| Kanovei V., Koepke P., Varia, Kommentare,
In: Felix Hausdorff,
Gesammelte Werke. Band III: Descriptive Mengenlehre und Topologie,
Berlin: Springer, 2008, pp. 732-737. |
| Kanovei V., A dichotomy below E_1 * E_3,
Advances in set-theoretic topology, International conference, June 9-19, 2008,
Abstracts,
International Centre for Scientific Culture, Erice, Italy, 2008.
http://www.math.sci.ehime-u.ac.jp/erice/ |
| Friedman S.D., Kanovei V., Some natural equivalence relations in the Solovay model,
Abhandlungen aus dem Mathematischen Seminar der Universitaet Hamburg,
2008, 78, 1, pp. 91--98. http://dx.doi.org/10.1007/s12188-008-0003-y |
| Kanovei V., Reeken Michael, Development in nonstandard set theoretic analysis,
Scientiae Mathematicae Japonicae,
2008, 68, 1, pp. 141--176. http://www.jams.or.jp/notice/scmj/68-1.html |
| Kanovei V., Uspensky V.A., Linton Tom, Lebesgue measure and gambling.
Sb. Math., 2008, 199, 11, pp. 1597--1619.
http://iitp.ru/www.mathnet.ru/sm3948 |
| Mikhailov K., Konstantinova A., Nikitin M., Troshin P., Rusin L., Lyubetsky V., Panchin Yu., Mylnikov A., Moroz L., Kumar S., Aleoshin V., “The Gastrea theory in postgenomic age: cell differentiation preceded multicellularity in early metazoan evolution”
Proceedings of the ICREA Conference on the Origin and Early Evolution of Metazoans, Barcelona Spain, October 24–25 2008. |
| Rusin L., Lyubetsky V., Kumar S., “Phylogenomic pipeline and construction of a multi-gene dataset for Metazoa”
Proceedings of the Annual Meeting of the Society for Molecular Biology and Evolution SMBE’2008, Barcelona Spain, June 5–8 2008. |
| Lyubetsky V., Seliverstov A., “On evolution of promoters in plastomes”
Abstracts of The Sixth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2008), Novosibirsk, June 22–28, p. 217. http://www.bionet.nsc.ru/meeting/bgrs2008/BGRS2008_Proceedings.pdf |
| Lysenko E., Seliverstov A., Lyubetsky V., “Analysis of Sig3, Sig4 and Sig6 evolution on new genomic data”
Abstracts of The Sixth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2008), Novosibirsk, June 22–28, p. 147. http://www.bionet.nsc.ru/meeting/bgrs2008/BGRS2008_Proceedings.pdf |
| 154, Seliverstov A., Lyubetsky V., “RNA structures upstream the 2-isopropylmalate synthase encoding gene in alfa-proteobacteria and actinobacteria”
Abstracts of The Sixth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2008), Novosibirsk, June 22–28, p. 144. http://www.bionet.nsc.ru/meeting/bgrs2008/BGRS2008_Proceedings.pdf |
| Gorbunov K., Kanovei V., Lyubetsky V., “Inferring optimal scenario of gene evolution along a species tree”
Abstracts of The Sixth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2008), Novosibirsk, June 22–28, p. 90. http://www.bionet.nsc.ru/meeting/bgrs2008/BGRS2008_Proceedings.pdf |
| Rubanov L., Seliverstov A., Lyubetsky V., “Multiple alignment based on species tree”
Abstracts of The Sixth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2008), Novosibirsk, June 22–28, p. 212. http://www.bionet.nsc.ru/meeting/bgrs2008/BGRS2008_Proceedings.pdf |
| Lyubetsky V., Zhizhina E., Rubanov L., “A model of regulatory signal evolution”
Abstracts of The Sixth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2008), Novosibirsk, June 22–28, p. 148. http://www.bionet.nsc.ru/meeting/bgrs2008/BGRS2008_Proceedings.pdf |
| Glotova I., Lyubetsky V., ”Classical attenuation regulation model”
Abstracts of The Sixth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2008), Novosibirsk, June 22–28, p. 85. http://www.bionet.nsc.ru/meeting/bgrs2008/BGRS2008_Proceedings.pdf |
| Lyubetsky V., “Models of gene expression regulation and evolution of regulatory elements” Proceeding of the Fifth International Conference of Applied Mathematics and Computing (Plovdiv, Bulgaria, August 12-18), 2008, pp. 17–19. |
| Friedman Sy-D., Kanovei V., Lyubetsky V., On ROD reducibility of equivalence relations in Solovay model,
Methods of Logic in Mathematics V,
Russian Academy of Sciences, Steklov Institute of Mathematics and Euler International Mathematical Institute, Proceedings of International Conference, St. Petersburg, Russia, June 1-7 2008, p. 6. |
| Lyubetsky V., Zhizhina E., Rubanov L., “Gibbs Field Approach for Evolutionary Analysis of Regulatory Signal of Gene Expression” Problems of Information Transmission, 2008, V. 44, No 4, pp. 333–351. |
| Vitreschak A., Mironov A., Lyubetsky V., Gelfand M., “Comparative genomic analysis of T-box regulatory systems in bacteria”
Ribonucleic acids molecular biology (RNA),
V. 14, No. 4, April 2008, pp. 717-735.
PMID: 18359782 http://rnajournal.cshlp.org/content/14/4/717.full |
| Kanovei V., Lyubetsky V., Borel reducibility as an additive property of domains,
Journal of Mathematical Sciences,
2009, 158, 5, pp. 708–712.
https://link.springer.com/article/10.1007/s10958-009-9406-2 http://www.mathnet.ru/php/getFT.phtml?jrnid=znsl&paperid=2151&what=fullt&option_lang=rus |
| Kanovei V., Borel equivalence relations: structure and classification,
University Lectures series of the AMS, 2008. Monograph ISBN: 978-0-8218-4453-3
http://www.ams.org/bookstore-getitem/item=ulect-44 |
2007 |
| Kanovei V., A weak dichotomy below E_1 x E_3.
arXiv:0707.2706 [math.LO].
Wed, 18 Jul 2007. http://arxiv.org/abs/0707.2706 |
| Kazanov M., Vitreschak A., Gelfand M., Abundance and functional diversity of riboswitches in microbial communities. BMC Genomics. 2007 Oct 1;8:347. http://www.biomedcentral.com/1471-2164/8/347 |
| Kanovei V., Canonization of Borel equivalence relations on large sets.
Euler and modern combinatorics, international conference. June 1-7, 2007.
Program, abstracts, pp. 12-13.
Euler International Mathematical Institute,
St.Petersburg, 2007.
|
| Kanovei V., Lyubetsky V., Contemporary Set Theory: foundations of descriptive dynamics.
(Russian.), Nauka, 2007. Monograph ISBN: 978-5-02-035577-4 http://www.ozon.ru/context/detail/id/3938505/ |
| Seliverstov A., Lysenko E., Lyubetsky V., “Rapid evolution of promoters in Magnoliophyta chloroplasts” Proceedings of the international scientific conference “Computational Phylogenetics and Molecular Systematics, CPMS’2007”, November 16–19 2007, KMK Scientific Press, Moscow, pp. 286–292. |
| Vitreschak A., Lyubetsky V., Gelfand M., “Analysis of evolution of T-box regulatory elements prediction of amino acid transporters and other amino acid related genes” Proceedings of the international scientific conference “Computational Phylogenetics and Molecular Systematics, CPMS’2007”, November 16–19 2007, KMK Scientific Press, Moscow, pp. 30–37. |
| Rusin L., Lyubetsky V., “Algorithms to model gene evolution events and reconstruct multigene phylogenies of species”
Proceedings of the international conference “Computational Phylogenetics and Molecular Systematics, CPMS’2007”, Moscow, November 16–19 2007, KMK Scientific Press, P. 274–277. |
| Lyubetsky V., Seliverstov A., Gorbunov K., “Models of gene expression regulation and evolution of regulatory elements” Proceedings of the international scientific conference “Computational Phylogenetics and Molecular Systematics, CPMS’2007”, November 16–19 2007, KMK Scientific Press, Moscow, pp. 158–165. |
| Gorbunov K., Lyubetsky V., “Modeling evolution of the nucleotide sequence with secondary structure” Proceedings of the international scientific conference “Computational Phylogenetics and Molecular Systematics, CPMS’2007”, November 16–19 2007, KMK Scientific Press, Moscow, pp. 68–75. |
| Vitreschak A., Mironov A., Lyubetsky V., Gelfand M., “Function and evolutionary analysis of the T-box regulon in bacteria” Proceedings of International Moscow Conference on Computational Molecular Biology: ÌÑÑÌÂ’07, November 2007, pp. 309–310. |
| Rusin L., Lyubetsky V., “Phylogenomics of Metazoa: Constructing the Gene Set” Proceedings of International Moscow Conference on Computational Molecular Biology: ÌÑÑÌÂ’07, 2007, pp. 267–268. |
| Lyubetsky V., Seliverstov A., Zverkóv O., RNA Structures upstream leuA Genes in α-proteobacteria.
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’07, Moscow, Russia, July 27–31 2007, P. 191–192. |
| Lyubetsky V., Seliverstov A., “Long helices in mRNA processing” Proceedings of International Moscow Conference on Computational Molecular Biology: ÌÑÑÌÂ’07, 2007, pp. 189–191. |
| Gorbunov K., Radionov D., Laikova O., Gelfand M., Lyubetsky V., “Reconstruction of ancestral regulatory signal along a phylogeny” Proceedings of International Moscow Conference on Computational Molecular Biology: ÌÑÑÌÂ’07, 2007, pp. 111–113. |
| Rubanov L., Lyubetsky V., “RNAmodel Web Server: Modeling Classic Attenuation in Bacteria”
In Silico Biology,
2007, V. 7, No 3, pp. 285–308.
PMID: 18415978 http://www.bioinfo.de/isb/2007/07/0044/ |
| Asarin E., Cachat Th., Seliverstov A., Touili T., Lyubetsky V., “Attenuation regulation as a term rewriting system” Article in the book “Algebraic Biology”, Lecture Notes in Computer Science 4545, Springer Berlin / Heidelberg, pp. 81–94, (Proceedings of the 2nd international conference on Algebraic biology: AB"07, Castle of Hagenberg, Austria, July 2-4 2007). http://arxiv.org/PS_cache/arxiv/pdf/0706/0706.2126v1.pdf |
| Gorbunov K., Lyubetsky V., “Reconstruction of ancestral regulatory signals along a transcription factor tree” Molecular Biology, 2007, V. 41, No. 5, pp. 836–842.PMID 18240574 |
| Lyubetskaya E., Seliverstov A., Lyubetsky V., “The number of long hairpins in intergenic trailer regions of actinobacteria is far greater than in other genomic regions” Molecular Biology, 2007, V. 41, No. 4, pp. 670–673. PMID: 17936997 |
| Seliverstov A., Lyubetsky V., “Regulation of proline biosynthesis in proteobacteria” Molecular Biology, 2007, V. 41, No. 3, pp. 513–515. |
| Kanovei V., Lyubetsky V., Problems of set-theoretic non-standard analysis,
Russian Mathematical Surveys, 2007, 62(1), pp. 45–111. http://www.mathnet.ru/php/getFT.phtml?jrnid=rm&paperid=5588&what=fullt&option_lang=rus |
| Kanovei V., Lyubetsky V., Reeken M., On reducibility of monadic equivalence relations,
Math. Notes, 2007, V. 81, No 6, pp. 757–766. http://www.mathnet.ru/links/4511ac41dc80f2435c1b79658aa17116/mzm3735.pdf |
| Lyubetsky V., Pirogov S., “Nonstandard representations of locally compact groups” Proceedings (Matematicheskie zametki) of RAS, 2007, 82, 3, pp. 341–346. http://www.springerlink.com/content/bj210202g2448945/fulltext.pdf |
| Lyubetsky V., Pirogov S., Rubanov L., Seliverstov A., “Modeling classic attenuation regulation of gene expression in bacteria”
Journal of Bioinformatics and Computational Biology,
Vol. 5, Iss. 1, 2007, pp. 155–180.
PMID: 17477496 |
2006 |
| Kanovei V., Lyubetsky V., A cofinal family of equivalence relations and Borel ideals generating them.
Proc. Moscow Steklov Inst. Math., 2006, 252, pp. 85--103. http://mi.mathnet.ru/tm65 |
| Kanovei V., Uspensky V.A., Uniqueness of nonstandard extensions.
Moscow Univ. Math. Bull., 2006, 61, 5, pp. 1--8
http://elibrary.ru/item.asp?id=9297010 |
| Kanovei V., Reeken M., Effective cardinals in the nonstandard universe.
Mathematical Logic in Asia.
Proceedings of the 9th Asian Logic Conference.
Novosibirsk, Russia, 16--19 August, 2005, pp. 113--144.
World Scientific Publishers, 2006.
http://iitp.ru/https://www.worldscientific.com/worldscibooks/10.1142/6255 |
| Seliverstov A., Zverkóv O., Lyubetsky V., Translation of some chloroplast genes is checked to allow for splicing and editing.
Biophysics. 2006, Vol. 51, Suppl. 1, P. S18–S22.
DOI: 10.1134/S0006350906070049 http://www.springerlink.com/content/p7517k3187230111/ |
| Lyubetsky V., Seliverstov A., “Modeling classic attenuation regulation of gene expression in bacteria”
Proceedings of The Fifth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2006), Novosibirsk, July 16–22 2006, V. 1, pp. 102–105. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2006/BGRS_2006_V1_022.pdf |
| Rusin L., Lyubetsky V., “Refinement of phylogenetic signal in multiple sequence alignment: results of simulation study”
Proceedings of the Fifth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS"2006), Novosibirsk, Russia, July 16–22 2006, Vol. 3, P. 222–224. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2006/BGRS_2006_V3_049.pdf |
| Gorbunov K., Lyubetsky V., “Inferring regulatiory signal profiles and evolutionary events”
Proceedings of the Fifth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS"2006), Novosibirsk, Russia, July 16–22 2006, Vol. 3, P. 151–154. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2006/BGRS_2006_V3_031.pdf |
| Lyubetskaya E., Seliverstov A., Lyubetsky V., “Detecting Hairpins in 3’-Untranslated Regions of Highly Expressed Genes in Actinobacteria”
Proceedings of The Fifth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2006), Novosibirsk, July 16–22 2006, V. 1, pp. 99–101. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2006/BGRS_2006_V1_021.pdf |
| Vitreschak A., Lyubetsky V., Gelfand M., “Evolutional and Functional Analysis of T-box Regulon in Bacteria: Identification of new Genes Involved in Amino Acid Metabolism”
Proceedings of The Fifth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2006), Novosibirsk, July 16–22 2006, V. 3, pp. 236–240. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2006/BGRS_2006_V3_053.pdf |
| Seliverstov A., Lyubetsky V., “Translation Regulation in Chloroplasts”
Proceedings of The Fifth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2006), Novosibirsk, July 16–22 2006, V. 1, pp. 146–149. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2006/BGRS_2006_V1_033.pdf |
| Kanovey V., Lyubetsky V., “A Cofinal Family of Equivalence Relations and Borel Ideals Generating Them” Proceedings of the Steklov Institute of Mathematics, 2006, V. 252, No 1, pp. 85–103. http://dx.doi.org/10.1134/S008154380601010X |
| Lyubetsky V., Rubanov L., Seliverstov A., Pirogov S., “Model of gene expression regulation in bacteria via formation of RNA secondary structures” Molecular Biology, 2006, V. 40, No 3, p. 440–453. |
| Lyubetsky V., Seliverstov A., “Computation of regulation efficiency of tryptophan biosynthesis in bacteria based on a model of classic attenuation” Information Processes, V. 6, No 1, pp. 55–57. http://www.jip.ru/2006/55-57-2006.pdf |
| Seliverstov A., Lyubetsky V., “An algorithm for detecting conserved motifs in nucleotide sequences” Information processes, 2006, V. 6, No 1, pp. 33–36. [in Russian] http://www.jip.ru/2006/33-36-2006.pdf |
| Leont'yev L., Lyubetsky V., “An algorithm of searching for proteins coherent with a given phylogenetic profile” Information Processes, 2006, V. 6, No 1, pp. 24–32. [in Russian] |
| Leont'yev L., Lyubetsky V., “Mass detection of conserved T-box containing regulatory structures: search results” Information Processes, 2006, V. 6, No 1, pp. 20–23. [in Russian] |
| Seliverstov A., Lyubetsky V., “Translation Regulation of Intron-containing Genes in Chloroplasts”
Journal of Bioinformatics and Computational Biology,
2006, Vol. 4, No. 4, P. 783–792.
PMID: 17007067 |
| Lyubetsky V., Gorbunov K., Rusin L., V'yugin V., “Algorithms to reconstruct evolutionary events at molecular level and infer species phylogeny” An article in the book: “Bioinformatics of Genome Regulation and Structure II”, Springer Science & Business Media, Inc. 2006, pp. 189–204. http://www.springerlink.com/content/q67568k37g687647/ |
2005 |
| Kanovei V., Lyubetsky V., Perfect subsets of invariant CA-sets.
Math.Notes, 2005, 77, 3, pp. 307--310. http://mi.mathnet.ru/mz2496 |
| Kanovei V., Uspensky V.A., On the equivalence of two forms of the continuum hypothesis.
Moscow Univ. Math. Bull., 2005, 3, pp. 45--46 http://elibrary.ru/item.asp?id=9133206 |
| Kanovei V., Lyubetsky V., A cofinal family of equivalence relations generated by Borel ideals.
Logic Colloquium 2005.
ASL European Summer meeting. July 28 -- August 3,
Athens, Greece, pp. 83.
Department of Mathematics, University of Athens, Greece, 2005.
|
| Rusin L., V'yugin V., Lyubetsky V., “Phylogenetic signal vs. informational noise: combat for resolution”
Proceedings of the international conference “9th Evolutionary Biology Meeting”, Marseille, France, September 21–23 2005. |
| Rusin L., V'yugin V., Lyubetsky V., “A method to optimize primary sequence data for enhanced tree resolution”
Proceedings of the 4th European Conference on Computational Biology ECCB 2005, Madrid, Spain, September 28 – October 01 2005. |
| Lyubetsky V., “Mathematic models of evolution and gene expression regulation” Proceedings of the RAS conference “Mathematic models of pattern recognition”, November 20–26 2005, Moscow, pp. 366–368. [in Russian] |
| Leont'yev L., Seliverstov A., Lyubetsky V., “Transcription regulation with T-boxes” Proceedings of the RAS conference “Issues of control and modeling in complex systems, VII International conference”, 27 June – 1 July 2005, Samara, pp. 222–224. [in Russian] |
| Lyubetsky V., Seliverstov A., “Translation regulation in Actinobacteria and Cyano-bacteria based on mRNA secondary structures” Proceedings of the RAS conference “Issues of control and modeling in complex systems, VII International conference”, 27 June – 1 July 2005, Samara, pp. 216–221. [in Russian] |
| Pirogov S., Gorbunov K., Lyubetsky V., “Macro- and microconditions in a model of attenuator regulation of gene expression in bacteria” Proceedings of the RAS conference “Issues of control and modeling in complex systems, VII International conference”, 27 June – 1 July 2005, Samara, pp. 210–215. [in Russian] |
| Lyubetsky V., Pirogov S., “A model of attenuator regulation in bacteria” Proceedings of the RAS conference “Issues of control and modeling in complex systems, VII International conference”, 27 June – 1 July 2005, Samara, pp. 205–209. [in Russian] |
| Leont'yev L., Seliverstov A., Lyubetsky V., “An algorithm for mass searching of T-box structures in bacteria” MCCMB’05, 2005, pp. 202–206. |
| Lyubetsky V., V'yugin V., “A model for evolutionary event reconstruction” MCCMB’05, 2005, pp. 217–219. |
| Rusin L., V'yugin V., Lyubetsky V., “Enhancing phylogenetic inference: concentration of the signal in sequence data” MCCMB’05, 2005, pp. 342–346. |
| Gorbunov K., Lyubetsky V., “Algorithms to reconstruct ancestral gene evolution events” MCCMB’05, 2005, pp. 128–129. |
| Lyubetsky V., Seliverstov A., “RNA regulatory structures in Actinobacteria and Cyanobacteri” MCCMB’05, 2005, pp. 351–353. |
| Lyubetsky V., Pirogov S., “A model for bacterial gene expression regulation with secondary RNA structures” MCCMB’05, 2005, pp. 214–216. |
| Seliverstov A., Lyubetsky V., “Translation regulation in chloroplasts” Information Processes, 2005, V. 5, No 5, pp. 400–404. [in Russian] http://www.jip.ru/2005/400-404.pdf |
| Lyubetsky V., Seliverstov A., “Searching for conservative motifs in leader regions of genes on a fixed species tree” Information Processes, 2005, V. 5, No 4, pp. 265–270. [in Russian] http://www.jip.ru/2005/265-270.pdf |
| Lyubetsky V., Gorbunov K., V'yugin V., Rusin L., “Removing noise in protein multiple alignment” Information Processes, 2005, V. 5, No 5, pp. 380–391. [in Russian] http://www.jip.ru/2005/380-391.pdf |
| Lyubetsky V., Gorbunov K., Pirogov S., Rubanov L., Seliverstov A., “An algorithm and search results for a model of gene expression regulation with RNA secondary structures in bacteria” Information Processes, 2005, V. 5, No 5, pp. 337–366. [in Russian] http://www.jip.ru/2005/337-366.pdf |
| Leont'yev L., Lyubetsky V., Seliverstov A., “Algorithm for a Large-Scale Search for T-Box Transcription Regulation in Bacteria” Molecular biology, 2005, V. 39, No 6, pp. 946–948. PMID: 16358746 |
| Lyubetsky V., Seliverstov A., “Expression Regulation of the Amino Acid Biosynthesis and Aminoacyl-tRNA Synthase Genes in Actinobacteria” Molecular biology, 2005, V. 39, No 6, pp. 942–945. PMID: 16358745 |
| Seliverstov A., Putzer H., Gelfand M., Lyubetsky V., “Comparative analysis of RNA regulatory elements of amino acid metabolism genes in Actinobacteria”
BMC Microbiology,
2005, 5:54.
PMID: 16202131 http://www.biomedcentral.com/1471-2180/5/54 |
| Gorbunov K., Lyubetsky V., “Identification of Ancestral Genes That Introduce Incongruence between Protein- and Species Trees” Molecular biology, 2005, V. 39, No 5, pp. 741–751. PMID: 16240718 |
| Kanovey V., Lyubetsky V., “Perfect subsets of invariant CA-sets” Mathematical Notes, 2005, 77, 3–4, pp. 307–310. http://www.springerlink.com/content/hx77t845227524g5/fulltext.pdf |
| Kanovey V., Lyubetsky V., “A cofinal family of equivalence relations generated by Borel ideals” Conference of Association for Symbolic Logic, Greece, Logic Colloquium 2005, ASL European Summer Meeting, July 28 – August 2, Athens, Greece, University of Athens, Greece, pp. 83. |
2004 |
| Kanovei V., Shelah S., A definable nonstandard model of the reals.
J. Symbolic Logic, 2004, 69, 1, pp. 159--164.
http://www.jstor.org/discover/10.2307/30041716?uid=2129&uid=2&uid=70&uid=4&sid=21102182105633 |
| Kanovei V., Reeken M., Borel irreducibility between two large families of Borel equivalence relations.
Logic Colloquium 99,
Lecture Notes in Logic, 17.
Association for Symbolic Logic, 2004, pp. 100--110. http://iitp.ru/https://aslonline.org/books/lecture-notes-in-logic/available-volumes/lecture-notes-in-logic-17/ |
| Kanovei V., Reeken M., Shelah S., Fully saturated extensions of the standard universe.
Logic, algebra and geometry, June 1 -- 7, 2004,
program, abstracts, St.,Petersburg, pp. 16--17.
Euler International mathematical institute,
St. Petersburg, 2004. |
| Kanovei V., Reeken M., Shelah S., Fully saturated extensions of the standard universe.
Models of Arithmetic and Analysis,
International Congress, Pisa, June 25-26, 2004,
Program and abstracts, pp. 1.
Pisa, Italy, 2004. http://www.dm.unipi.it/~dinasso/marian2004/kanovei.pdf |
| Kanovei V., Reeken M., Shelah S., Fully saturated extensions of standard universe.
Timetable and abstracts, Logic Colloquium 2004,
p. 117. Torino, Italy, 2004. |
| Lyubetsky V., Seliverstov A., “Note on Cliques and Alignments” Information Processes, 2004, V. 4, No 3, ññ. 241–246.
http://www.jip.ru/2004/241-246.pdf |
| Kanovei V., Reeken Michael, Nonstandard analysis, axiomatically.
Series: Springer Monographs in Mathematics
2004, XVI, 408 p., Monograph
ISBN: 978-3-540-22243-9
http://www.springer.com/math/analysis/book/978-3-540-22243-9 |
| Lyubetsky V., Gorbunov K., V'yugin V., “Inferring evolutionary events, quality of COGs, measuring the dissimilarity between gene and species trees” Presentation abstracts of the EMBO World Phylogenetic Course 2004. November 1–7 2004, Rio de Janeiro, Brazil. |
| Lyubetsky V., V'yugin V., “Complex phylogenetic analysis of the evolutionary history for some prokaryotes family”
Biophysics (Moscow),
2004, V. 48, Suppl. 1 (2003), pp. 97–106. |
| Gorbunov K., Lyubetsky V., “New approach for detecting common secondary structures in a set of RNA sequences”
Biophysics (Moscow),
2004, V. 48, Suppl. 1 (2003), pp. 56–67. |
| Seliverstov A., Lyubetsky V., “Properties of cysteine synthesis in Corynebacterium, Mycobacterium and Propionibacterium” Information Processes, 2004, V. 4, No 3, pp. 247–250. [in Russian] http://www.jip.ru/2004/247-250.pdf |
| Kanovei V., Lyubetsky V., On the set of constructive real numbers,
Proceedings of the Steklov Mathematical Institute,
V. 247, 2004, pp. 83–114. http://mi.mathnet.ru/tm12 |
| Lyubetsky V., Seliverstov A., “Multifraction graphs with two vertices per fraction” Information processes, 2004, V. 4, No 2, pp. 127–132. [in Russian] http://www.jip.ru/2004/127-132.pdf |
| Lyubetsky V., “Fundamentals of elementary mathematics” Recommended as student textbook for universities and teacher"s training colleges, 2004, Iris-press, 625 pages. [in Russian] http://www.ozon.ru/context/detail/id/2194434/ |
| Kusnetsov N., Gelfand M., Lyubetsky V., “Bioinformatics of Bacteria: central issues and model types” International conference “Issues of control and modeling in complex systems”, June 14–17 2004, RAS, pp. 5–11. [in Russian] |
| Lyubetskaya E., Leont'yev L., Shirshin M., Lyubetsky V., “An algorithm to search for complex signals” International conference “Issues of control and modeling in complex systems”, June 14–17 2004, RAS, pp. 158–162. [in Russian] |
| Lyubetsky V., Seliverstov A., “A geometric method of searching for clique in the graph and its application to signal detection” International conference “Issues of control and modeling in complex systems”, June 14–17 2004, RAS, pp. 154–157. [in Russian] |
| Gorbunov K., Lyubetsky V., “A model of biosynthesis regulation” Proceedings of VI International conference “Issues of control and modeling in complex systems”, June 14-17 2004, RAS, pp. 151–153. [in Russian] |
| Lyubetsky V., V'yugin V., “Measuring the Dissimilarity Between Gene and Species Trees, the Quality of a COG”
Proceedings of the Fourth International Conference on Bionnformatics of Genome Regulation and Structure (BGRS’2004), Novosibirsk, July 25–30 2004, V. 2, pp. 281–284. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2004/BGRS_2004_V2_069.pdf |
| Gorbunov K., Lyubetsky V., “A Model of Tryptophan Biosynthesis Regulation”
Proceedings of the Fourth International Conference on Bionnformatics of Genome Regulation and Structure (BGRS’2004), Novosibirsk, July 25–30 2004, V. 2, pp. 53–55. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2004/BGRS_2004_V2_011.pdf |
| Lyubetsky V., Seliverstov A., ”Amino Acid Biosynthesis Attenuation in Bacteria“
Proceedings of the Fourth International Conference on Bionnformatics of Genome Regulation and Structure (BGRS’2004), Novosibirsk, July 25–30 2004, V. 1, pp. 307–310. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2004/BGRS_2004_V1_077.pdf |
| Leont'yev L., Shirshin M., Lyubetsky V., “Detection of Classical Attenuation in Bacterial Genomes”
Proceedings of the Fourth International Conference on Bionnformatics of Genome Regulation and Structure (BGRS’2004), Novosibirsk, July 25–30 2004, V. 1, pp. 116–118. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2004/BGRS_2004_V1_028.pdf |
| Vitreschak A., Lyubetskaya E., Shirshin M., Gelfand M., Lyubetsky V., “Attenuation regulation of amino acid biosynthetic operons in proteobacteria: comparative genomics analysis”
FEMS Microbiological Letters,
2004, 234(2), pp. 357–370.
PMID: 15135544 http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6T2W-4C5VMJK-4&_user=10&_rdoc=1&_fmt=&_ori |
| Kusnetsov N., Lyubetsky V., Chernavsky A., “On the concept of informational interaction, 3: speech intellect” Information Processes, 2004, V. 4, No 2, pp. 117–126. [in Russian] http://www.jip.ru/2004/117-126.pdf |
2003 |
| Kanovei V., Reeken M., Some new results on Borel irreducibility of equivalence relations.
Izvestiya: Mathematics, 2003, 67, 1, pp. 55--76. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=im&paperid=418&option_lang=rus |
| Kanovei V., Lyubetsky V., On some classical problems of descriptive set theory.
Russian Math. Surveys, 2003, 58, 5, pp. 839--927. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=rm&paperid=666&option_lang=rus |
| Kanovei V., Reeken M., A theorem on ROD-hypersmooth equivalence relations
in the Solovay model.
Math. Logic Quarterly, 2003, 49, 3, pp. 299--304.
http://onlinelibrary.wiley.com/doi/10.1002/malq.200310030/abstract |
| Kanovei V., Reeken M., Borel and countably determined
reducibility in nonstandard domain.
Monatshefte fur Mathematik, 2003, 140, 3, pp. 197--231.
doi: 10.1007/s00605-003-0004-y
http://link.springer.com/content/pdf/10.1007%2Fs00605-003-0004-y.pdf |
| Durand B., Kanovei V., Uspensky V.A., Vereshchagin N., Do stronger definitions of randomness exist?
Theor. Comput. Sci., 2003, 290, 3, pp. 1987--1996
http://www.sciencedirect.com/science/article/pii/S0304397502000403 |
| Lyubetskaya E., Leont'yev L., Lyubetsky V., “Algorithm for detecting alternative secondary RNA structures and mass analysis attenuator regulation in proteobacteria” MCCMB’03, 2003, pp. 144–145. |
| Lyubetskaya E., Leont'yev L., Lyubetsky V., Searching for alternative RNA secondary structures in gamma-proteobacteria. Information processes, V. 3, No 1, 2003, p. 23-38. [in Russian] |
| Lyubetskaya E., Leont'yev L., Gelfand M., Lyubetsky V., “Search for Alternative RNA Secondary Structures Regulating Expression of Bacterial Genes” Molecular biology, V. 37, No 5, 2003, p. 707–715. PMID 14593920 |
| Golubtsov P., Lyubetsky V., Informational structure of dynamic games and the information content available to players, Logic research, RAS, 2003, p. 36-47. [in Russian] |
| Kusnetsov N., Lyubetsky V., Chernavsky A., On the concept of informational interaction, 2: pre-psychic level. Information processes, V. 3, No 2, 2003, p. 1-22. [in Russian] http://www.jip.ru/2003/3-2-2003.htm |
| Kanovey V., Lyubetsky V., “On some classical problems of descriptive set theory” Russian mathematical surveys (Uspekhi matematicheskih nauk), V. 58, No 5, 2003, p. 839-927. |
| Lyubetsky V., V'yugin V., “Complex phylogenetic analysis of evolutionary history for prokaryotes families” MCCMB’03, 2003, pp. 146–147. |
| Gorbunov K., Lyubetsky V., “Detecting common secondary structures in a set of RNA sequences and its testing” MCCMB’03, 2003, pp. 83–85. |
| Danilova L., Lyubetsky V., Laikova O., “Computer detecting of glycerol-3-phosphate metabolism regulation in proteobacterial genomes” MCCMB’03, 2003, pp. 52–53. |
| Gelfand M., Lyubetsky V., DNA: from molecules toward genomes, from biochemical breakthroughs toward algorithmic analysis. Proceedings of the RAS (Vestnik RAN), No 11, 2003, p. 963-970. [in Russian] |
| Kanovey V., Lyubetsky V., Classic problems of descriptive set theory, Proceedings of IV international Smirnov conference, RAS, Moscow, 2003, p. 32-34. [in Russian] |
| Golubtsov P., Lyubetsky V., The result of an information process depends on the nature and content of information available to its participants. International conference of RAS, Samara, 2003, p. 445-453. [in Russian] |
| Gorbunov K., Lyubetsky V., Mironov A., “Search for Conserved Secondary Structures of RNA” Molecular biology, V. 37, No 5, 2003, p. 723-732. PMID 14593922 |
| Kusnetsov N., Lyubetsky V., Chernavsky A., On the concept of informational interaction, 1: pre-psychic level. Information processes, V. 3, No 1, 2003, p. 1-22. [in Russian] |
| Lyubetsky V., Gorbunov K., Searching for alternative RNA secondary structures. Information processes, V. 3, No 1, 2003, p. 47-60. [in Russian] |
| Danilova L., Gelfand M., Lyubetsky V., Laikova O., “Computer-Assisted Analysis of Regulation of the Glycerol-3-Phosphate Metabolism in Genomes of Proteobacteria” Molecular Biology, V. 37, No 5, 2003, ññ. 716–722. PMID 14593921 |
| V'yugin V., Gelfand M., Lyubetsky V., “Identification of Horizontal Gene Transfer from Phylogenetic Gene Trees” Molecular biology, V. 37, No 4, 2003, p. 571-584. PMID 12942641 |
| Danilova L., Lyubetsky V., Gelfand M., “An algorithm for identification of regulatory signals in unaligned DNA sequences, its testing and parallel implementation”
In Silico Biology,
V. 3, No 1,2, 2003, pp. 33–47.
PMID 12762844 http://www.bioinfo.de/isb/2003/03/0004 |
| Lyubetsky V., V'yugin V., “Methods of horizontal gene transfer determination using phylogenetic data”
In Silico Biology,
V. 3, No 1,2, 2003, pp. 17–31.
PMID 12762843 http://www.bioinfo.de/isb/2003/03/0003 |
| Golubtsov P., Lyubetsky V., Stochastic dynamic games with information of various type. Information transmission problems, 2003, V 39, issue 3, p. 40-71. [in Russian] |
| Lyubetsky V., Seliverstov A., Some algorithms related to finite groups, Information processes, V 3, No 1, 2003, p. 39-46. [in Russian] http://www.jip.ru/2003/LS%2039-46.pdf |
2002 |
| Brieskorn E., Chatterji S.D., Epple M., Felgner U., Herrlich H., Husek M., Kanovei V., et al., editors ., Felix Hausdorff.
Gesammelte Werke, Band II: Grundzuege der Mengenlehre.
Berlin: Springer, 2002, xviii+883 pp.,
Monograph ISBN: 3-540-42224-2.
http://iitp.ru/https://books.google.ru/books/about/Felix_Hausdorff_Gesammelte_Werke_Band_II.html?id=3nth_p-6DpcC&re |
| Brieskorn E., Chatterji S.D., Epple M., Felgner U., Herrlich H., Husek M., Kanovei V., et al., Anmerkungen der Herausgeber.
In: Felix Hausdorf,
Gesammelte Werke, Band II: Grundzuege der Mengenlehre,
Berlin: Springer, 2002, pp. 577--617. |
| Kanovei V., Koepke P., Deskriptive Mengenlehre in Hausdorffs Grundzuegen der Mengenlehre.
In: Felix Hausdorf,
Gesammelte Werke, Band II:
Grundzuege der Mengenlehre, Springer, 2002, pp. 773--787. http://www.amazon.com/Felix-Hausdorff-Gesammelte-Grundz%C3%BCge-Mengenlehre/dp/3540422242 |
| Merzlyakov N., Rubanov L., Karnaukhov V., Multi-scale image presentation in a digital archive. Proceedings of Second International Conference on Image and Graphics ICIG’2002, 2002, pp.1067-1074. |
| Rubanov L., Merzlyakov N., Karnaukhov V., Osipova N., Strategy of creation of digital archives accessible through the Internet // Proc. of IS&T/SPIE’s 14th Annual Symposium “Electronic Imaging 2002: Science and Technology”, 20-25 January 2002, San Jose, California, USA / Internet Imaging III, G.B. Beretta, R. Schettini (eds.), Proceedings of SPIE, 2002, Vol.4672, p.181-189 |
| Leont'yev L., Lyubetskaya E., Lyubetsky V., Description and performance of a modified algorithm to search for alternative RNA secondary structures. Information processes, 2002, V. 2, No 1, p. 100-105. [in Russian] |
| V'yugin V., Gelfand M., Lyubetsky V., “Tree Reconciliation: Reconstruction of Species Phylogeny by Phylogenetic Gene Trees” Molecular biology, 2002, V. 36, No 5, p. 650-658. PMID 12391844 |
| Lyubetsky V., Rubanov L., “Parallel Algorithm for Searching Regulatory Signal in Bacterial Genome”
Proceedings of the Third International Conference of Bioinformatics of Genome Regulation and Structure (BGRS’2002), Novosibirsk, Russia, July 14-20, 2002, v. 1, p. 24-27. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2002/BGRS_2002_1_005.pdf |
| Gorbunov K., Lyubetsky V., “An Algorithm for Searching for Common Secondary Structures in a Set of RNA Sequences”
Proceedings of The Third International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2002), Novosibirsk, Russia, July 14–20, 2002, V. 3, pp. 20–22. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2002/BGRS_2002_3_004.pdf |
| Lyubetskaya E., Lyubetsky V., “Algorithm for Searching for Alternative Secondary RNA Structures”
Proceedings of The Third International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2002), Novosibirsk, Russia, July 14–20, 2002, V. 3, pp. 14–20. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2002/BGRS_2002_3_002.pdf |
| Lyubetsky V., V'yugin V., “Method of Horizontal Gene Transfer Determination Using Phylogenetic Data”
Proceedings of The Third International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2002), Novosibirsk, Russia, July 14–20, 2002, V. 2, pp. 61–63. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2002/BGRS_2002_2_019.pdf |
| Kusnetsov N., Lyubetsky V., Chernavsky A., On the concept of informational interaction, 3: speech intellect. Proceedings of IV international conference of the RAS «Issues in control and modeling in complex systems», Samara, RAS, 2002, p. 7-17. [in Russian] |
| V'yugin V., Lyubetsky V., Some approaches to detect HGTs with phylogenetic data. Information processes, 2002, V. 2, No 1, p. 120-140. [in Russian] |
| Gorbunov K., Lyubetsky V., An algorithm to search for conservative RNA secondary structures in a database of RNA fragments. Information processes, 2002, V. 2, No 1, p. 55-58. [in Russian] |
2001 |
| Kanovei V., Reeken M., On Ulam stability of the real line.
Unsolved Problems in Mathematics for the 21th Century: A Tribute to Kioshi Iseki"s 80th Birthday,
IOS Press, Amsterdam, 2001, pp. 169--181.
http://books.google.ru/books?id=yHzfbqtVGLIC&pg=PA169&lpg=PA169&dq=Kanovei+On+Ulam+stability+of+the+ |
| Christensen J.R.P., Kanovei V., Reeken M., On Borel orderable groups.
Topology and its Applications, 2001, 109, pp. 285--299.
http://www.sciencedirect.com/science/article/pii/S0166864199001649 |
| Kanovei V., Reeken M., Nonstandard set theory in e-language.
Math. Notes, 2001, 70, 1, pp. 42--45. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=717&option_lang=rus |
| Kanovei V., A version of the Jensen -- Johnsbraten coding at arbitrary level n>3.
Archive for Math. Logic, 2001, 40, 8, pp. 615--628.
http://link.springer.com/article/10.1007/s001530100087 |
| Gorbunov K., Lyubetskaya E., Lyubetsky V., On two algorithms of searching for alternative RNA structures. Information processes, V. 1, No 2, 2001, p. 178-187. [in Russian] |
| Lyubetsky V., “First projective sets, AE-prefix and quantifiers elimination” Abstracts of International conference on Mathematical Logic, Algebra and Set theory dedicated to the 100-th anniversary of P.S. Novikov, August 27–31 2001, Steklov Mathematical Institute RAS, Moscow, 2001, p. 27. |
| Kusnetsov N., Lyubetsky V., Chernavsky A., On the concept of informational interaction, 2: pre-speech intellect. Proceedings of III international conference of the RAS «Issues in control and modeling in complex systems», Samara, RAS, 2001, p. 25-42. [in Russian] |
| Danilova L., Lyubetsky V., An algorithm to detect regulatory signal: testing and biological applications. Proceedings of III international conference of the RAS «Issues in control and modeling in complex systems», Samara, RAS, 2001, p. 632-634. [in Russian] |
| Lyubetsky V., Seliverstov A., A probabilistic algorithm of solving an NP-complete problem, Proceedings of III international conference «Smirnov readings» of RAS, Moscow, 2001, p. 47-49. [in Russian] |
| V'yugin V., Lyubetsky V., An algorithm to detect horizontal gene transfer events with multiple gene trees. Information processes, V. 1, No 2, 2001, p. 167-177. [in Russian] |
| Danilova L., Gorbunov K., Gelfand M., Lyubetsky V., “Algorithm of Regulatory Signal Recognition in DNA Sequences” Molecular Biology, V. 35, No 6, 2001, p. 841-848. PMID 11771146 |
| Gelfand M., V'yugin V., Lyubetsky V., An approach to infer evolutionary species tree from multiple gene data. Information processes, V. 1, No 1, 2001, p. 64-77. [in Russian] |
| Danilova L., Gorbunov K., Gelfand M., Lyubetsky V., An algorithm to detect regulatory signals in DNA sequence data (1). Information processes, V. 1, No 1, 2001, p. 56-63. [in Russian] |
2000 |
| Kanovei V., Linearization of definable order relations.
Annals of Pure and Applied Logic, 2000, 102, 1--2, pp. 69--100. http://www.sciencedirect.com/science/article/pii/S0168007299000135 |
| Kanovei V., Reeken M., Extending standard models of ZFC to models of nonstandard set theories.
Studia Logica, 2000, 64, pp. 37--59. http://link.springer.com/article/10.1023%2FA%3A1005286212737 |
| Kanovei V., Reeken M., On Baire measurable homomorphisms of quotients of the additive group of the reals.
Math. Logic Quarterly, 2000, 46, 3, pp. 377--384.
http://onlinelibrary.wiley.com/doi/10.1002/1521-3870(200008)46:3<377::AID-MALQ377>3.0.CO;2-9/abstrac |
| Kanovei V., Reeken M., A nonstandard set theory in the e-language.
Archive for Math. Logic, 2000, 39, 4, pp. 403--416. http://link.springer.com/article/10.1007%2Fs001530050155 |
| Kanovei V., Reeken M., On Ulam"s problem of stability of non-exact homomorphisms.
Proc. Moscow Steklov Inst. Math., 2000, 231, pp. 238--270.
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=tm&paperid=518&option_lang=rus |
| Kanovei V., Reeken M., New Radon-Nikodym ideals.
Mathematika, 2000, 47, no. 1--2, pp. 219--227.
http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=7015000 |
| Merzlyakov N., Karnaukhov V., Rubanov L., Integration of Image Processing and Database Management Systems. First International Conference on Image and Graphics, August 16-18, Tianjin, China, 2000, p.665-668. |
| Lyubetsky V., Larijani M.J.A., “Topics in Classical and Intuitionistic Model Theory”
Gardariki, Moscow, 2000, 390 pages.
Monograph |
| Vereschagin N., Lyubetsky V., An algorithm of inferring RNA secondary structure. Proceedings of scientific workshop of the Logic Center of RAS, Issue 14, Moscow, RAS Press, 2000, p. 99-109. [in Russian] |
| Gorbunov K., Lyubetsky V., On an algorithm of detecting regulatory signal in sequence data. Logic research. Issue 7, Moscow, Nauka, 2000, p. 159-163. [in Russian] |
| V'yugin V., Gorbunov K., Lyubetsky V., Algorithms of detecting regulatory signal and constructing evolutionary trees. Proceedings of II international conference of the RAS «Issues in control and modeling in complex systems», Samara, 2000, RAS Press, p. 130-137. [in Russian] |
| Kusnetsov N., Lyubetsky V., Chernavsky A., On the concept of informational interaction, 1: pre-psychic bioinformatics. Proceedings of II international conference of the RAS «Issues in control and modeling in complex systems», Samara, 2000, RAS Press, p. 8-20. [in Russian] |
1999 |
| Kanovei V., Non-wellfounded iterations of perfect set forcing.
J. Symbolic Logic, 1999, 64, 2, pp. 551--574. http://www.jstor.org/discover/10.2307/2586484?uid=2129&uid=2&uid=70&uid=4&sid=21102181989303 |
| Kanovei V., Reeken M., A nonstandard proof of the Jordan curve theorem.
Real Analysis Exchange, 1999, 24, 1, pp. 161--170. http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.rae/1300906020 |
| Kanovei V., Reeken M., Special model axiom in nonstandard set theory.
Math. Logic Quarterly, 1999, 45, 3, pp. 371--384 http://onlinelibrary.wiley.com/doi/10.1002/malq.19990450308/abstract |
| Kanovei V., Reeken M., Extension of standard models of ZFC to models of nonstandard Nelson"s set theory IST.
Math. Notes, 1999, 66, 2, pp. 160--166. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=1157&option_lang=rus |
| Kuznetsov N., Lyubetsky V., “Computer Logic in Information Processes” Information transmission problems, RAS, V. 35, issue 2, 1999, p. 107-111. [in Russian] http://mi.mathnet.ru/rus/ppi/v35/i2/p107 |
| Lyubetsky V., “Logic models of informational interaction processes” Proceedings of I international conference of the RAS “Issues in control and modeling in complex systems”, Samara, 1999, p. 133-145. [in Russian] |
1998 |
| Kanovei V., When a partial Borel order is Borel linearizable.
Fundamenta Mathematicae, 1998, 155, 3, pp. 301--309.
http://iitp.ru/https://eudml.org/doc/212258 |
| Kanovei V., Reeken M., Elementary extensions of external classes in a nonstandard universe.
Studia Logica, 1998, 60, 2, pp. 253--273. http://link.springer.com/article/10.1023%2FA%3A1005064032270 |
| Kanovei V., Zapletal J., Pyramidal structure of constructibility degrees.
Math. Notes, 1998, 63, 4, pp. 556--559. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=1325&option_lang=rus |
| Kanovei V., Ulm classification of analytic equivalence relations in generic universes.
Math. Logic Quarterly, 1998, 44, 3, pp. 287--303. http://onlinelibrary.wiley.com/doi/10.1002/malq.19980440302/abstract |
| Kanovei V., On ``star"" schemata of Kossak and Paris,
Logic Colloquium "96,
Lecture Notes in Logic 12, Springer, 1998, pp. 101--114. http://link.springer.com/chapter/10.1007%2F978-3-662-22110-5_4 |
| Karnaukhov V., Miller B., Rubanov L., Merzlyakov N.S., Digital archives of manuscripts and photo-documents: technology and experience. // Proc. of International Conference EVA’98, Moscow 1 5 December 1998, STG, M., 1998, pp.5/1/1–5/1/9. |
| Karnaukhov V., Merzlyakov N.S., Rubanov L., Image processing and storage in digital archives of manuscripts and photo-documents. // Proc. of 5-th Open German-Russian Workshop on Pattern Recognition and Image Understanding (21-25 September 1998, Herrshing, Germany). Sankt Augustin: Infix, 1999. p.176-183. |
1997 |
| Kanovei V., Reeken M., Mathematics in a nonstandard world, I.
Math. Japonica, 1997, vol. 45, 2, pp. 369--408.
http://www.jams.or.jp/notice/mj/45-2.html |
| Kanovei V., Reeken M., Mathematics in a nonstandard world, II.
Math. Japonica, 1997, vol. 45, 3, pp. 555--571.
http://www.jams.or.jp/notice/mj/45-3.html |
| Kanovei V., Non--Glimm--Effros equivalence relations at second projective level.
Fundamenta Mathematicae, 1997, 154, 1, pp. 1--35.
http://iitp.ru/https://eudml.org/doc/212225 |
| Kanovei V., van Lambalgen M., On a Spector ultrapower of Solovay model.
Math. Logic Quarterly, 1997, 43, 2, pp. 389--395.
http://onlinelibrary.wiley.com/doi/10.1002/malq.19970430311/abstract |
| Kanovei V., Two dichotomy theorems on colourability of non-analytic graphs.
Fundamenta Mathematicae, 1997, 154, 2, pp. 183--201.
http://iitp.ru/https://eudml.org/doc/212233 |
| Kanovei V., Reeken M., Isomorphism property in nonstandard extensions of the ZFC universe.
Annals of Pure and Applied Logic, 1997, 88, pp. 1--25. http://www.sciencedirect.com/science/article/pii/S0168007297000110 |
| Kanovei V., An Ulm--type classification theorem for equivalence relations in Solovay model.
J. Symbolic Logic, 1997, 62, 4, pp. 1333--1351. http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.jsl/1183745385 |
| Lyubetsky V., “Transfer theorems and the algebra of modal operators”
Algebra and Logic,
1997, Vol. 36, No. 3, pp. 169–181. http://www.springerlink.com/content/t6335872j077x161/ |
1996 |
| Kanovei V., Reeken M., Loeb measure from the point of view of coin flipping game.
Math. Logic Quarterly, 1996, 42, 1, pp. 19--26.
http://dx.doi.org/10.1002/malq.19960420103 |
| Kanovei V., Reeken M., Internal approach to external sets and universes. 3. Partially saturated universes.
Studia Logica, 1996, 56, 3, pp. 293--322.
http://link.springer.com/article/10.1007%2FBF00372770 |
| Kanovei V., On external Scott algebras in nonstandard models of Peano arithmetic.
J. Symbolic Logic, 1996, 61, 2, pp. 586--608. http://www.jstor.org/discover/10.2307/2275677?uid=2129&uid=2&uid=70&uid=4&sid=21102182737583 |
| Kanovei V., Reeken M., Summation of divergent series from the nonstandard point of view.
Real Analysis Exchange, 1996, 21, 2, pp. 453--477. http://projecteuclid.org/DPubS?verb=Display&version=1.0&service=UI&handle=euclid.rae/1339694079&page |
| Kanovei V., Topologies generated by effectively Suslin sets
and their applications in descriptive set theory.
Russian Math. Surveys, 1996, 51, No.3, pp. 385--417. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=rm&paperid=968&option_lang=rus |
| Lyubetsky V., “On Some Applications of the Semantic Evaluation Method” Problems of Information Transmission, 1996, 32:3, pp. 290–302. http://mi.mathnet.ru/rus/ppi/v32/i3/p82 |
1995 |
| Kanovei V., Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic.
J. Symbolic Logic, 1995, 60, 1, pp. 318--324.
http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.jsl/1183744692 |
| Kanovei V., Reeken M., Internal approach to external sets and universes. 1. Bounded set theory.
Studia Logica, 1995, 55, 2, pp. 229--257. http://link.springer.com/article/10.1007%2FBF01061236 |
| Kanovei V., Reeken M., Internal approach to external sets and universes. 2. External universes over the BST universe.
Studia Logica, 1995, 55, 3, pp. 347--376. http://link.springer.com/article/10.1007%2FBF01057803 |
1994 |
| Kanovei V., A course on Foundations of Nonstandard Analysis,
IPM Lecture Notes Series 1, 1994, 149 pp. Monograph
http://math.ipm.ac.ir/publications/pic_books/course_large.jpg |
1993 |
| Lyubetsky V., “On One Approach to Modelling Intelligent Systems” Problems of Information Transmission, 1993, 29:3, pp. 295–297. http://mi.mathnet.ru/rus/ppi/v29/i3/p107 |
1992 |
| Kanovei V., On the extension principle in internal set theory.
Siberian Math. J., 1992, 33, 6, pp. 999--1010. http://mi.mathnet.ru/smj1717 |
| Lyubetsky V., “Heyting-Valued Analysis: P. S. Novikov’s Hypotheses”
Contemporary Mathematics,
1993, V. 131, Pt. 3, PP. 565–583. |
1991 |
| Kanovei V., The cardinality of the set of Vitali equivalence classes.
Math. Notes, 1991, 49, 4, pp. 370--374. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=2934&option_lang=rus |
| Kanovei V., Undecidable hypotheses in Edward Nelson"s internal set theory.
Russian Math. Surveys,1991, 46: 6, pp. 1--54 http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=rm&paperid=4674&option_lang=rus |
| Lyubetsky V., “Transfer from deducibility in the classical set theory to deducibility in intuitionistic set theory for the language of rings”
Algebra and Logic,
1991, Vol. 30, No. 6, pp. 427–439. http://www.springerlink.com/content/v7n82v773n44h430/ |
| Lyubetsky V., “Intuitionistic theory of algebraic systems and heyting-valid analysis”
Algebra and Logic,
1991, Vol. 30, No. 3, pp. 208– 216. http://www.springerlink.com/content/q8056m2630165072/ |
1990 |
| Kanovei V., Bounded sets in Edvard Nelson"s internal set theory.
Nonstandard analysis. 3rd USSR seminar. Saratov, 1990, pp. 15--23. |
| Lyubetsky V., “Model-completeness of a theory and evaluation of formulas”
Algebra and Logic,
1990, Vol. 29, No. 1, pp. 10–22. http://www.springerlink.com/content/jw471283h3tqh831/ |
1989 |
| Kanovei V., On separability of external sets.
Mathematical conference dedicated to the memory of M. Ya. Suslin,
Saratov, 1989, pp. 38--45. |
| Lyubetsky V., “Valuations and sheaves. On some questions of non-standard analysis”
Russian Mathematical Surveys,
1989, Vol. 44, No. 4, pp. 37–113. http://mi.mathnet.ru/rus/umn/v44/i4/p99 |
1988 |
| Kanovei V., The correctness of Euler"s method for the factorization of the sine function into an infinite product.
Russian Math. Surveys, 1988, 43, 4, pp. 65--94. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=rm&paperid=1834&option_lang=rus |
| Kanovei V., Kolmogorov"s ideas in the theory of operations on sets.
Russian Math. Surveys, 1988, 43, 6, pp. 111--155. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=rm&paperid=2048&option_lang=rus |
| Kanovei V., Uspensky V.A., M.Ya.Souslin"s contribution to set-theoretic mathematics.
Moscow Univ. Math. Bull., 1988, 43, 5, pp. 29--40. http://iitp.ru/https://istina.msu.ru/publications/article/93856823/ |
| Grishin V., Kanovei V., On work in descriptive set theory carried out at the Mathematical Institute of the Academy of Sciences.
Proc. Steklov Inst. Math., 1990, Issue 1, pp. 245--265. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=tm&paperid=1926&option_lang=rus |
| Lyubetsky V., “On some applications of Heyting-valued analysis II”
Article in the book COLOG-88, Lecture Notes in Computer Science, Vol. 417, Springer, 1990, P. 122–145, Proceedings of the International Conference on Computer Logic, Tallinn, USSR, December 12–16 1988 |
1987 |
| Kanovei V., N.N.Luzin"s problems on the existence of CA sets without perfect subsets.
Math. Notes, 1987, 41, pp. 422--426. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=4915&option_lang=rus |
| Kanovei V., ``Nonstandard"" construction of power series.
In: V. A. Uspensky, What is the nonstandard analysis, M.: Nauka, 1987, pp. 121--124.
|
1985 |
| Kanovei V., Some problems of descriptive set theory and type theory.
Abstract of D.Sc. thesis in physics and mathematics.
ÌÈÀÍ èì. Â.À.Ñòåêëîâà, 1985, 18 ñ. http://lpcs.math.msu.su/~zolin/phd/#1985 |
| Kanovei V., Problem of the existence of nonborel AF_II sets.
Math. Notes, 1985, 37, pp. 156--161 http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=5305&option_lang=rus |
| Kanovei V., Development of descriptive set theory under the influence of N.N.Luzin"s work.
Russian Math. Surveys, 1985, 40, 3, pp. 135--180. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=rm&paperid=2649&option_lang=rus |
| Kanovei V., The axiom of determinacy and the modern development of descriptive set theory.
J. Soviet Math., 1988, 40, 3, pp. 257--287. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=inta&paperid=109&option_lang=rus |
1984 |
| Uspensky V.A., Kanovei V., N.N. Luzin, an outstanding mathematician and teacher.
Vestnik Akademii Nauk SSSR, 1984, 11, pp. 95--102. (Russian.) |
| Kanovei V., Undecidable and decidable properties of constituents.
Math. USSR Sbornik, 1985, 52, 2, pp. 491--519. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=sm&paperid=2064&option_lang=rus |
| Kanovei V., The axiom of choice and the axiom of determinateness. Moscow, Nauka, 1984, 63 pp.
Monograph http://iitp.ru/https://zbmath.org/?q=an%3A0599.03053 |
1983 |
| Kanovei V., Some problems of descriptive set theory and definability in the theory of types.
Studies in nonclassical logic and formal systems,
work collect.,
Moscow, 1983, pp. 21--81 |
| Kanovei V., The structure of constituents of CA sets.
Siberian Math. J., 1983, 24, 2, pp. 198--215. |
| Kanovei V., Generalization of P.S.Novikov"s theorem on the crossections of Borel sets.
Math. Notes, 1983, 33, 2, pp. 144--146 http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=5681&option_lang=rus |
| Kanovei V., An answer on N. N. Luzin"s question about the separability of CA curves.
Math. Notes, 1983, 33, 3, pp. 223--224. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=10095&option_lang=rus |
| Kanovei V., Uspensky V.A., Luzin"s problems on constituents and their fate.
Moscow Univ. Math. Bull.
1983, 38, 6, pp. 86--102 http://iitp.ru/https://istina.msu.ru/publications/article/93856782/ |
1982 |
| Kanovei V., On N.N. Luzin"s problems on the embeddability and decomposability of projective sets.
Math. Notes, 1982, 32, pp. 494--499. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=6055&option_lang=rus |
| Kanovei V., Projective hierarchy of N.N. Luzin: the current state of the theory.
Appendix to the Russian translation of
Handbook of Mathematical Logic, part 2: Set Theory, Moscow, Nauka,1982,
pp. 273--364. |
1981 |
| Kanovei V., On uncountable sequences of sets given by the sieve operation,
Soviet Math. Dokl., 1981, 23, 2, pp. 352--356. http://mi.mathnet.ru/dan44352 |
| Kanovei V., Ostrovsky A.V., On non-Borel F_II sets,
Soviet Math. Dokl., 1981, 24, 2, pp. 386--389. http://mi.mathnet.ru/dan44783 |
| Kanovei V., Theory of Zermelo without the power set axiom and the theory of Zermelo -- Fraenkel without the power set axiom are relatively
consistent,
Math. Notes, 1981, 30, 3, pp. 695--702. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=6204&option_lang=rus |
1980 |
| Kanovei V., On some problems of descriptive set theory and the connection between constructibility and definability.
Soviet Math. Dokl., 1980, 22, 1, pp. 163 - 167. http://mi.mathnet.ru/dan43771 |
1979 |
| Kanovei V., On the definability of forcing in analysis.
Moscow Univ. Math. Bull, 1979, 34, 2, pp. 3--13. |
| Kanovei V., On descriptive forms of the countable axiom of choice.
Studies in nonclassical logic and set theory, work collect., Moscow, 1979, pp. 3--136. |
| Kanovei V., The set of all analytically definable sets of natural numbers can be defined analytically.
Math. USSR Izv., 1980, 15, pp. 469--500.
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=im&paperid=1755&option_lang=rus |
| Kanovei V., A consequence of the Martin Axiom.
Math. Notes, 1980, 26, pp. 549--553.
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=8384&option_lang=rus |
1978 |
| Kanovei V., The significance of the parameters and of the complexity of the basic formula in the comprehension schema for second order
arithmetic.
Soviet Math. Dokl. 1978, 19, pp. 1556--1559.
http://mi.mathnet.ru/dan42219 |
| Kanovei V., Proof of a theorem of N.N. Luzin.
Math. Notes, 1978, 23, pp. 35--37.
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=8119&option_lang=rus |
| Kanovei V., The optimal strategy of distribution of resources in planning of railroad cargo transportation.
Collected works of high school, 597,
Moscow Transport Engineering Institute, 1978, pp. 86--107. |
| Kanovei V., On the nonemptiness of classes in axiomatic set theory.
Math USSR Izv., 1978, 12, pp. 507--535.
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=im&paperid=1779&option_lang=rus |
1976 |
| Kanovei V., Definability using the degrees of constructibility.
Studies in set theory and non-classical logic, work collect.,
M., Nauka, 1976, pp. 5--95.
http://www.logic-books.info/node/383 |
| Kanovei V., Consistency of some propositiona of descriptive set theory which express the existence of objects with paradoxical properties.
Abstract of Ph.D. thesis in physics and mathematics,
ÌÃÓ, 1976, 16 ñ.
http://iitp.ru/https://search.rsl.ru/ru/record/01006983244 |
1975 |
| Kanovei V., The majorization of initial segments of degrees of constructibility.
Math. Notes, 1975, 5--6, pp. 563--567.
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=7614&option_lang=rus |
| Kanovei V., The independence of some propositions of descriptive set theory and second order arithmetic.
Soviet Math. Dokl, 1975, 16, 4, pp. 937--940. http://mi.mathnet.ru/dan39167 |
1974 |
| Kanovei V., On degrees of constructibility and descriptive properties of the set of real numbers in the initial model and in its extensions.
Soviet Math. Dokl, 1974, 15, 3, pp. 866--868.
http://mi.mathnet.ru/dan38331 |
1973 |
| Kanovei V., The problem of singular cardinals.
Math. Notes, 1973, 13, pp. 429--433. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=7176&option_lang=rus |