|
![](/images/news.gif) |
2017 year Authors: Fletcher P., Hrbacek K., Kanovei V., Katz M., Lobry C., Sanders S.Approaches to analysis with infinitesimals following Robinson, Nelson, and others.
Real Analysis Exchange, 2017, 42, 2, pp. 193-252.
DOI: 10.14321/realanalexch.41.1.0193
SCIMAGO, Q3 Go to publication |
![](/images/news.gif) |
2017 year Authors: Kanovei V., Katz M.A positive function with vanishing Lebesgue integral in Zermelo -- Fraenkel set theory.
Real Analysis Exchange, 2017, 42, no. 2, 385-390.
DOI: 10.14321/realanalexch.42.2.0385
SCIMAGO, Q3 Go to publication |
![](/images/news.gif) |
2017 year Authors: Blaszczyk P., Kanovei V., Katz M., et al.Toward a history of mathematics focused on procedures,
Foundations Of Science,
2017, 22, Issue 4, pp 763–783,
DOI:
10.1007/s10699-016-9498-3 .
WoS Q2
Go to publication |
![](/images/news.gif) |
2017 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, 2017, 22, Issue 4, pp 717–731.
DOI:
10.1007/s10699-016-9495-6 .
WoS Q2
Go to publication |
![](/images/news.gif) |
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 for General Philosophy of Science, 2017, 48, issue 2, pp, 195--238.
DOI: 10.1007/s10838-016-9334-z .
SCOPUS Q2 Go to publication |
![](/images/news.gif) |
2017 year Authors: Kanovei V., Lyubetsky V.A countable definable set containing no definable elements.
Mathematical Notes,
2017, Vol. 102, Iss. 3–4, P. 338–349.
doi:10.1134/S0001434617090048 Go to publication |
![](/images/news.gif) |
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. 125--140.
DOI:
10.1007/s10699-015-9473-4 .
WoS Q2 Go to publication |
![](/images/news.gif) |
2017 year Authors: Golshani M., Kanovei V., Lyubetsky V.A Groszek-Laver pair of undistinguishable E0-classes.
Mathematical Logic Quarterly,
2017, Vol. 63, No. 1–2, P. 19–31.
doi:10.1002/malq.201500020 Go to publication |
![](/images/news.gif) |
2016 year Authors: Golshani M., Kanovei V., Lyubetsky V.A Groszek-Laver pair of undistinguishable E0 classes.
arXiv:1601.03477 [math.LO], Jan 14 2016, 18 pp. Go to publication |
![](/images/news.gif) |
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 (CEUR-WS.org), Selected Papers of the First International Scientific Conference Convergent Cognitive Information Technologies (Convergent 2016), Moscow, Russia, November 25–26 2016, vol. 1763, p. 182–187, in Russian.
|
![](/images/news.gif) |
2016 year Authors: Lyubetsky V., Piel W., Stadler P.Molecular Phylogenetics 2016.
BioMed Research International,
2016, vol. 2016, Article ID 9029306.
DOI: 10.1155/2016/9029306, PMID: 28127550 Go to publication |
![](/images/news.gif) |
2016 year Authors: Gorbunov K., Lyubetsky V.A modified algorithm for transformation of chromosomal structures: a condition of absolute exactness.
CEUR Workshop Proceedings (CEUR-WS.org), Selected Papers of the First International Scientific Conference Convergent Cognitive Information Technologies (Convergent 2016), Moscow, Russia, November 25–26 2016, vol. 1763, p. 162–172, in Russian.
|
![](/images/news.gif) |
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.
DOI: 10.1134/S1064226916060152
|
![](/images/news.gif) |
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, art. 385, 16 pp.
DOI: 10.1186/s12859-016-1257-5, PMID: 27645252 Go to publication |
![](/images/news.gif) |
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. 59-66 (in Russian) Download (276.9 KB) |
![](/images/news.gif) |
2016 year Authors: Kanovei V., Lyubetsky V.A generic property of Solovay"s set Σ.
arXiv:1611.00176 [math.LO], November 2016, 4 pp. Go to publication |
![](/images/news.gif) |
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. 1-3. Go to publication |
![](/images/news.gif) |
2016 year Authors: Rubanov L., Seliverstov A.Projective-Invariant Description of Meandering River. Information processes. 2016. Vol. 16, no. 3, pp. 281-290 (in Russian) Go to publication Download (167 KB) |
![](/images/news.gif) |
2016 year Authors: Lyubetsky V., Gershgorin R., Seliverstov A., Gorbunov K.Algorithms for Reconstruction of Chromosomal Structures.
BMC Bioinformatics,
2016, vol. 17, art. 40, 23 pp.
DOI: 10.1186/s12859-016-0878-z, PMID: 26780836 Go to publication |
![](/images/news.gif) |
2016 year Authors: 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). Go to publication |
![](/images/news.gif) |
2016 year Authors: Kanovei V., Lyubetsky V.Countable OD sets of reals belong to the ground model.
arXiv:1609.01032 [math.LO], September 2016, 12 pp. Go to publication |
![](/images/news.gif) |
2016 year Authors: Błaszczyk P., Borovik A., Kanovei V., Katz M., et al.A Non-Standard Analysis of a Cultural Icon: The Case of Paul Halmos.
Logica Universalis,
2016, 10, pp. 393-405.
DOI
10.1007/s11787-016-0153-0
SCOPUS Q3 Go to publication |
![](/images/news.gif) |
2016 year Authors: 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. Go to publication Download (88.5 KB) |
![](/images/news.gif) |
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, art. 20.
DOI: 10.1186/s13062-016-0123-8, PMID: 27084079
(WoS Q1, IF 7) Go to publication |
![](/images/news.gif) |
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.
DOI:
10.1007/s40509-016-0074-x Go to publication |
![](/images/news.gif) |
2016 year Authors: Kanovei V.OD elements of countable OD sets in the Solovay model.
March 2016, arXiv:1603.04237 [math.LO], pp. 1-20. Go to publication |
![](/images/news.gif) |
2016 year Authors: 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 Go to publication |
![](/images/news.gif) |
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, art. 7.
DOI: 10.3390/life6010007, PMID: 26840333 Go to publication |
![](/images/news.gif) |
2016 year Authors: Kanovei V., Lyubetsky V.Counterexamples to countable-section
Π12 uniformization and Π13 separation.
Annals of Pure and Applied Logic, 2016, 167, 3, pp. 262–283.
DOI: 10.1016/j.apal.2015.12.002
(WoS Q1) Go to publication |
![](/images/news.gif) |
2016 year Authors: Kanovei V., Lyubetsky V.On countable cofinality and decomposition of definable thin orderings.
Fundamenta mathematicae, 2016, 235, no 1, pp. 13-36.
DOI: 10.4064/fm977-10-2015 Go to publication |
![](/images/news.gif) |
2016 year Authors: Bascelli T., Blaszczyk P., Kanovei V., Katz K., Katz M., et al.Leibniz vs Ishiguro: closing a quarter-century of syncategoremania.
The Journal of the International Society for the History of Philosophy of Science,
2016, 6, no 1, pp. 117 -- 147.
DOI: 10.1086/685645 Go to publication |
![](/images/news.gif) |
2015 year Authors: Lyubetsky V., Rubanov L., Bairamov A., Shandarin I., Ivanova A., Rusin L., Zverkóv O., Seliverstov A., Zaraisky A.A large-scale search for gene losses, gains and syntenic rearrangements in vertebrate animals.
Materials of the VIII Moscow International Congress “Biotechnology: State of the Art and Prospects of Development”, Moscow, March 17–20 2015, Part 1, P. 260–261. Go to publication |
![](/images/news.gif) |
2015 year Authors: Gershgorin R., Gorbunov K., Seliverstov A., Lyubetsky V.Evolution of chromosome structures.
Proceedings of the 39th IITP RAS Interdisciplinary Conference & School “Information Technology and Systems 2015” (ITaS’15),
Sochi, Russia, Sep 7–11 2005, Moscow: IITP, 2015, P. 105–120. Go to publication |
![](/images/news.gif) |
2015 year Authors: Korolev S., Lyzhin S., Zverkóv O., Seliverstov A., Lyubetsky V.A search for genes encoding histidine-containing leader peptides in Actinobacteria.
Proceedings of the 39th IITP RAS Interdisciplinary Conference & School “Information Technology and Systems 2015” (ITaS’15),
Sochi, Russia, Sep 7–11 2005, Moscow: IITP, 2015, P. 53–60. Go to publication |
![](/images/news.gif) |
2015 year Authors: Lyubetsky V., Rubanov L., Zverkóv O., Rusin L., Seliverstov A., Zaraisky A.A method of detecting local gene synteny rearrangement.
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’15,
Moscow, July 16–19 2015, Moscow, IITP RAS, 2015, P. 249–252. Go to publication |
![](/images/news.gif) |
2015 year Authors: Lyubetsky V.Molecular Phylogenetics 2014.
BioMed Research International,
2015, vol. 2015, Article ID 919251.
DOI: 10.1155/2015/919251 Go to publication |
|
|
|
|