|
This article is cited in 4 scientific papers (total in 4 papers)
Simple structures with complex symmetry
V. Harizanova, R. Millerbc, A. S. Morozovd a Dep. Math., George Washington Univ.,Washington, DC, USA
b Ph.D. Prog. Math. and Comp. Sci., C.U.N.Y. Graduate Center, New York, USA
c Dep. Math. Queens College – C.U.N.Y., New York, USA
d Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia
Abstract:
We define the automorphism spectrum of a computable structure $\mathcal M$, a complexity measure of the symmetries of $\mathcal M$, and prove that certain sets of Turing degrees can be realized as automorphism spectra, while certain others cannot.
Keywords:
complexity measure of symmetries of computable structure, automorphism spectrum.
Full text:
PDF file (358 kB)
References:
PDF file
HTML file
English version:
Algebra and Logic, 2010, 49:1, 68–90
Bibliographic databases:
UDC:
510.5+510.67 Received: 14.09.2009
Citation:
V. Harizanov, R. Miller, A. S. Morozov, “Simple structures with complex symmetry”, Algebra Logika, 49:1 (2010), 98–134; Algebra and Logic, 49:1 (2010), 68–90
Citation in format AMSBIB
\Bibitem{HarMilMor10}
\by V.~Harizanov, R.~Miller, A.~S.~Morozov
\paper Simple structures with complex symmetry
\jour Algebra Logika
\yr 2010
\vol 49
\issue 1
\pages 98--134
\mathnet{http://mi.mathnet.ru/al430}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=2664124}
\zmath{https://zbmath.org/?q=an:1195.03041}
\transl
\jour Algebra and Logic
\yr 2010
\vol 49
\issue 1
\pages 68--90
\crossref{https://doi.org/10.1007/s10469-010-9079-4}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000276493500005}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-77950691354}
Linking options:
http://mi.mathnet.ru/eng/al430 http://mi.mathnet.ru/eng/al/v49/i1/p98
Citing articles on Google Scholar:
Russian citations,
English citations
Related articles on Google Scholar:
Russian articles,
English articles
This publication is cited in the following articles:
-
Fokina E.B., Harizanov V., Melnikov A., “Computable Model Theory”, Turing'S Legacy: Developments From Turing'S Ideas in Logic, Lecture Notes in Logic, 42, ed. Downey R., Cambridge Univ Press, 2014, 124–194
-
N. T. Kogabaev, “The theory of projective planes is complete with respect to degree spectra and effective dimensions”, Algebra and Logic, 54:5 (2015), 387–407
-
N. Kh. Kasymov, A. S. Morozov, “Definability of linear orders over negative equivalences”, Algebra and Logic, 55:1 (2016), 24–37
-
Miller R., Poonen B., Schoutens H., Shlapentokh A., “A Computable Functor From Graphs to Fields”, J. Symb. Log., 83:1 (2018), 326–348
|
Number of views: |
This page: | 231 | Full text: | 60 | References: | 34 | First page: | 3 |
|