A structure of punctual dimension two (Q5111521): Difference between revisions

@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Structures computable in polynomial time. I
@@ Property / cites work: Structures computable in polynomial time. I / rank @@
+Normal rank
@@ Property / cites work @@
+Structures computable in polynomial time. II
@@ Property / cites work: Structures computable in polynomial time. II / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time presentations of algebraic number fields
+Normal rank
@@ Property / cites work @@
+FOUNDATIONS OF ONLINE STRUCTURE THEORY
@@ Property / cites work: FOUNDATIONS OF ONLINE STRUCTURE THEORY / rank @@
+Normal rank
@@ Property / cites work @@
+Space complexity of abelian groups
@@ Property / cites work: Space complexity of abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4946095
@@ Property / cites work: Q4946095 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time versus recursive models
@@ Property / cites work: Polynomial-time versus recursive models / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time Abelian groups
@@ Property / cites work: Polynomial-time Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249365
@@ Property / cites work: Q4249365 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite computable dimension and degrees of categoricity
+Normal rank
@@ Property / cites work @@
+Graphs are not universal for online computability
@@ Property / cites work: Graphs are not universal for online computability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003861
@@ Property / cites work: Q4003861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4956005
@@ Property / cites work: Q4956005 / rank @@
+Normal rank
@@ Property / cites work @@
+Turing's Legacy
@@ Property / cites work: Turing's Legacy / rank @@
+Normal rank
@@ Property / cites work @@
+Q3931264
@@ Property / cites work: Q3931264 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3961013
@@ Property / cites work: Q3961013 / rank @@
+Normal rank
@@ Property / cites work @@
+Every recursive linear ordering has a copy in DTIME-SPACE(<i>n</i>,log(<i>n</i>))
+Normal rank
@@ Property / cites work @@
+Degree spectra and computable dimensions in algebraic structures
+Normal rank
@@ Property / cites work @@
+COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY
+Normal rank
@@ Property / cites work @@
+An Effective Version of Dilworth's Theorem
@@ Property / cites work: An Effective Version of Dilworth's Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+On-line coloring \(k\)-colorable graphs
@@ Property / cites work: On-line coloring \(k\)-colorable graphs / rank @@
+Normal rank
@@ Property / cites work @@
+The diversity of categoricity without delay
@@ Property / cites work: The diversity of categoricity without delay / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic structures computable without delay
@@ Property / cites work: Algebraic structures computable without delay / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850551
@@ Property / cites work: Q4850551 / rank @@
+Normal rank
@@ Property / cites work @@
+On-Line Coloring and Recursive Graph Theory
@@ Property / cites work: On-Line Coloring and Recursive Graph Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938557
@@ Property / cites work: Q4938557 / rank @@
+Normal rank
@@ Property / cites work @@
+An on-line graph coloring algorithm with sublinear performance ratio
+Normal rank
@@ Property / cites work @@
+CONSTRUCTIVE ALGEBRAS I
@@ Property / cites work: CONSTRUCTIVE ALGEBRAS I / rank @@
+Normal rank
@@ Property / cites work @@
+Eliminating unbounded search in computable algebra
+Normal rank
@@ Property / cites work @@
+An introduction to computable model theory on groups and fields
+Normal rank
@@ Property / cites work @@
+The back-and-forth method and computability without delay
+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 @@
+Graph colorings and recursively bounded \(\Pi ^ 0_ 1\)-classes
+Normal rank
@@ Property / cites work @@
+The additive group of the rationals does not have an automatic presentation
+Normal rank