Войти
Логин:
Пароль:
Забыли пароль?
научная деятельность
структура института
образовательные проекты
периодические издания
сотрудники института
пресс-центр
контакты
русский | english
 Войти | Регистрация | Помощь
Публикаций на странице:    Страница: 123456 7
2019 г.
Авторы: Кановей В.Г., Любецкий В.А.

Модели теории множеств, в которых теорема отделимости неверна.
Известия Российской академии наук. Серия математическая, 2019.
На рецензии.
WoS Q2

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

Models of set theory in which separation theorem fails.
arXiv:1905.11241 [math.LO], May 2019.
Перейти к публикации

2019 г.
Авторы: Zverkóv O., Mikhailov K., Isaev S., Rusin L., Popova O., Logacheva M., Penin A., Moroz L., Panchin Y., Lyubetsky V., Aleoshin V.V.

Dicyemida and Orthonectida: Two stories of body plan simplification. Frontiers in Genetics Vol. 10, Article 443. DOI: 10.3389/fgene.2019.00443
Перейти к публикации Загрузить (6.2 MB)

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

Factoring Solovay-random extensions, with application to the Reduction property.
Monatshefte fur Mathematik, 2019, submitted.
WoS Q2

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

The full basis theorem does not imply analytic wellordering,
Annals of pure and applied logic, 2019, submitted.
WoS Q1

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

Canonization of smooth equivalence relations on infinite-dimensional E0-large products.
Notre Dame J. Form. Logic, 2019, принято в печать.
SCIMAGO, Q2.

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

Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
Fundamenta mathematicae, 2019, 245, 2, pp. 175--216.
DOI: 10.4064/fm517-7-2018
SCOPUS, Q2
Перейти к публикации

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

Определимые элементы борелевских множеств.
Математические заметки, 2019, 105, вып. 5, стр. 696–707.
DOI: 10.4213/mzm12001
SCIMAGO Q2
Перейти к публикации

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

Borel OD sets of reals are OD-Borel in some simple models.
Proceedings of the American mathematical society, 2019, 147, no 3, pp. 1277–1282.
DOI 10.1090/proc/14286
WoS Q2
SCIMAGO Q1
Перейти к публикации

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

Definable minimal collapse functions at arbitrary projective levels.
Journal of Symbolic Logic, 2019, vol. 84, no 1, pp. 266-289.
DOI:10.1017/jsl.2018.77
WoS Q1
Перейти к публикации

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

On intermediate extensions of generic extensions by a random real.
arXiv:1811.10568 [math.LO], December 2018
Перейти к публикации

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

On Harrington"s model in which Separation holds but Reduction fails at the 3rd projective level, and on some related models of Sami.
arXiv:1810.12542 [math.LO], November 2018.
Перейти к публикации

2018 г.
Авторы: Aleoshin V., Slyusarev G., Mikhailov K., Popova O., Rusin L., Zverkóv O., Lyubetsky V.

Orthonectida and Dicyemida: Two stories of body plan simplification. In: Molecular Phylogenetics (Eds.: A. Troitsky, L. Rusin), Moscow: Torus Press, 2018, P. 3–4. DOI: 10.30826/MolPhy2018-01

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

A countable definable set of reals containing no definable elements,
arXiv:1408.3901v2 [math.LO], Sept. 2018, 11 p.
Перейти к публикации

2018 г.
Авторы: Seliverstov A., Shilovsky G.A., Rubanov L., Zverkóv O., Lyubetsky V.

Longevity in mammals: lost genes as a determinant. Bioinformatics of Genome Regulation and Structure\Systems Biology (BGRS\SB-2018): The Eleventh International Conference (20–25 Aug. 2018, Novosibirsk, Russia); Abstracts / Institute of Cytology and Genetics, Siberian Branch of Russian Academy of Sciences; Novosibirsk State University. – Novosibirsk: ICG SB RAS, 2018. P. 249.
Перейти к публикации Загрузить (2.2 MB)

2018 г.
Авторы: Seliverstov A., Rubanov L., Shilovsky G., Zverkóv O., Lyubetsky V.

Longevity in euarchontoglires: lost genes as a determinant. FEBS Open Bio, 2018, Vol. 8 (Suppl. 1), P. 456–457; DOI: 10.1002/2211-5463.12453.

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

Линейный алгоритм перестройки графа. Автоматика и телемеханика, 2018, вып. 11, в печати

2018 г.
Авторы: Lyubetsky V., Lyubetskaya E., Gorbunov K.

A linear algorithm of cyclic graph reconfiguration. Lobachevskii Journal of Mathematics, 2018, Iss. 6, in press

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

Definable E0 classes at arbitrary projective levels.
Annals of Pure and Applied Logic, 2018, Vol. 169, Iss. 9, P. 851–871.
DOI: 10.1016/j.apal.2018.04.006
WoS Q1
Перейти к публикации

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

Canonization of smooth equivalence relations on infinite-dimensional perfect cubes.
arXiv:1804.05174 [math.LO], April 2018.
Перейти к публикации

2018 г.
Авторы: Zverkóv O., Rubanov L., Rusin L., Seliverstov A., Lyubetsky V.

Finding long highly conserved elements in complete animal genomes. CEUR Workshop Proceedings, Feb 23 2018, Vol. 2064, Convergent Cognitive Information Technologies 2017, P. 402–408, in Russian.
Перейти к публикации

2018 г.
Авторы: Gorbunov K., Lyubetsky V.

