Effective Categoricity of Computable Linear Orderings

被引：0

作者：

A. N. Frolov

机构：

[1] Kazan (Volga Region) Federal Univ.,

来源：

Algebra and Logic | 2015年 / 54卷

关键词：

Linear Ordering; Algebraic Structure; Volga Region; Adjacent Element; Arbitrary Degree;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：415 / 417

页数：2

共 50 条

[1] Effective Categoricity of Computable Linear Orderings
Frolov, A. N.
ALGEBRA AND LOGIC, 2015, 54 (05) : 415 - 417
[2] A Note on Effective Categoricity for Linear Orderings
Bazhenov, Nikolay
THEORY AND APPLICATIONS OF MODELS OF COMPUTATION (TAMC 2017), 2017, 10185 : 84 - 95
[3] Computable choice functions for computable linear orderings
Lerman, M
Watnick, R
MATHEMATICAL LOGIC QUARTERLY, 2003, 49 (05) : 485 - 510
[4] Computable categoricity versus relative computable categoricity
Downey, Rodney G.
Kach, Asher M.
Lempp, Steffen
Turetsky, Daniel D.
FUNDAMENTA MATHEMATICAE, 2013, 221 (02) : 129 - 159
[5] ON COMPUTABLE SELF-EMBEDDINGS OF COMPUTABLE LINEAR ORDERINGS
Downey, Rodney G.
Kastermans, Bart
Lempp, Steffen
JOURNAL OF SYMBOLIC LOGIC, 2009, 74 (04) : 1352 - 1366
[6] On a Computable Presentation of Low Linear Orderings
Frolov A.N.
Lobachevskii Journal of Mathematics, 2018, 39 (9) : 1453 - 1459
[7] Scattered Linear Orderings with no Computable Presentation
Frolov, A. N.
LOBACHEVSKII JOURNAL OF MATHEMATICS, 2014, 35 (01) : 19 - 22
[8] COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS I: COMPUTABLE CATEGORICITY
Greenberg, Noam
Kach, Asher M.
Lempp, Steffen
Turetsky, Daniel D.
JOURNAL OF SYMBOLIC LOGIC, 2015, 80 (01) : 116 - 144
[9] Δ02-categoricity in Boolean algebras and linear orderings
McCoy, CFD
ANNALS OF PURE AND APPLIED LOGIC, 2003, 119 (1-3) : 85 - 120
[10] ON THE COMPLEXITY OF THE SUCCESSIVITY RELATION IN COMPUTABLE LINEAR ORDERINGS
Downey, Rod
Lempp, Steffen
Wu, Guohua
JOURNAL OF MATHEMATICAL LOGIC, 2010, 10 (1-2) : 83 - 99

← 1 2 3 4 5 →