Degrees of autostability relative to strong constructivizations (Q2510761): Difference between revisions

@@ Property / author @@
-Q282112
@@ Property / author: Q282112 / rank @@
-Normal rank
@@ Property / author @@
+Sergei S. Goncharov
@@ Property / author: Sergei S. Goncharov / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Effective procedures in field theory
@@ Property / cites work: Effective procedures in field theory / rank @@
+Normal rank
@@ Property / cites work @@
+[Russian Text Ignored]
@@ Property / cites work: [Russian Text Ignored] / rank @@
+Normal rank
@@ Property / cites work @@
+Q5786283
@@ Property / cites work: Q5786283 / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerations, countable structures and Turing degrees
+Normal rank
@@ Property / cites work @@
+Relative to any nonrecursive set
@@ Property / cites work: Relative to any nonrecursive set / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerations in computable structure theory
@@ Property / cites work: Enumerations in computable structure theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3447199
@@ Property / cites work: Q3447199 / rank @@
+Normal rank
@@ Property / cites work @@
+Categoricity in hyperarithmetical degrees
@@ Property / cites work: Categoricity in hyperarithmetical degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Generic copies of countable structures
@@ Property / cites work: Generic copies of countable structures / rank @@
+Normal rank
@@ Property / cites work @@
+Intrinsic bounds on complexity and definability at limit levels
+Normal rank
@@ Property / cites work @@
+Degrees of categoricity of computable structures
@@ Property / cites work: Degrees of categoricity of computable structures / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable models
@@ Property / cites work: Decidable models / rank @@
+Normal rank
@@ Property / cites work @@
+Some aspects of generalized computability
@@ Property / cites work: Some aspects of generalized computability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249357
@@ Property / cites work: Q4249357 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong and weak constructivization and computable families
+Normal rank
@@ Property / cites work @@
+Recursively presentable prime models
@@ Property / cites work: Recursively presentable prime models / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of recursive model theory
@@ Property / cites work: Foundations of recursive model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Effective model theory vs. recursive model theory
@@ Property / cites work: Effective model theory vs. recursive model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4895321
@@ Property / cites work: Q4895321 / rank @@
+Normal rank
@@ Property / cites work @@
+Autostability of prime models under strong constructivizations
+Normal rank
@@ Property / cites work @@
+On autostability of almost prime models relative to strong constructivizations
+Normal rank
@@ Property / cites work @@
+Oб алгебрах формул счётно категоричных теорий
+Normal rank
@@ Property / cites work @@
+Q4451633
@@ Property / cites work: Q4451633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3958432
@@ Property / cites work: Q3958432 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings
+Normal rank
@@ Property / cites work @@
+Q4795524
@@ Property / cites work: Q4795524 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1134/s0081543811060071
+Normal rank
@@ Property / OpenAlex ID @@
+W2076040483
@@ Property / OpenAlex ID: W2076040483 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2510761