Keywords: 03D25; 03D30; 03D45; 03F15; Computably enumerable equivalence relation; Computable reducibility on equivalence relations; Halting jump;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: 03D45; 03C57; 12Y05; Computable structure; Computable algebra; Pregeometry;
Keywords: 17B10; 11D99; 03D45; 13N10Affine plane; Special linear Lie algebra; Diophantine set; Primitive recursive; Morley rank; Computably presented field
Keywords: 03D25; 03D28; 03D45; 03C57Computability theory; Euler paths; Chromatic number; Highly computable graphs
Keywords: 03D45; 03C57; 20K99; 20K10Abelian groups; Computable categoricity
Keywords: 03D28; 03D30; 03D45; O3C57Computable structure theory; Jump degree; Turing ordinal; Back-and-forth relation; Linear orderings
Keywords: 03D45; 03C57; 03D25Equivalence structures; Computable mathematics; Categoricity; Isomorphisms
The Kierstead's Conjecture and limitwise monotonic functions
Keywords: 03D45; 03C57; Linear order; Limitwise monotonic function; Automorphism;
WKL0 and induction principles in model theory
Keywords: 03B30; 03C07; 03C57; 03D45; Reverse mathematics; Recursive model theory; Basic model theory;
The complexity of computable categoricity
Keywords: 03D45; 03D60; Computable categoricity;
Graphs realised by r.e. equivalence relations
Keywords: 03D25; 03D30; 03D45; 03D50; Recursively enumerable equivalence relation; Recursively enumerable structure; m-reducibility; C-reducibility;
Degrees of orders on torsion-free Abelian groups
Keywords: 03D45; 03C57; 03D28; 06F20; Ordered Abelian group; Degree spectra of orders;
Computably categorical Boolean algebras enriched by ideals and atoms
Keywords: 06E75; 03D45; 03C57Boolean algebras; Computability; Computable structures; Computably categorical structures