On decidable categoricity and almost prime models (Q2203434): Difference between revisions

@@ Property / author @@
-Q282112
@@ Property / author: Q282112 / rank @@
-Normal rank
@@ Property / author @@
-Valentina S. Harizanov
@@ Property / author: Valentina S. Harizanov / rank @@
-Normal rank
@@ Property / author @@
-Russell G. Miller
@@ Property / author: Russell G. Miller / rank @@
-Normal rank
@@ Property / author @@
+Sergei S. Goncharov
@@ Property / author: Sergei S. Goncharov / rank @@
+Normal rank
@@ Property / author @@
+Valentina S. Harizanov
@@ Property / author: Valentina S. Harizanov / rank @@
+Normal rank
@@ Property / author @@
+Russell G. Miller
@@ Property / author: Russell G. Miller / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+Degrees of categoricity for superatomic Boolean algebras
+Normal rank
@@ Property / cites work @@
+Autostability spectra for Boolean algebras
@@ Property / cites work: Autostability spectra for Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Prime Model with No Degree of Autostability Relative to Strong Constructivizations
+Normal rank
@@ Property / cites work @@
+Degrees of autostability relative to strong constructivizations for Boolean algebras
+Normal rank
@@ Property / cites work @@
+Degrees of autostability for linear orders and linearly ordered abelian groups
+Normal rank
@@ Property / cites work @@
+DEGREES OF CATEGORICITY AND SPECTRAL DIMENSION
@@ Property / cites work: DEGREES OF CATEGORICITY AND SPECTRAL DIMENSION / rank @@
+Normal rank
@@ Property / cites work @@
+Decompositions of decidable abelian groups
@@ Property / cites work: Decompositions of decidable abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of autostability relative to strong constructivizations of graphs
+Normal rank
@@ Property / cites work @@
+Computability-theoretic properties of injection structures
+Normal rank
@@ Property / cites work @@
+Finite computable dimension and degrees of categoricity
+Normal rank
@@ Property / cites work @@
+DEGREES OF CATEGORICITY ON A CONE VIA<i>η</i>-SYSTEMS
+Normal rank
@@ Property / cites work @@
+Degrees of categoricity and the hyperarithmetic hierarchy
+Normal rank
@@ Property / cites work @@
+Q4677706
@@ Property / cites work: Q4677706 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4956005
@@ Property / cites work: Q4956005 / rank @@
+Normal rank
@@ Property / cites work @@
+Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations
+Normal rank
@@ Property / cites work @@
+Computability-theoretic categoricity and Scott families
+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 categoricity of computable linear orderings
+Normal rank
@@ Property / cites work @@
+Turing degrees of complete formulas of almost prime models
+Normal rank
@@ Property / cites work @@
+Degrees of autostability relative to strong constructivizations
+Normal rank
@@ Property / cites work @@
+On autostability of almost prime models relative to strong constructivizations
+Normal rank
@@ Property / cites work @@
+Autostability of prime models under strong constructivizations
+Normal rank
@@ Property / cites work @@
+Q4249361
@@ Property / cites work: Q4249361 / rank @@
+Normal rank
@@ Property / cites work @@
+Problem of the number of non-self-equivalent constructivizations
+Normal rank
@@ Property / cites work @@
+The index set of the groups autostable relative to strong constructivizations
+Normal rank
@@ Property / cites work @@
+Index sets of autostable relative to strong constructivizations constructive models for familiar classes
+Normal rank
@@ Property / cites work @@
+The index set of Boolean algebras autostable relative to strong constructivizations
+Normal rank
@@ Property / cites work @@
+Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations
+Normal rank
@@ Property / cites work @@
+Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations
+Normal rank
@@ Property / cites work @@
+Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations
+Normal rank
@@ Property / cites work @@
+Index Sets of Constructive Models that are Autostable Under Strong Constructivizations
+Normal rank
@@ Property / cites work @@
+Nilpotent groups of finite algorithmic dimension
@@ Property / cites work: Nilpotent groups of finite algorithmic dimension / rank @@
+Normal rank
@@ Property / cites work @@
+Q2709295
@@ Property / cites work: Q2709295 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2709313
@@ Property / cites work: Q2709313 / rank @@
+Normal rank
@@ Property / cites work @@
+Index set of structures with two equivalence relations that are autostable relative to strong constructivizations
+Normal rank
@@ Property / cites work @@
+Model Theory
@@ Property / cites work: Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting Uniform Computable Categoricity: For the Sixtieth Birthday of Prof. Rod Downey
+Normal rank
@@ Property / cites work @@
+<i>d</i>-computable categoricity for algebraic fields
+Normal rank
@@ Property / cites work @@
+Strong and weak constructivization and computable families
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective choice for relations and reducibilities in classes of constructive and positive models
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.3103/s1055134420030050
+Normal rank
@@ Property / OpenAlex ID @@
+W3062138362
@@ Property / OpenAlex ID: W3062138362 / rank @@
+Normal rank