• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Найдено 455 публикаций
Сортировка:
по названию
по году
Препринт
Vladimir L. Popov. arxiv.org. math. Cornell University, 2014. No. 1401.0278.
Добавлено: 3 января 2014
Препринт
Alexander Kuznetsov. arxiv.org. math. Cornell University, 2015
Добавлено: 30 января 2015
Препринт
Vladimir Lebedev. arxiv.org. math. Cornell University, 2013. No. 1303.5384v2.
Добавлено: 16 февраля 2014
Препринт
Timorin V., Petrushchenko S. arxiv.org. math. Cornell University, 2014. No. 1409.3403.
Добавлено: 16 сентября 2014
Препринт
Anton Fonarev. arxiv.org. math. Cornell University, 2011
Добавлено: 10 октября 2013
Препринт
Kuznetsov A. G., Ingalls C. arxiv.org. math. Cornell University, 2010. No. 1012.3530.
Добавлено: 4 октября 2013
Препринт
Kalmynin A. B. arxiv.org. math. Cornell University, 2016. No. 1611.00417.
Добавлено: 19 октября 2017
Препринт
Kharlamov V., Viktor Kulikov. arxiv.org. math. Cornell University, 2013
Добавлено: 27 декабря 2013
Препринт
Glutsyuk A. arxiv.org. math. Cornell University, 2013. No. 1309.1849.
Добавлено: 29 сентября 2013
Препринт
A.Y. Golubin. arxiv.org. math. Cornell University, 2014. No. 1401.2070.
Добавлено: 11 января 2014
Препринт
Galkin S., Popov P. arxiv.org. math. Cornell University, 2018. No. 1810.07001.
Пусть X(n) обозначает n-ую симметрическую степень кубической поверхности X. Мы показываем, что X(4)×X стабильно бирационально X(3)×X, несмотря на примеры когда X(4) не стабильно бирационально X(3).
Добавлено: 19 октября 2018
Препринт
Burman Y. M., Lvovsky S. arxiv.org. math. Cornell University, 2013. No. 1904.
Добавлено: 14 ноября 2013
Препринт
Beklemishev L. D., Fernandez D., Joosten J. arxiv.org. math. Cornell University, 2012
We introduce the logics GLP(\Lambda), a generalization of Japaridze's polymodal provability logic GLP(\omega) where \Lambda is any linearly ordered set representing a hierarchy of provability operators of increasing strength.  We shall provide a reduction of these logics to GLP(\omega) yielding among other things a finitary proof of the normal form theorem for the variable-free fragment of GLP(\Lambda) and the decidability of GLP(\Lambda) for recursive orderings \Lambda. Further, we give a restricted axiomatization of the variable-free fragment of GLP(\Lambda).
Добавлено: 12 февраля 2013
Препринт
Prokhorov Y., Reid M. arxiv.org. math. Cornell University, 2012
Добавлено: 6 февраля 2013
Препринт
Glutsyuk A. arxiv.org. math. Cornell University, 2014. No. 1309.1843.
Добавлено: 29 сентября 2013
Препринт
Viktor S. Kulikov, Shustin E. arxiv.org. math. Cornell University, 2015
Добавлено: 2 февраля 2015
Препринт
Rovinsky M. arxiv.org. math. Cornell University, 2014
Добавлено: 17 сентября 2014
Препринт
V'yugin V. arxiv.org. math. Cornell University, 2014. No. 1409.3865v1.
Добавлено: 17 сентября 2014
Препринт
Fedor Bogomolov, Yuri Prokhorov. arxiv.org. math. Cornell University, 2013
Добавлено: 21 ноября 2014
Препринт
Yuri Prokhorov. arxiv.org. math. Cornell University, 2013
Добавлено: 10 октября 2013
Препринт
Lvovsky S. arxiv.org. math. Cornell University, 2013. No. 1305.2205.
Добавлено: 3 октября 2013