Strength and Weakness in Computable Structure Theory (Q2970966): Difference between revisions

@@ 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 @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Degrees of categoricity and the hyperarithmetic hierarchy
+Normal rank
@@ Property / cites work @@
+DEGREES OF CATEGORICITY ON A CONE VIA<i>η</i>-SYSTEMS
+Normal rank
@@ Property / cites work @@
+On Schnorr and computable randomness, martingales, and machines
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness and Complexity
@@ Property / cites work: Algorithmic Randomness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+On a hierarchy of sets. III
@@ Property / cites work: On a hierarchy of sets. III / 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 @@
+Schnorr trivial reals: a construction
@@ Property / cites work: Schnorr trivial reals: a construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3567847
@@ Property / cites work: Q3567847 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees that Are Low for Isomorphism
@@ Property / cites work: Degrees that Are Low for Isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Schnorr trivial sets and truth-table reducibility
@@ Property / cites work: Schnorr trivial sets and truth-table reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Lowness for isomorphism and degrees of genericity
@@ Property / cites work: Lowness for isomorphism and degrees of genericity / rank @@
+Normal rank
@@ Property / cites work @@
+Effective procedures in field theory
@@ Property / cites work: Effective procedures in field theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249356
@@ Property / cites work: Q4249356 / rank @@
+Normal rank
@@ Property / cites work @@
+Degree spectra and computable dimensions in algebraic structures
+Normal rank
@@ Property / cites work @@
+Combinatorial principles weaker than Ramsey's Theorem for pairs
+Normal rank
@@ Property / cites work @@
+The atomic model theorem and type omitting
@@ Property / cites work: The atomic model theorem and type omitting / rank @@
+Normal rank
@@ Property / cites work @@
+Realizing levels of the hyperarithmetic hierarchy as degree spectra of relations on computable 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 @@
+Non <i>Σ</i><sub><i>n</i></sub> axiomatizable almost strongly minimal theories
+Normal rank
@@ Property / cites work @@
+PRIORITY ARGUMENTS VIA TRUE STAGES
@@ Property / cites work: PRIORITY ARGUMENTS VIA TRUE STAGES / rank @@
+Normal rank
@@ Property / cites work @@
+Descriptive set theory
@@ Property / cites work: Descriptive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and Randomness
@@ Property / cites work: Computability and Randomness / rank @@
+Normal rank
@@ Property / cites work @@
+Randomness, relativization and Turing degrees
@@ Property / cites work: Randomness, relativization and Turing degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. The theory of functions and sets of natural numbers
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. Vol. II
@@ Property / cites work: Classical recursion theory. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+The Friedberg-Muchnik Theorem Re-Examined
@@ Property / cites work: The Friedberg-Muchnik Theorem Re-Examined / rank @@
+Normal rank