Publications

2017

Kanovei V., Katz M., Lobry C., Fletcher P., Hrbacek K., Approaches to analysis with infinitesimals following Robinson, Nelson, and others. Real Analysis Exchange, 2017, to appear.
Kanovei V., Lyubetsky V., Countable OD sets of reals belong to the ground model, Archive for Mathematical Logic, 2017, submitted
Kanovei V., Katz M., A positive function with vanishing Lebesgue integral in ZF. Mathematical Intelligencer, 2017, submitted.
Bascelli T., Blaszczyk P., Kanovei V., Katz K., Katz M., Kutateladze S., Nowik T., Sherry D., Schaps D., Gregory"s sixth operation, Foundations of Science, 2017, to appear
Herzberg F., Kanovei V., Katz M., Lyubetsky V., Minimally definable hyperreals with transfer, Journal of symbolic logic, 2017, submitted.
Kanovei V., Lyubetsky V., Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes, Russian Mathematics, Izvestiya, 2017, to appear.
Kanovei V., Lyubetsky V., A definable countable set not containing definable elements, Mathematical notes, 2017, submitted.
Golshani M., Kanovei V., Lyubetsky V., A Groszek -- Laver pair of undistinguishable $E_0$ classes. Mathematical Logic Quarterly, 2017, to appear. http://math.ipm.ac.ir/~golshani/Papers/A Groszek-Laver pair of undistinguishable E0 classes.pdf

2016

Kanovei V., Lyubetsky V., A generic property of Solovay"s set Σ. November 2016, arXiv:1611.00176 [math.LO], pp. 1-4. 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 216, 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. P. 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, 17:40, 23 p. DOI: 10.1186/s12859-016-0878-z 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. September 2016, arXiv:1609.01032 [math.LO], pp. 1-12. http://arxiv.org/abs/1609.01032
Błaszczyk P., Borovik A., Kanovei V., Katz M., Kudryk T., Kutateladze S., Sherry D., A Non-Standard Analysis of a Cultural Icon: The Case of Paul Halmos. Logica Universalis, 2016, 10, pp. 393-405. http://link.springer.com/article/10.1007/s11787-016-0153-0?wt_mc=Internal.Event.1.SEM.ArticleAuthorO
Blaszczyk P., Kanovei V., Katz M., Kutateladze S., Sherry D., Toward a history of mathematics focused on procedures, Foundations Of Science, 2016, First Online 21 September 2016, DOI: 10.1007/s10699-016-9498-3 http://link.springer.com/article/10.1007/s10699-016-9498-3
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, 11:20. 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 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
Blaszczyk Piotr, Kanovei V., U. Katz Karin, G. Katz Mikhail, Kudryk Taras, Normann Thomas, Sherry David, Is Leibnizian calculus embeddable in first order logic? Foundations of Science, First Online: 22 June 2016, DOI: 10.1007/s10699-016-9495-6 http://link.springer.com/article/10.1007%2Fs10699-016-9495-6
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
Zverkóv O., Seliverstov A., Lyubetsky V., “Regulation of Expression and Evolution of Genes in Plastids of Rhodophytic Branch” Life 2016, 6:7. PMID: 26840333 http://www.mdpi.com/2075-1729/6/1/7/htm
Bair J., Blaszczyk P., Ely R., Henry V., Kanovei V., Katz K., Katz M., Kutateladze, et al. S., Interpreting the infinitesimal mathematics of Leibniz and Euler, Journal of General Philosophy of Science, First Online: 19 July 2016 DOI: 10.1007/s10838-016-9334-z http://link.springer.com/article/10.1007/s10838-016-9334-z
Kanovei V., Lyubetsky V., Counterexamples to countable-section $Pi^1_2$ uniformization and $Pi^1_3$ separation. Annals of Pure and Applied Logic, 2016, 167, 3, pp. 262–283. 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. 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., Schaps D., Sherry D., 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. http://www.journals.uchicago.edu/doi/10.1086/685645

2015

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
Blazczyk P., Kanovei V., Katz M., Sherry D., Controversies on foundations of analysis: comments on Schubring’s conflicts. Foundations of Science, First online: 24 December 2015 http://link.springer.com/article/10.1007/s10699-015-9473-4?wt_mc=internal.event.1.SEM.ArticleAuthorO
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, 6 pages. 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, 5 pages. 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. 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 University of Karaganda. Ser. Mathematics, 2015, no. 1 (77), p. 47–55 (in Russian). 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. http://dx.doi.org/10.1007/s00283-015-9565-6
Kanovei V., Lyubetsky V., A definable $E_0$ class containing no definable elements, Archive for Mathematical Logic, 2015, 54, 5, pp. 711--723. 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
Kanovei V., Katz Ê., Katz M., Schaps D., Proofs and retributions, Foundations of Science, 2015, 20, 1, pp 1-25. 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. 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
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://www.collegepublications.co.uk/tributes/?00023
Bascelli T., Kanovei V., Katz K., Katz M., Nowik T., Sherry D., 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. 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, Vol. 2013 (2013), Article ID 413450, 6 p. 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. 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. 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.
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. 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 (Moscow), 2012, Vol. 46, No. 5, P. 717-726.
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. 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” Molecular Phylogenetics: Contributions to the 3rd Moscow International Conference “Molecular Phylogenetics” (MolPhy-3), Moscow, Russia, July 31 – August 4, 2012, (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
Lopatovskaya K., 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
Lopatovskaya K., 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.
Lopatovskaya K., 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. 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.
Lopatovskaya K., 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.
Lopatovskaya K., 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 StructureSystems Biology (BGRSSB’2010), Novosibirsk, Russia, 20-27 June 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
Lopatovskaya K., 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
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/
Lopatovskaya K., 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., Kazakov A., 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., Lopatovskaya K., “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.
Lopatovskaya K., 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.
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
Lopatovskaya K., 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, Studies in constructive mathematics and mathematical logic. Part XI, Zapiski Nauchnyh Seminarov POMI, Vol. 358, St.Petersburg, POMI, 2008, pp. 189–198. 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 International Moscow Conference on Computational Molecular Biology: ÌÑÑÌÂ’07, 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://bookos.org/book/727242/dc8861
Seliverstov A., Zverkóv O., Lyubetsky V., “Translation of Some Chloroplast Genes Is Checked to Allow for Splicing and Editing” Biophysics, 2006, V. 51, Suppl. 1, pp. 18–22. (The supplement is published only in English by Pleiades Publishing, Inc.) 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://www.aslonline.org/books-lnl_17.html
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. 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.
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
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/abstract 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
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

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.
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 ñ.
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://math-portal.ru/problnaykitehprogr/

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

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.
Kanovei V., Ostrovsky A.V., On non-Borel F_II sets, Soviet Math. Dokl., 1981, 24, 2, pp. 386--389.
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.

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.
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 ñ.

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.

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.

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