Transformation of large chromosome structures: an algorithm of equalization of gene contents. CEUR Workshop Proceedings, Feb 23 2018, Vol. 2064, Convergent Cognitive Information Technologies 2017, P. 395–401, in Russian.
Перейти к публикации

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

Countable OD sets of reals belong to the ground model.
Archive for Mathematical Logic, 2018, Vol. 57, Iss. 3–4, P. 285–298.
DOI: 10.1007/s00153-017-0569-0
WoS Q3
Перейти к публикации

2018 г.
Авторы: Herzberg F., Kanovei V., Katz M., Lyubetsky V.

Minimal axiomatic frameworks for definable hyperreals with transfer.
Journal of Symbolic Logic, 2018, 83, 1, pp. 385-391.
DOI: 10.1017/jsl.2017.48
WoS Q1
Перейти к публикации

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

Неуниформизуемые множества второго проективного уровня со счетными сечениями в виде классов Витали.
Известия Российской академии наук. Серия математическая, 2018, том 82, № 1, стр. 65–96.
DOI: 10.4213/im8521
WoS Q2
Перейти к публикации

2017 г.
Авторы: Lyubetsky V., Gershgorin R., Gorbunov K.

Chromosome structures: reduction of certain problems with unequal gene content and gene paralogs to integer linear programming. BMC Bioinformatics, 2017, Vol. 18, No. 537. doi:10.1186/s12859-017-1944-x, PMID: 29212445
Перейти к публикации

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

Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
arXiv:1712.00769 [math.LO], December 2017.
Перейти к публикации

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

Кратчайшее преобразование графа. Доклады академии наук, 2017, том 476, № 6, стр. 614–616. doi:10.7868/S0869565217300028

2017 г.
Авторы: Lyubetsky V., Korotkova D., Ivanova A., Rubanov L., Seliverstov A., Zverkóv O., Nesterenko A., Tereshina M., Zaraisky A.G.

Novel transmembrane protein c-Answer revealed by bioinformatic screening of genes present only in well regenerating animals. FEBS Journal, 2017, Vol. 284, Iss. S1, P. 155. doi:10.1111/febs.14174

2017 г.
Авторы: Gorbunov K., Lyubetsky V.

A linear algorithm for the shortest transformation of graphs with different operation costs. Journal of Communications Technology and Electronics, 2017, Vol. 62, No. 6, P. 653–662. doi:10.1134/S1064226917060092

2017 г.
Авторы: Korotkova D.D., Ivanova A.S., Lyubetsky V., Seliverstov A., Martynova N.Y., Nesterenko A.M., Zaraisky A.G.

Novel FGF-signaling modulator c-Answer revealed by bioinformatics screening for genes present only in well-regenerative animals. Mechanisms of Development, 2017, Vol. 145, P. S49. doi:10.1016/j.mod.2017.04.089

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

Definable minimal collapse functions at arbitrary projective levels.
arXiv:1707.07320 [math.LO], July 2017.
Перейти к публикации

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

Definable E0 classes at arbitrary projective levels.
arXiv:1705.02975 [math.LO], May 2017.
Перейти к публикации

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

Алгоритм преобразования одного графа в другой с минимальной ценой. Информатика и её применения, 2017, том 11, вып. 1, стр. 79–89. doi:10.14357/19922264170107

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

Линейный алгоритм минимальной перестройки структур. Проблемы передачи информации, 2017, том 53, вып. 1, стр. 60–78.

2017 г.
Авторы: Gershgorin R., Gorbunov K., Zverkóv O., Rubanov L., Seliverstov A., Lyubetsky V.

Highly Conserved Elements and Chromosome Structure Evolution in Mitochondrial Genomes in Ciliates. Life, 2017, Vol. 7, No. 9. doi:10.3390/life7010009, PMID: 28264444
Перейти к публикации

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

The full basis theorem does not imply analytic wellordering.
arXiv:1702.03566 [math.LO], February 2017.
Перейти к публикации

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

Генерическое свойство множества Σ по Соловею.
Сибирский математический журнал, 2017, том 58, вып. 6, стр. 1302–1305.
doi:10.17377/smzh.2017.58.610
WoS Q3
Перейти к публикации

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

Определимое счетное множество, не содержащее определимых элементов.
Математические заметки, 2017, 102, вып. 3, стр. 369-382.
doi:10.4213/mzm10842
WoS Q3
Перейти к публикации

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

A Groszek-Laver pair of undistinguishable E0-classes.
Mathematical Logic Quarterly, 2017, Vol. 63, No. 1–2, P. 19–31.
doi:10.1002/malq.201500020
WoS Q3
Перейти к публикации

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

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.

2016 г.
Авторы: Lyubetsky V., Piel W., Stadler P.

Molecular Phylogenetics 2016. BioMed Research International, 2016, vol. 2016, Article ID 9029306, 2 pages, DOI: 10.1155/2016/9029306.
Перейти к публикации

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

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.

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

Линейный алгоритм кратчайшей перестройки графов при разных ценах операций. Информационные процессы, 2016, том 16, № 2, стр. 223–236.

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

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.

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

A method for identification of highly conserved elements and evolutionary analysis of superphylum Alveolata. BMC Bioinformatics. 2016, vol. 17, no. 385, 16 p.
Перейти к публикации

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

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

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

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

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

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

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

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

Публикаций на странице:    Страница: 123456 7
Поиск по публикациям сотрудника В.А. Любецкий
Год публикации
с по
Автор

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

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

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

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

 

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