A Note on Effective Categoricity for Linear Orderings (Q2988812): Difference between revisions

@@ Property / author @@
-Nikolay Bazhenov
@@ Property / author: Nikolay Bazhenov / rank @@
-Normal rank
@@ Property / author @@
+Nikolay Bazhenov
@@ Property / author: Nikolay Bazhenov / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-55911-7_7
+Normal rank
@@ Property / OpenAlex ID @@
+W2600516693
@@ Property / OpenAlex ID: W2600516693 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees that are not degrees of categoricity
@@ Property / cites work: Degrees that are not degrees of categoricity / rank @@
+Normal rank
@@ Property / cites work @@
+Generic copies of countable structures
@@ Property / cites work: Generic copies of countable structures / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
+Normal rank
@@ Property / cites work @@
+Stability of recursive structures in arithmetical degrees
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Pairs of recursive structures
@@ Property / cites work: Pairs of recursive structures / rank @@
+Normal rank
@@ Property / cites work @@
+Autostability spectra for Boolean algebras
@@ Property / cites work: Autostability spectra for Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of autostability for linear orders and linearly ordered abelian groups
+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 @@
+Intrinsic bounds on complexity and definability at limit levels
+Normal rank
@@ Property / cites work @@
+Degrees of categoricity and the hyperarithmetic hierarchy
+Normal rank
@@ Property / cites work @@
+Q4249724
@@ Property / cites work: Q4249724 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of computable categoricity
@@ Property / cites work: The complexity of computable categoricity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4956005
@@ Property / cites work: Q4956005 / rank @@
+Normal rank
@@ Property / cites work @@
+Categoricity spectra for rigid structures
@@ Property / cites work: Categoricity spectra for rigid structures / rank @@
+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 @@
+Effective procedures in field theory
@@ Property / cites work: Effective procedures in field theory / rank @@
+Normal rank
@@ Property / cites work @@
+Effective categoricity of computable linear orderings
+Normal rank
@@ Property / cites work @@
+Enumerations in computable structure theory
@@ Property / cites work: Enumerations in computable structure theory / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of autostability relative to strong constructivizations
+Normal rank
@@ Property / cites work @@
+The quantity of nonautoequivalent constructivizations
+Normal rank
@@ Property / cites work @@
+Autostability of models
@@ Property / cites work: Autostability of models / rank @@
+Normal rank
@@ Property / cites work @@
+CONSTRUCTIVE ALGEBRAS I
@@ Property / cites work: CONSTRUCTIVE ALGEBRAS I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537372
@@ Property / cites work: Q5537372 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable Ordered Abelian Groups and Fields
@@ Property / cites work: Computable Ordered Abelian Groups and Fields / rank @@
+Normal rank
@@ Property / cites work @@
+<i>d</i>-computable categoricity for algebraic fields
+Normal rank
@@ Property / cites work @@
+Recursively Categorical Linear Orderings
@@ Property / cites work: Recursively Categorical Linear Orderings / rank @@
+Normal rank