Effective categoricity for distributive lattices and Heyting algebras (Q2404797): Difference between revisions

@@ Property / cites work @@
+Problem of the number of non-self-equivalent constructivizations
+Normal rank
@@ Property / cites work @@
+Enumerations in computable structure theory
@@ Property / cites work: Enumerations in computable structure theory / rank @@
+Normal rank
@@ Property / cites work @@
+Degree spectra and computable dimensions in algebraic structures
+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
@@ Property / cites work @@
+The theory of projective planes is complete with respect to degree spectra and effective dimensions
+Normal rank
@@ Property / cites work @@
+Computable isomorphisms of Boolean algebras with operators
+Normal rank
@@ Property / cites work @@
+Categoricity spectra for polymodal algebras
@@ Property / cites work: Categoricity spectra for polymodal algebras / rank @@
+Normal rank
@@ Property / cites work @@
+RELATIVE TO ANY NON-HYPERARITHMETIC SET
@@ Property / cites work: RELATIVE TO ANY NON-HYPERARITHMETIC SET / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Q4956005
@@ Property / cites work: Q4956005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice Theory: Foundation
@@ Property / cites work: Lattice Theory: Foundation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3130249
@@ Property / cites work: Q3130249 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic complexity of algebraic systems
@@ Property / cites work: Algorithmic complexity of algebraic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Stability of recursive structures in arithmetical degrees
+Normal rank
@@ Property / cites work @@
+Degrees of autostability for linear orders and linearly ordered abelian groups
+Normal rank
@@ Property / cites work @@
+Generic copies of countable structures
@@ Property / cites work: Generic copies of countable structures / 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 @@
+Pairs of recursive structures
@@ Property / cites work: Pairs of recursive structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934289
@@ Property / cites work: Q4934289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2709299
@@ Property / cites work: Q2709299 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513962
@@ Property / cites work: Q4513962 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable single-valued numerations
@@ Property / cites work: Computable single-valued numerations / 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 @@
+Degrees of autostability relative to strong constructivizations
+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 categoricity and the hyperarithmetic hierarchy
+Normal rank
@@ Property / cites work @@
+Categoricity spectra for rigid structures
@@ Property / cites work: Categoricity spectra for rigid structures / rank @@
+Normal rank
@@ Property / cites work @@
+Effective categoricity of computable linear orderings
+Normal rank
@@ Property / cites work @@
+<i>d</i>-computable categoricity for algebraic fields
+Normal rank
@@ Property / cites work @@
+Computable categoricity for algebraic fields with splitting algorithms
+Normal rank
@@ Property / cites work @@
+Q5596777
@@ Property / cites work: Q5596777 / rank @@
+Normal rank
@@ Property / cites work @@
+∏ 0 1 Classes and Degrees of Theories
@@ Property / cites work: ∏ 0 1 Classes and Degrees of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
+Normal rank
@@ Property / cites work @@
+Prime Model with No Degree of Autostability Relative to Strong Constructivizations
+Normal rank