Войти
Логин:
Пароль:
Забыли пароль?
научная деятельность
структура институтаобразовательные проектыпериодические изданиясотрудники институтапресс-центрконтакты
русский | english
Публикаций на странице:    Страница: 1 2345 ... 7891011
2017 г.
Авторы: Кановей В.Г., Любецкий В.А.

Генерическое свойство множества $\Sigma$ по Соловею, Сибирский математический журнал, 2017, на рецензии.

2017 г.
Авторы: 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 г.
Авторы: Kanovei V., Lyubetsky V.

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

2017 г.
Авторы: Kanovei V., Katz M.

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

2017 г.
Авторы: 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 г.
Авторы: Herzberg F., Kanovei V., Katz M., Lyubetsky V.

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

2017 г.
Авторы: Кановей В.Г., Любецкий В.А.

Неуниформизуемые множества второго проективного уровня со счетными сечениями в виде классов Витали, Известия РАН, серия математическая, 2017, принято к печати.

2017 г.
Авторы: Кановей В.Г., Любецкий В.А.

Определимое счетное множество, не содержащее определимых элементов, Математические заметки, 2017, на рецензировании.

2017 г.
Авторы: Golshani M., Kanovei V., Lyubetsky V.

A Groszek -- Laver pair of undistinguishable $E_0$ classes. Mathematical Logic Quarterly, 2017, to appear.
Перейти к публикации

2016 г.
Авторы: Рубанов Л.И., Зверко́в О.А., Селиверстов А.В., Любецкий В.А.

Высоко консервативные элементы в митохондриях однодольных растений. Современные информационные технологии и ИТ-образование. 2016. Том 12, №2. С. 211-215.

2016 г.
Авторы: Королев С.А., Горбунов К.Ю., Зверко́в О.А., Селиверстов А.В., Любецкий В.А.

Вырожденные инвертированные повторы в геномах микобактерий. Современные информационные технологии и ИТ-образование. 2016. Том 12, №1. С. 162-172.

2016 г.
Авторы: Kanovei V., Lyubetsky V.

A generic property of Solovay"s set Σ. November 2016, arXiv:1611.00176 [math.LO], pp. 1-4.
Перейти к публикации

2016 г.
Авторы: 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.
Перейти к публикации

2016 г.
Авторы: Рубанов Л.И., Селиверстов А.В.

Проективно-инвариантное описание излучины реки. Информационные процессы. 2016. Том 16, № 3. С. 281-290.
Перейти к публикации Загрузить (167 KB)

2016 г.
Авторы: Любецкий В.А., Гершгорин Р.А., Селиверстов А.В., Горбунов К.Ю.

Algorithms for reconstruction of chromosomal structures. BMC Bioinformatics, 2016, 17:40, 23 p. DOI: 10.1186/s12859-016-0878-z
Перейти к публикации

2016 г.
Авторы: Селиверстов А.В.

О проверке гладкости гиперповерхности. XII Белорусская математическая конференция: материалы Международной научной конференции. Минск, 5-10 сентября 2016 г. В 5 частях. / Ред. С.Г. Красовский. - Часть 4. - Минск: Институт математики НАН Беларуси, 2016. - С. 64-65.
Перейти к публикации

2016 г.
Авторы: Kanovei V., Lyubetsky V.

Countable OD sets of reals belong to the ground model. September 2016, arXiv:1609.01032 [math.LO], pp. 1-12.
Перейти к публикации

2016 г.
Авторы: 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.
Перейти к публикации

2016 г.
Авторы: 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
Перейти к публикации

2016 г.
Авторы: Селиверстов А.В.

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.
Перейти к публикации Загрузить (206 KB)

2016 г.
Авторы: Korolev S., Zverkóv O., Seliverstov A., Lyubetsky V.

“Ribosome reinitiation at leader peptides increases translation of bacterial proteins” Biology Direct 2016, 11:20.
Перейти к публикации

2016 г.
Авторы: 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
Перейти к публикации

2016 г.
Авторы: Kanovei V.

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, 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
Перейти к публикации

2016 г.
Авторы: 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

2016 г.
Авторы: 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
Перейти к публикации

2016 г.
Авторы: 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
Перейти к публикации

2016 г.
Авторы: 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. 262–283.
Перейти к публикации

2016 г.
Авторы: Kanovei V., Lyubetsky V.

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., 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.
Перейти к публикации

2015 г.
Авторы: Селиверстов А.В.

Замечание о билатеральной симметрии. Труды XIII международных Колмогоровских чтений: сборник статей. Ярославль: РИО ЯГПУ, 2015. С. 90-92.
Перейти к публикации

2015 г.
Авторы: Королев С.А., Селиверстов А.В., Любецкий В.А.

