|
Эта публикация цитируется в 10 научных статьях (всего в 10 статьях)
Теорема А. А. Маркова и алгоритмически нераспознаваемые комбинаторные многообразия
М. А. Штанько
Аннотация:
Доказана теорема А. А. Маркова о существовании для любого $n\geqslant 4$ алгоритмически нераспознаваемого комбинаторного $n$-мерного многообразия. Указано конкретное многообразие, которое алгоритмически не распознается (ранее это не было сделано). Усиленная теорема Маркова доказана с помощью комбинаторных методов регулярных окрестностей и теории ручек. Доказательства одинаковы для любых $n\geqslant 4$. Используется группа Борисова [8] с неразрешимой проблемой тождества,
имеющая две образующие и двенадцать соотношений. Именно применение группы
Борисова явилось основой для доказательства усиленной теоремы Маркова (этим автор обязан С. И. Адяну).
Библиография: 26 наименований.
DOI:
https://doi.org/10.4213/im471
 Полный текст:
PDF файл (1979 kB)
Список литературы:
PDF файл
HTML файл
Англоязычная версия:
Izvestiya: Mathematics, 2004, 68:1, 205–221
Реферативные базы данных:
   
Тип публикации:
Статья
УДК:
510.5+515.164
MSC: 20F10, 57Q40, 57N15
Поступило в редакцию: 30.01.2003
Образец цитирования:
М. А. Штанько, “Теорема А. А. Маркова и алгоритмически нераспознаваемые комбинаторные многообразия”, Изв. РАН. Сер. матем., 68:1 (2004), 207–224; Izv. Math., 68:1 (2004), 205–221
Цитирование в формате AMSBIB
\RBibitem{Sht04}
\by М.~А.~Штанько
\paper Теорема А.\,А.~Маркова и алгоритмически нераспознаваемые комбинаторные многообразия
\jour Изв. РАН. Сер. матем.
\yr 2004
\vol 68
\issue 1
\pages 207--224
\mathnet{http://mi.mathnet.ru/izv471}
\crossref{https://doi.org/10.4213/im471}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=2096942}
\zmath{https://zbmath.org/?q=an:1069.57013}
\transl
\jour Izv. Math.
\yr 2004
\vol 68
\issue 1
\pages 205--221
\crossref{https://doi.org/10.1070/IM2004v068n01ABEH000471}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000221332600007}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-33746484543}
Образцы ссылок на эту страницу:
http://mi.mathnet.ru/izv471https://doi.org/10.4213/im471 http://mi.mathnet.ru/rus/izv/v68/i1/p207
Citing articles on Google Scholar:
Russian citations,
English citations
Related articles on Google Scholar:
Russian articles,
English articles
Эта публикация цитируется в следующих статьяx:
-
М. А. Штанько, “К теореме Маркова об алгоритмической нераспознаваемости многообразий”, Фундамент. и прикл. матем., 11:5 (2005), 257–259
 ; M. A. Shtan'ko, “To the Markov theorem on algorithmic nonrecognizability of manifolds”, J. Math. Sci., 146:1 (2007), 5622–5623  -
L. M. Cabrer, D. Mundici, “A Stone-Weierstrass theorem for MV-algebras and unital -groups”, Journal of Logic and Computation, 2014
-
Coward A., Lackenby M., “An Upper Bound on Reidemeister Moves”, Am. J. Math., 136:4 (2014), 1023–1066
-
Mundici D., “Invariant Measure Under the Affine Group Over Z”, Comb. Probab. Comput., 23:2 (2014), 248–268
-
Aschenbrenner M. Friedl S. Wilton H., 3-Manifold Groups, Ems Series of Lectures in Mathematics, Eur. Math. Soc., 2015
-
Mundici D., “A Geometric Approach to MV-Algebras”, On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory, Studies in Fuzziness and Soft Computing, 336, eds. SamingerPlatz S., Mesiar R., Springer-Verlag Berlin, 2016, 57–70
-
Cabrer L.M., Mundici D., “Idempotent endomorphisms of free MV-algebras and unital -groups”, J. Pure Appl. Algebr., 221:4 (2017), 908–934
-
Lishak B., Nabutovsky A., “Balanced presentations of the trivial group and four-dimensional geometry”, J. Topol. Anal., 9:1 (2017), 15–25
-
Mundici D., “Fans, Decision Problems and Generators of Free Abelian l-Groups”, Forum Math., 29:6 (2017), 1429–1439
-
Mundici D., “Recognizing Free Generating Sets of l-Groups”, Algebr. Universalis, 79:2 (2018), UNSP 24
|
| Просмотров: |
| Эта страница: | 908 | | Полный текст: | 224 | | Литература: | 33 | | Первая стр.: | 2 |
|
Пользовательское соглашение