Infinite dimensional proper subspaces of computable vector spaces (Q402446): Difference between revisions

@@ Property / cites work @@
+Q5563439
@@ Property / cites work: Q5563439 / rank @@
+Normal rank
@@ Property / cites work @@
+Rekursive Algebren mit Kettenbedingungen
@@ Property / cites work: Rekursive Algebren mit Kettenbedingungen / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513963
@@ Property / cites work: Q4513963 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934277
@@ Property / cites work: Q4934277 / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength of Ramsey's theorem for pairs
@@ Property / cites work: On the strength of Ramsey's theorem for pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Chain conditions in computable rings
@@ Property / cites work: Chain conditions in computable rings / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of radicals in noncommutative rings
+Normal rank
@@ Property / cites work @@
+The computability, definability, and proof theory of Artinian rings
+Normal rank
@@ Property / cites work @@
+Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness and Complexity
@@ Property / cites work: Algorithmic Randomness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Ideals in computable rings
@@ Property / cites work: Ideals in computable rings / rank @@
+Normal rank
@@ Property / cites work @@
+Subspaces of computable vector spaces
@@ Property / cites work: Subspaces of computable vector spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485838
@@ Property / cites work: Q4485838 / rank @@
+Normal rank
@@ Property / cites work @@
+Countable algebra and set existence axioms
@@ Property / cites work: Countable algebra and set existence axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Addendum to ``Countable algebra and set existence axioms''
+Normal rank
@@ Property / cites work @@
+Effective procedures in field theory
@@ Property / cites work: Effective procedures in field theory / rank @@
+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 @@
+∏ 0 1 Classes and Degrees of Theories
@@ Property / cites work: ∏ 0 1 Classes and Degrees of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q2770573
@@ Property / cites work: Q2770573 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3739243
@@ Property / cites work: Q3739243 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective content of field theory
@@ Property / cites work: Effective content of field theory / rank @@
+Normal rank
@@ Property / cites work @@
+INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS
+Normal rank
@@ Property / cites work @@
+Open Questions in Reverse Mathematics
@@ Property / cites work: Open Questions in Reverse Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3611832
@@ Property / cites work: Q3611832 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic colloquium '77. Proceedings of the colloquium held in Wroclaw, August 1977
+Normal rank
@@ Property / cites work @@
+Computable Algebra, General Theory and Theory of Computable Fields
+Normal rank
@@ Property / cites work @@
+A <i>r</i>-maximal vector space not contained in any maximal vector space
+Normal rank
@@ Property / cites work @@
+Degrees of models
@@ Property / cites work: Degrees of models / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596777
@@ Property / cites work: Q5596777 / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength of Ramsey's theorem
@@ Property / cites work: On the strength of Ramsey's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse Mathematics: The Playground of Logic
@@ Property / cites work: Reverse Mathematics: The Playground of Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Controlling the dependence degree of a recursively enumerable vector space
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+Turing Computability
@@ Property / cites work: Turing Computability / rank @@
+Normal rank
@@ Property / cites work @@
+– <i>CA</i><sub>0</sub> and order types of countable ordered groups
+Normal rank
@@ Property / cites work @@
+Ordered Groups: A Case Study in Reverse Mathematics
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and fully ordered groups
@@ Property / cites work: Reverse mathematics and fully ordered groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997667
@@ Property / cites work: Q3997667 / rank @@
+Normal rank