Degrees of orders on torsion-free abelian groups (Q385079): Difference between revisions

@@ Property / cites work @@
+The Boolean Space of Orderings of a Field
@@ Property / cites work: The Boolean Space of Orderings of a Field / rank @@
+Normal rank
@@ Property / cites work @@
+Spaces of orders and their Turing degree spectra
@@ Property / cites work: Spaces of orders and their Turing degree spectra / rank @@
+Normal rank
@@ Property / cites work @@
+Some constructivizations of Abelian groups
@@ Property / cites work: Some constructivizations of Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Every recursive Boolean algebra is isomorphic to one with incomplete atoms
+Normal rank
@@ Property / cites work @@
+Decidability and computability of certain torsion-free abelian groups
+Normal rank
@@ Property / cites work @@
+Recursion theory and ordered groups
@@ Property / cites work: Recursion theory and ordered groups / rank @@
+Normal rank
@@ Property / cites work @@
+Effectively categorical abelian groups
@@ Property / cites work: Effectively categorical abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Linear Orders with Incomplete Successivities
+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 @@
+Q5509706
@@ Property / cites work: Q5509706 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3484829
@@ Property / cites work: Q3484829 / rank @@
+Normal rank
@@ Property / cites work @@
+Degree spectra of intrinsically c.e. relations
@@ Property / cites work: Degree spectra of intrinsically c.e. relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406587
@@ Property / cites work: Q4406587 / rank @@
+Normal rank
@@ Property / cites work @@
+Effectively completely decomposable Abelian groups.
+Normal rank
@@ Property / cites work @@
+Q2770573
@@ Property / cites work: Q2770573 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5840132
@@ Property / cites work: Q5840132 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936631
@@ Property / cites work: Q4936631 / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerations and completely decomposable torsion-free abelian groups
+Normal rank
@@ Property / cites work @@
+Effective content of field theory
@@ Property / cites work: Effective content of field theory / rank @@
+Normal rank
@@ Property / cites work @@
+Computable Algebra, General Theory and Theory of Computable Fields
+Normal rank
@@ Property / cites work @@
+Graph colorings and recursively bounded \(\Pi ^ 0_ 1\)-classes
+Normal rank
@@ Property / cites work @@
+\(\Pi_{1}^{0}\) classes and orderable groups
@@ Property / cites work: \(\Pi_{1}^{0}\) classes and orderable groups / rank @@
+Normal rank