Enter
Login:
Password:
Forgot your password?
scientific activity
structureeducational projectsperiodicalsstaffpress centercontacts
| english
:    Page: 1 2345 ... 7891011
2017 year
Authors: Kanovei V., Katz M., Lobry C., Fletcher P., Hrbacek K.

Approaches to analysis with infinitesimals following Robinson, Nelson, and others. Real Analysis Exchange, 2017, to appear.

2017 year
Authors: Kanovei V., Lyubetsky V.

Countable OD sets of reals belong to the ground model, Archive for Mathematical Logic, 2017, submitted

2017 year
Authors: Kanovei V., Katz M.

A positive function with vanishing Lebesgue integral in ZF. Mathematical Intelligencer, 2017, submitted.

2017 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, 2017, to appear

2017 year
Authors: Herzberg F., Kanovei V., Katz M., Lyubetsky V.

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

2017 year
Authors: Kanovei V., Lyubetsky V.

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

2017 year
Authors: Kanovei V., Lyubetsky V.

A definable countable set not containing definable elements, Mathematical notes, 2017, submitted.

2017 year
Authors: Golshani M., Kanovei V., Lyubetsky V.

A Groszek -- Laver pair of undistinguishable $E_0$ classes. Mathematical Logic Quarterly, 2017, to appear.
Go to publication

2016 year
Authors: Kanovei V., Lyubetsky V.

A generic property of Solovay"s set Σ. November 2016, arXiv:1611.00176 [math.LO], pp. 1-4.
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 216, arXiv:1607.02880 [math.LO] pp. 1-3.
Go to publication

2016 year
Authors: Rubanov L., Seliverstov A.

Projective-Invariant Description of Meandering River. Information processes. 2016. Vol. 16, no. 3. P. 281-290. (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, 17:40, 23 p. DOI: 10.1186/s12859-016-0878-z
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 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

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

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, 10, pp. 393-405.
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

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 (206 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, 11:20.
Go to publication

2016 year
Authors: Kanovei V., Katz K., Katz M., Nowik T.

Small oscillations of the pendulum, Eulers method, and adequality, Quantum Studies: Mathematics and Foundations, 2016, 3, no 3, pp 231236
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. 1-20.
Go to publication

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, First Online: 22 June 2016, DOI: 10.1007/s10699-016-9495-6
Go to publication

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 30Feb 6, 2016, Abstracts and slides. http://www.winterschool.eu/files/885-Some_applications_of_finite-support_products_of_Jensens_minimal_Delta_31_forcing.pdf

2016 year
Authors: Zverkóv O., Seliverstov A., Lyubetsky V.

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, First Online: 19 July 2016 DOI: 10.1007/s10838-016-9334-z
Go to publication

2016 year
Authors: Kanovei V., Lyubetsky V.

Counterexamples to countable-section $Pi^1_2$ uniformization and $Pi^1_3$ separation. Annals of Pure and Applied Logic, 2016, 167, 3, pp. 262283.
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. 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

2015 year
Authors: Kanovei V.

Some applications of finite-support products of Jensens minimal forcing. Book of abstracts, Logic Colloquium 2015, Annual European Summer Meeting of the Association for Symbolic Logic, University of Helsinki, 38 August 2015, pp. 670-671.
Go to publication

2015 year
Authors: Seliverstov A.

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

2015 year
Authors: Seliverstov A.

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

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

Controversies on foundations of analysis: comments on Schubrings conflicts. Foundations of Science, First online: 24 December 2015
Go to publication

2015 year
Authors: Seliverstov A.

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 0812, 2015). - Izhevsk: Udmurt State University, 2015. P. 333-334 (in Russian).
Go to publication Download (177.3 KB)

2015 year
Authors: Seliverstov A., Zverkóv O., Istomina S., Pirogov S., Kitsis P.

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

2015 year
Authors: Zverkóv O., Seliverstov A., Lyubetsky V.

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

2015 year
Authors: Gorbunov K., Gershgorin R., Lyubetsky V.

Rearrangement and Inference of Chromosome Structures Molecular Biology, 2015, Vol. 49, No. 3, P. 327338.

2015 year
Authors: Kanovei V., Lyubetsky V.

Grossone approach to Hutton and Euler transforms Applied Mathematics and Computation, 2015, 255, pp. 3643.
Go to publication

2015 year
Authors: Latkin I.V., Seliverstov A.

"Computational complexity of fragments of the theory of complex numbers", Bulletin of University of Karaganda. Ser. Mathematics, 2015, no. 1 (77), p. 4755 (in Russian).
Go to publication Download (2.1 MB)

2015 year
Authors: Seliverstov A.

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

2015 year
Authors: Seliverstov A.

"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 publication Download (197.4 KB)

2015 year
Authors: Kanovei V., Katz K., Katz M., Sherry D.

Euler"s lute and Edward"s oud. Mathematical Intelligencer, 2015, 37, 4, pp. 48--51.
Go to publication

:    Page: 1 2345 ... 7891011
Search for publications
Year of publication
from
Author

Search phrase

Type of publication


Search in department

Date descending
Date ascending
 

 

  © Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2016
About  |  Contacts  |  The old version of this site