Switch to: References

Add citations

You must login to add citations.
  1. Degrees of convex dependence in recursively enumerable vector spaces.Thomas A. Nevins - 1993 - Annals of Pure and Applied Logic 60 (1):31-47.
    Let W be a recursively enumerable vector space over a recursive ordered field. We show the Turing equivalence of the following sets: the set of all tuples of vectors in W which are linearly dependent; the set of all tuples of vectors in W whose convex closures contain the zero vector; and the set of all pairs of tuples in W such that the convex closure of X intersects the convex closure of Y. We also form the analogous sets consisting (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Structural interactions of the recursively enumerable T- and W-degrees.R. G. Downey & M. Stob - 1986 - Annals of Pure and Applied Logic 31:205-236.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • WKL< sub> 0 and Stone's separation theorem for convex sets.Kostas Hatzikiriakou - 1996 - Annals of Pure and Applied Logic 77 (3):245-249.
    The Stone's Separation Theorem is equivalent to Weak König's Lemma.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • WKL0 and Stone's separation theorem for convex sets.Kostas Hatzikiriakou - 1996 - Annals of Pure and Applied Logic 77 (3):245-249.
    The Stone's Separation Theorem is equivalent to Weak König's Lemma.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Undecidability of L(F∞) and other lattices of r.e. substructures.R. G. Downey - 1986 - Annals of Pure and Applied Logic 32:17-26.
    Download  
     
    Export citation  
     
    Bookmark   8 citations