"О трансляции рибосомного белка L16 в пластидах цветковых растений" Современные информационные технологии и ИТ-образование. 2015, том 2, № 11, стр. 606-607.

2015 г.
Авторы: Рубанов Л.И., Селиверстов А.В., Любецкий В.А.

"Широкомасштабный поиск ультраконсервативных элементов в полных геномах" Современные информационные технологии и ИТ-образование. 2015, том 2, № 11, стр. 586-593.

2015 г.
Авторы: Рубанов Л.И., Селиверстов А.В., Зверко́в О.А., Любецкий В.А.

«Ультраконсервативные элементы у простейших из надтипа Alveolata» Современные информационные технологии и ИТ-образование 2015, том 2, № 11, стр. 581–585.

2015 г.
Авторы: Зверко́в О.А., Селиверстов А.В., Любецкий В.А.

«О транскрипционных факторах, кодируемых в пластидах родофитной ветви» Современные информационные технологии и ИТ-образование 2015, том 2, № 11, стр. 571–575.

2015 г.
Авторы: Любецкий В.А., Селиверстов А.В.

"О решении одной NP-полной задачи" Современные информационные технологии и ИТ-образование. 2015, том 2, № 11, стр. 569-570.

2015 г.
Авторы: Королев С.А., Селиверстов А.В., Зверко́в О.А., Любецкий В.А.

«Классическая аттенюаторная регуляция, зависимая от концентрации триптофана, у актинобактерий» Современные информационные технологии и ИТ-образование 2015, том 2, № 11, стр. 565–568.

2015 г.
Авторы: Kanovei V.

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.
Перейти к публикации

2015 г.
Авторы: Селиверстов А.В.

Замечание о неявно заданных гиперграфах, Вестник Тамбовского университета. Серия: Естественные и технические науки, 2015, том 20, № 5, стр. 1422–1425.
Загрузить (265.2 KB)

2015 г.
Авторы: Селиверстов А.В.

О вычислительной сложности поиска особых точек. Дискретная математика, алгебра и их приложения: Тез. докл. Междунар. науч. конф. Минск, 14-18 сентября 2015 г. - Минск: Институт математики НАН Беларуси, 2015. С. 135-137.
Перейти к публикации Загрузить (3.3 MB)

2015 г.
Авторы: Blazczyk P., Kanovei V., Katz M., Sherry D.

Controversies on foundations of analysis: comments on Schubring’s conflicts. Foundations of Science, First online: 24 December 2015
Перейти к публикации

2015 г.
Авторы: Селиверстов А.В.

Замечание о комплексных кубических формах с нулевым гессианом, Теория управления и математическое моделирование: Тезисы докладов Всероссийской конференции с международным участием, посвященной памяти профессора Н.В. Азбелева и профессора Е.Л. Тонкова (Ижевск, Россия, 9-11 июня 2015 г.). - Ижевск: Изд-во "Удмуртский университет", 2015, стр. 333-334.
Перейти к публикации Загрузить (177.3 KB)

2015 г.
Авторы: 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.
Перейти к публикации

2015 г.
Авторы: 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.
Перейти к публикации

2015 г.
Авторы: Горбунов К.Ю., Гершгорин Р.А., Любецкий В.А.

«Перестройка и реконструкция хромосомных структур» Молекулярная биология, 2015, том 49, № 3, стр. 372–383.

2015 г.
Авторы: Kanovei V., Lyubetsky V.

“Grossone approach to Hutton and Euler transforms” Applied Mathematics and Computation, 2015, 255, pp. 36–43.
Перейти к публикации

2015 г.
Авторы: Латкин И.В., Селиверстов А.В.

"Вычислительная сложность фрагментов теории поля комплексных чисел". Вестник Карагандинского университета. Серия Математика, 2015, №1 (77), стр. 47-55.
Перейти к публикации Загрузить (2.1 MB)

2015 г.
Авторы: Селиверстов А.В.

"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 г.
Авторы: Селиверстов А.В.

"Кубические формы без мономов от двух переменных", Вестник Удмуртского университета. Математика. Механика. Компьютерные науки, 2015, том 25, № 1, с. 71-77.
Перейти к публикации Загрузить (197.4 KB)

2015 г.
Авторы: Kanovei V., Katz K., Katz M., Sherry D.

Euler"s lute and Edward"s oud. Mathematical Intelligencer, 2015, 37, 4, pp. 48--51.
Перейти к публикации

Публикаций на странице:    Страница: 1 2345 ... 7891011
Поиск по публикациям
Год публикации
с по
Автор

Название/ключевое слово

Тип публикации

Наличие в международных базах цитирования
Искать в подразделении

По убыванию даты
По возрастанию даты
 

 

  © Федеральное государственное бюджетное учреждение науки
Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2016
Об институте  |  Контакты  |  Старая версия сайта