

2018 year Authors: Kanovei V., Lyubetsky V.Nonuniformizable sets of second projective level with countable crosssections in the form of Vitali classes, Russian Mathematics, Izvestiya, 2018, vol. 82, to appear. Go to publication 

2017 year Authors: Seliverstov A.On tangent lines to affine hypersurfaces, Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp"yuternye Nauki, 2017, vol. 27, no. 2, pp. 248256 (in Russian).
DOI: 10.20537/vm170208 Go to publication Download (245.3 KB) 

2017 year Authors: Rubanov L., Seliverstov A.Projectiveinvariant description of a meandering river. Journal of Communications Technology and Electronics, 2017; vol. 62, no. 6, p. 663–668. DOI: 10.1134/S1064226917060201.


2017 year Authors: Kanovei V., Lyubetsky V.Definable E0 classes at arbitrary projective levels. May 2017, arXiv:1705.02975 [math.LO], pp. 126. Submitted to
Annals of pure and applied logic. Go to publication 

2017 year Authors: 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/9783319587479_25 Go to publication 

2017 year Authors: Seliverstov A.On search for singular points of algebraic curve. Geometry and Graphics, 2017, vol. 5, no. 1, pp. 3642 (in Russian).


2017 year Authors: Seliverstov A.An Approach to the Set Partition Problem. International Conference on Polynomial Computer Algebra "2017; St. Petersburg, April 1722, 2017 / Euler International Mathematical Institute, Ed. by N. N. Vassiliev, VVM Pubishing, 2017. P. 9699. Go to publication Download (7.2 MB) 

2017 year Authors: 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, 2017, First Online 27 June 2017,
DOI: 10.1007/s106990179534y. Go to publication 

2017 year Authors: 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, 11 pages,
DOI: 10.3390/life7010009, PMID: 28264444. Go to publication 

2017 year Authors: Kanovei V., Lyubetsky V.The full basis theorem does not imply analytic wellordering. February 2017, arXiv:1702.03566 [math.LO], pp. 163. Go to publication 

2017 year Authors: Kanovei V., Katz M., Lobry C., et al.Approaches to analysis with infinitesimals following Robinson, Nelson, and others.
Real Analysis Exchange, 2017, accepted. Go to publication 

2017 year Authors: Kanovei V., Lyubetsky V.Countable OD sets of reals belong to the ground model, Archive for Mathematical Logic, 2017, First Online 24 June 2017,
DOI: 10.1007/s0015301705690. Go to publication 

2017 year Authors: Kanovei V., Katz M.A positive function with vanishing Lebesgue integral in ZF. Real Analysis Exchange, 2017, 42, no. 2, to appear. Go to publication 

2017 year Authors: Bascelli T., Blaszczyk P., Kanovei V., Katz K., Katz M., et al.Gregory"s sixth operation, Foundations of Science, 2017. First Online 20 December 2016, DOI: 10.1007/s1069901694983 Go to publication 

2017 year Authors: Herzberg F., Kanovei V., Katz M., Lyubetsky V.Minimally definable hyperreals with transfer, Journal of symbolic logic, 2017, to appear.


2017 year Authors: 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 of General Philosophy of Science, 2017, 48, issue 2, pp, 195238.
DOI: 10.1007/s108380169334z Go to publication 

2017 year Authors: Kanovei V., Lyubetsky V.A definable countable set not containing definable elements, Mathematical notes, 2017, 102, no. 3, to appear.


2017 year Authors: 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. 125140. Go to publication 

2017 year Authors: Golshani M., Kanovei V., Lyubetsky V.A Groszek – Laver pair of undistinguishable E_{0} classes.
Mathematical Logic Quarterly, 2017, 63, No. 1–2, pp. 19–31. doi: 10.1002/malq.201500020. Go to publication 

