SOME REMARKS ON A THEOREM OF IRAJ KALANTARI CONCERNING CONVEXITY AND RECURSION THEORY

DOI10.1002/malq.19840301903zbMath0526.03029OpenAlexW2033052404MaRDI QIDQ3041181

Rodney G. Downey

Publication date: 1984

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19840301903

zbMATH Keywords

maximal pairconvexity algorithmconvexity degreedependence degreeeffective content of Stone's separation theoremfully effective vector space over a recursively ordered field

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Related Items

Undecidability of \(L(F_{\infty})\) and other lattices of r.e. substructures ⋮ \(\text{WKL}_ 0\) and Stone's separation theorem for convex sets ⋮ Degrees of convex dependence in recursively enumerable vector spaces