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

2016 year

Authors: 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, 2016, to appear

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

Minimally definable hyperreals with transfer, Journal of symbolic logic, submitted.

2016 year

Authors: 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, First online: 06 July 2016. Go to publication

2016 year

Authors: 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 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 (206 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

Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes, Russian Mathematics, Izvestiya, under consideration.

2016 year

Authors: 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, 2016, vol. 21, no 2, . 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

“Regulation of Expression and Evolution of Genes in Plastids of Rhodophytic Branch”
Life 2016, 6:7. PMID: 26840333 Go to publication

2016 year

Authors: 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, 2016, First online: 19 July 2016. Go to publication

A definable countable set not containing definable elements, Mathematical notes, under consideration.

2016 year

Authors: Blazczyk P., Kanovei V., Katz M., Sherry D.

Controversies on foundations of analysis: comments on Schubring’s conflicts.
Foundations of Science, 2016, to appear. First online: 24 December 2015,
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., 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. Go to publication

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

A note on implicitly given hypergraphs, Tambov University Reports. Series: Natural and Technical Sciences, 2015, vol. 20, no. 5, p. 1422–1425 (in Russian). Download (265.2 KB)

On the computational complexity of singular points, Discrete mathematics, algebra and their applications (DIMA-2015). - Minsk, 2015. P. 135-137 (in Russian). Go to publicationDownload (3.3 MB)

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). Go to publicationDownload (177.3 KB)

“Comparative analysis of apicoplast-targeted protein extension lengths in Apicomplexan parasites”
BioMed Research International,
2015, Vol. 2015, Article ID 452958, 6 pages. Go to publication

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

"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). Go to publicationDownload (2.1 MB)

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

"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). Go to publicationDownload (197.4 KB)

Easily Computable Invariants for Hypersurface Recognition, Journal of Communications Technology and Electronics, 2015. Vol. 60. No. 12. P. 1429–1431 Go to publicationDownload (111.4 KB)