2016 year Authors: Korolev S., Gorbunov K., Zverkóv O., Seliverstov A., Lyubetsky V.Degenerate inverted repeats in the genomes of mycobacterium.
CEUR Workshop Proceedings (CEURWS.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.


2016 year Authors: Lyubetsky V., Piel W., Stadler P.Molecular Phylogenetics 2016.
BioMed Research International, 2016, vol. 2016, Article ID 9029306, 2 pages, DOI: 10.1155/2016/9029306. Go to publication 

2016 year Authors: Gorbunov K., Lyubetsky V.A modified algorithm for transformation of chromosomal structures: a condition of absolute exactness.
CEUR Workshop Proceedings (CEURWS.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.


2016 year Authors: 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.


2016 year Authors: 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, no. 385, 16 pages, DOI: 10.1186/s1285901612575, PMID: 27645252. Go to publication 

2016 year Authors: Seliverstov A.On symmetry of projective curves. Vestnik TvGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics], 2016, no. 3, pp. 5966 (in Russian) Download (276.9 KB) 

2016 year Authors: Kanovei V., Lyubetsky V.A generic property of Solovay"s set Σ. November 2016, arXiv:1611.00176 [math.LO], pp. 14. Go to publication 

2016 year Authors: 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. 13. Go to publication 

2016 year Authors: Rubanov L., Seliverstov A.ProjectiveInvariant Description of Meandering River. Information processes. 2016. Vol. 16, no. 3, pp. 281290 (in Russian) Go to publication Download (167 KB) 

2016 year Authors: Lyubetsky V., Gershgorin R., Seliverstov A., Gorbunov K.Algorithms for Reconstruction of Chromosomal Structures.
BMC Bioinformatics, 2016, vol. 17, no. 40, 23 pages, DOI: 10.1186/s128590160878z, PMID: 26780836. Go to publication 

2016 year Authors: Seliverstov A.On smoothness recognition of the hypersurface. Proceedings of the twelfth International Conference "Belarusian Mathematical Conference", Minsk, September 510, 2016, ed. by S.G. Krasovskii, part 4. Minsk: Institute of Mathematics of the Belarusian National Academy of Sciences, 2016, pp. 6465 (in Russian). Go to publication 

2016 year Authors: Kanovei V., Lyubetsky V.Countable OD sets of reals belong to the ground model. September 2016, arXiv:1609.01032 [math.LO], pp. 112. Go to publication 

2016 year Authors: Błaszczyk P., Borovik A., Kanovei V., Katz M., et al.A NonStandard Analysis of a Cultural Icon: The Case of Paul Halmos.
Logica Universalis,
2016, 10, pp. 393405. Go to publication 

2016 year Authors: Blaszczyk P., Kanovei V., Katz M., et al.Toward a history of mathematics focused on procedures,
Foundations Of Science,
2016, First Online 21 September 2016, DOI: 10.1007/s1069901694983 Go to publication 

2016 year Authors: Seliverstov A.On cubic hypersurfaces with involutions. International Conference Polynomial Computer Algebra "2016; St. Petersburg, April 1822, 2016 / Euler International Mathematical Institute, Ed. by N.N. Vassiliev, VVM Publishing, 2016. pp. 7477. Go to publication Download (88.5 KB) 

2016 year Authors: Korolev S., Zverkóv O., Seliverstov A., Lyubetsky V.Ribosome reinitiation at leader peptides increases translation of bacterial proteins.
Biology Direct, 2016, vol. 11, no. 20, 6 pages, DOI: 10.1186/s1306201601238, PMID: 27084079. Go to publication 

2016 year Authors: 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 Go to publication 

2016 year Authors: Kanovei V.OD elements of countable OD sets in the Solovay model. March 2016, arXiv:1603.04237 [math.LO], pp. 120. Go to publication 

2016 year Authors: Blaszczyk Piotr, Kanovei V., U. Katz Karin, G. Katz Mikhail, et al.Is Leibnizian calculus embeddable in first order logic? Foundations of Science, First Online: 22 June 2016,
DOI: 10.1007/s1069901694956 Go to publication 

2016 year Authors: Kanovei V.Some applications of finitesupport 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/885Some_applications_of_finitesupport_products_of_Jensens_minimal_Delta_31_forcing.pdf Go to publication 

2016 year Authors: Zverkóv O., Seliverstov A., Lyubetsky V.Regulation of Expression and Evolution of Genes in Plastids of Rhodophytic Branch.
Life, 2016, vol. 6, no. 7, 13 pages, DOI: 10.3390/life6010007, PMID: 26840333. Go to publication 

2016 year Authors: Kanovei V., Lyubetsky V.Counterexamples to countablesection $Pi^1_2$ uniformization and $Pi^1_3$ separation. Annals of Pure and Applied Logic, 2016, 167, 3, pp. 262–283. Go to publication 

2016 year Authors: Kanovei V., Lyubetsky V.On countable cofinality and decomposition of definable thin orderings.
Fundamenta mathematicae, 2016, 235, no 1, pp. 1336. Go to publication 

2016 year Authors: Bascelli T., Blaszczyk P., Kanovei V., Katz K., Katz M., et al.Leibniz vs Ishiguro: closing a quartercentury of syncategoremania.
The Journal of the International Society for the History of Philosophy of Science, 2016, 6, no 1, pp. 117  147. Go to publication 

2015 year Authors: Lyubetsky V.Molecular Phylogenetics 2014.
BioMed Research International,
2015, vol. 2015, Article ID 919251, 2 pages,
DOI: 10.1155/2015/919251. Go to publication 



