Freely generated projective planes with finite computable dimension (Q2401538): Difference between revisions

@@ Property / cites work @@
+The class of projective planes is noncomputable
@@ Property / cites work: The class of projective planes is noncomputable / rank @@
+Normal rank
@@ Property / cites work @@
+Q3931264
@@ Property / cites work: Q3931264 / rank @@
+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 @@
+Computable isomorphisms, degree spectra of relations, and Scott families
+Normal rank
@@ Property / cites work @@
+Computably categorical structures and expansions by constants
+Normal rank
@@ Property / cites work @@
+A solution of the Goncharov-Ash problem and the spectrum problem in the theory of computable models.
+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 @@
+Degrees of Structures
@@ Property / cites work: Degrees of Structures / rank @@
+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 @@
+Relative to any nonrecursive set
@@ Property / cites work: Relative to any nonrecursive set / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerations, countable structures and Turing degrees
+Normal rank
@@ Property / cites work @@
+Spectra of degrees of some structures
@@ Property / cites work: Spectra of degrees of some structures / rank @@
+Normal rank
@@ Property / cites work @@
+Spectra of highn and non-lown degrees
@@ Property / cites work: Spectra of highn and non-lown degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Uncountable degree spectra
@@ Property / cites work: Uncountable degree spectra / rank @@
+Normal rank
@@ Property / cites work @@
+Some effects of Ash-Nerode and other decidability conditions on degree spectra
+Normal rank
@@ Property / cites work @@
+The possible Turing degree of the nonzero member in a two element degree spectrum
+Normal rank
@@ Property / cites work @@
+Degree spectra of relations on structures of finite computable dimension
+Normal rank
@@ Property / cites work @@
+Degree spectra and computable dimensions in algebraic structures
+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 @@
+Theory of projective planes
@@ Property / cites work: Theory of projective planes / rank @@
+Normal rank
@@ Property / cites work @@
+Q5683869
@@ Property / cites work: Q5683869 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of the theory of projective planes
@@ Property / cites work: Undecidability of the theory of projective planes / rank @@
+Normal rank
@@ Property / cites work @@
+On freely generated projective planes
@@ Property / cites work: On freely generated projective planes / rank @@
+Normal rank