Categoricity spectra for polymodal algebras (Q514501): Difference between revisions

@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+-Computably Enumerable Degrees of Categoricity for Boolean Algebras with Distinguished Automorphisms
+Normal rank
@@ Property / cites work @@
+Autostability spectra for Boolean algebras
@@ Property / cites work: Autostability spectra for Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism
+Normal rank
@@ Property / cites work @@
+Comparing Classes of Finite Structures
@@ Property / cites work: Comparing Classes of Finite Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of categoricity and the hyperarithmetic hierarchy
+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 @@
+Computable isomorphisms of Boolean algebras with operators
+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 @@
+A Borel reductibility theory for classes of countable structures
+Normal rank
@@ Property / cites work @@
+Effective procedures in field theory
@@ Property / cites work: Effective procedures in field theory / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic polymodal logic: a survey
@@ Property / cites work: Algebraic polymodal logic: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513969
@@ Property / cites work: Q4513969 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of autostability 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 @@
+Autostability of models
@@ Property / cites work: Autostability of models / rank @@
+Normal rank
@@ Property / cites work @@
+Degree spectra and computable dimensions in algebraic structures
+Normal rank
@@ Property / cites work @@
+Limitwise monotonic sequences and degree spectra of structures
+Normal rank
@@ Property / cites work @@
+Degrees coded in jumps of orderings
@@ Property / cites work: Degrees coded in jumps of orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Using computability to measure complexity of algebraic structures and classes of structures
+Normal rank
@@ Property / cites work @@
+Turing computable embeddings
@@ Property / cites work: Turing computable embeddings / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of projective planes is complete with respect to degree spectra and effective dimensions
+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 @@
+<i>d</i>-computable categoricity for algebraic fields
+Normal rank
@@ Property / cites work @@
+A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS
@@ Property / cites work: A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS / rank @@
+Normal rank