scientific article
From MaRDI portal
Publication:3931263
zbMath0476.03044MaRDI QIDQ3931263
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
effectively described disjoint convex subsets of a topological vector spaceseparation by effectively enumerated complementary convex sets
Convex sets in topological vector spaces (aspects of convex geometry) (52A07) Applications of computability and recursion theory (03D80) Theory of numerations, effectively presented structures (03D45)
Related Items (3)
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
This page was built for publication:
