Degrees of categoricity vs. strong degrees of categoricity. (English. Russian original) Zbl 1402.03066
Algebra Logic 55, No. 2, 173-177 (2016); translation from Algebra Logika 55, No. 2, 257-263 (2016).
MSC:
03D45 | Theory of numerations, effectively presented structures |
03C57 | Computable structure theory, computable model theory |
03C35 | Categoricity and completeness of theories |
03D28 | Other Turing degree structures |
References:
[1] | E. B. Fokina, I. Kalimullin, and R. Miller, “Degrees of categoricity of computable structures,” Arch. Math. Log., 49, No. 1, 51-67 (2010). · Zbl 1184.03026 · doi:10.1007/s00153-009-0160-4 |
[2] | B. F. Csima, J. N. Franklin, and R. A. Shore, “Degrees of categoricity and the hyperarithmetic hierarchy,” Notre Dame J. Form. Log., 54, No. 2, 215-231 (2013). · Zbl 1311.03070 · doi:10.1215/00294527-1960479 |
[3] | R. Miller, “<Emphasis Type=”Bold“>d-Computable categoricity for algebraic fields,” J. Symb. Log., 74, No. 4, 1325-1351 (2009). · Zbl 1202.03044 · doi:10.2178/jsl/1254748694 |
[4] | B. A. Anderson and B. F. Csima, “Degrees that are not degrees of categoricity,” to appear in Notre Dame J. Form. Log.. · Zbl 1436.03229 |
[5] | N. A. Bazhenov, “Autostability spectra for Boolean algebras,” Algebra and Logic, 53, No. 6, 502-505 (2015). · Zbl 1355.03028 |
[6] | E. Fokina, A. Frolov, and I. Kalimullin, “Categoricity spectra for rigid structures,” Notre Dame J. Form. Log., 57, No. 1, 45-57 (2016). · Zbl 1359.03030 · doi:10.1215/00294527-3322017 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.