SOME REMARKS ON A THEOREM OF IRAJ KALANTARI CONCERNING CONVEXITY AND RECURSION THEORY (Q3041181)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | SOME REMARKS ON A THEOREM OF IRAJ KALANTARI CONCERNING CONVEXITY AND RECURSION THEORY |
scientific article |
Statements
SOME REMARKS ON A THEOREM OF IRAJ KALANTARI CONCERNING CONVEXITY AND RECURSION THEORY (English)
0 references
1984
0 references
maximal pair
0 references
dependence degree
0 references
convexity degree
0 references
effective content of Stone's separation theorem
0 references
fully effective vector space over a recursively ordered field
0 references
convexity algorithm
0 references