Downey, R. Some remarks on a theorem of Iraj Kalantari concerning convexity and recursion theory. (English) Zbl 0526.03029 Z. Math. Logik Grundlagen Math. 30, 295-302 (1984). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 Documents MSC: 03D45 Theory of numerations, effectively presented structures Keywords:maximal pair; dependence degree; convexity degree; effective content of Stone’s separation theorem; fully effective vector space over a recursively ordered field; convexity algorithm Citations:Zbl 0476.03044 PDFBibTeX XMLCite \textit{R. Downey}, Z. Math. Logik Grundlagen Math. 30, 295--302 (1984; Zbl 0526.03029) Full Text: DOI