Неуниформизуемые множества второго проективного уровня со счетными сечениями в виде классов Витали, Известия РАН, серия математическая, 2018, том 82, принято к печати. Перейти к публикации
Definable E0 classes at arbitrary projective levels. May 2017, arXiv:1705.02975 [math.LO], pp. 1--26. Submitted to
Annals of pure and applied logic. Перейти к публикации
On probabilistic algorithm for solving almost all instances of the set partition problem. In: P. Weil (Ed.) Computer Science – Theory and Applications. CSR 2017. Lecture Notes in Computer Science, vol. 10304. Springer, Cham, 2017. Pp. 285–293. DOI: 10.1007/978-3-319-58747-9_25
Перейти к публикации
An Approach to the Set Partition Problem. International Conference on Polynomial Computer Algebra "2017; St. Petersburg, April 17-22, 2017 / Euler International Mathematical Institute, Ed. by N. N. Vassiliev, VVM Pubishing, 2017. P. 96-99. Перейти к публикацииЗагрузить (7.2 MB)
2017 г.
Авторы: 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, accepted. Перейти к публикации
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. Перейти к публикации
Minimally definable hyperreals with transfer, Journal of symbolic logic, 2017, to appear.
2017 г.
Авторы: 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, 195--238.
DOI: 10.1007/s10838-016-9334-z Перейти к публикации
A Groszek – Laver pair of undistinguishable E0 classes.
Mathematical Logic Quarterly, 2017, 63, No. 1–2, pp. 19–31. doi: 10.1002/malq.201500020. Перейти к публикации
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.
Molecular Phylogenetics 2016.
BioMed Research International, 2016, vol. 2016, Article ID 9029306, 2 pages, DOI: 10.1155/2016/9029306. Перейти к публикации
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.
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.
A method for identification of highly conserved elements and evolutionary analysis of superphylum Alveolata. BMC Bioinformatics. 2016, vol. 17, no. 385, 16 p. Перейти к публикации
Высоко консервативные элементы в митохондриях однодольных растений. Современные информационные технологии и ИТ-образование. 2016. Том 12, №2. С. 211-215.
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. Перейти к публикации
О проверке гладкости гиперповерхности. XII Белорусская математическая конференция: материалы Международной научной конференции. Минск, 5-10 сентября 2016 г. В 5 частях. / Ред. С.Г. Красовский. - Часть 4. - Минск: Институт математики НАН Беларуси, 2016. - С. 64-65. Перейти к публикации
Toward a history of mathematics focused on procedures,
Foundations Of Science,
2016, First Online 21 September 2016, DOI: 10.1007/s10699-016-9498-3 Перейти к публикации
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. Перейти к публикацииЗагрузить (88.5 KB)
Small oscillations of the pendulum, Euler’s method, and adequality,
Quantum Studies: Mathematics and Foundations, 2016, 3, no 3, pp 231–236 Перейти к публикации
OD elements of countable OD sets in the Solovay model. March 2016, arXiv:1603.04237 [math.LO], pp. 1-20. Перейти к публикации
2016 г.
Авторы: 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/s10699-016-9495-6 Перейти к публикации
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 Перейти к публикации
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. Перейти к публикации
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. Перейти к публикации
On countable cofinality and decomposition of definable thin orderings.
Fundamenta mathematicae, 2016, 235, no 1, pp. 13-36. Перейти к публикации
2016 г.
Авторы: 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. Перейти к публикации
Molecular Phylogenetics 2014.
BioMed Research International,
2015, vol. 2015, Article ID 919251, 2 pages,
DOI: 10.1155/2015/919251. Перейти к публикации
