Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes, Russian Mathematics, Izvestiya, 2018, vol. 82, to appear. Go to publication

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. Go to publication

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 Go to publication

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. Go to publicationDownload (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, accepted. Go to publication

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

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, 195--238.
DOI: 10.1007/s10838-016-9334-z Go to publication

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

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. Go to publication

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 pages, DOI: 10.1186/s12859-016-1257-5, PMID: 27645252. Go to publication

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)

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

Projective-Invariant Description of Meandering River. Information processes. 2016. Vol. 16, no. 3, pp. 281-290 (in Russian) Go to publicationDownload (167 KB)

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

Countable OD sets of reals belong to the ground model. September 2016, arXiv:1609.01032 [math.LO], pp. 1-12. Go to publication

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. 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/s10699-016-9498-3 Go to publication

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 publicationDownload (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 Go to publication

OD elements of countable OD sets in the Solovay model. March 2016, arXiv:1603.04237 [math.LO], pp. 1-20. 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/s10699-016-9495-6 Go to publication

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

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

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. Go to publication

On countable cofinality and decomposition of definable thin orderings.
Fundamenta mathematicae, 2016, 235, no 1, pp. 13-36. Go to publication

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. Go to publication