AbstractWe show that the existence of a nontrivial proper subspace of a vector space of dimension greater than one (over an infinite field) is equivalent to WKL0 over RCA0, and that the existence of a finite-dimensional nontrivial proper subspace of such a vector space is equivalent to ACA0 over RCA0
AbstractWe show that given a computable Banach space X and a finite-dimensional subspace U of X the ...
AbstractIn this note, we find a sharp bound for the minimal number (or in general, indexing set) of ...
AbstractThe central topic of the paper is the learnability of the recursively enumerable subspaces o...
AbstractWe show that the existence of a nontrivial proper subspace of a vector space of dimension gr...
AbstractIn this note, we find a sharp bound for the minimal number (or in general, indexing set) of ...
We continue the investigation of analytic spaces from the perspective of computable structure theory...
We continue the investigation of analytic spaces from the perspective of computable structure theory...
Abstract. Let K be a field and let V be a vector space of finite dimension n over K. We investigate ...
AbstractWe show that every compact space of large enough size has a realcompact subspace of size κ, ...
AbstractLet K⊂L be a commutative field extension. Given K-subspaces A,B of L, we consider the subspa...
Abstract. We answer a question by Niederreiter concerning the enumeration of a class of subspaces of...
In this contribution, we present some formalizations based on the HOL-Multivariate-Analysis session ...
In this contribution, we present some formalizations based on the HOL-Multivariate-Analysis session ...
Abstract Let V , W be finite dimensional vector spaces over a field K, each with n distin- guished s...
Abstract Let V , W be finite dimensional vector spaces over a field K, each with n distin- guished s...
AbstractWe show that given a computable Banach space X and a finite-dimensional subspace U of X the ...
AbstractIn this note, we find a sharp bound for the minimal number (or in general, indexing set) of ...
AbstractThe central topic of the paper is the learnability of the recursively enumerable subspaces o...
AbstractWe show that the existence of a nontrivial proper subspace of a vector space of dimension gr...
AbstractIn this note, we find a sharp bound for the minimal number (or in general, indexing set) of ...
We continue the investigation of analytic spaces from the perspective of computable structure theory...
We continue the investigation of analytic spaces from the perspective of computable structure theory...
Abstract. Let K be a field and let V be a vector space of finite dimension n over K. We investigate ...
AbstractWe show that every compact space of large enough size has a realcompact subspace of size κ, ...
AbstractLet K⊂L be a commutative field extension. Given K-subspaces A,B of L, we consider the subspa...
Abstract. We answer a question by Niederreiter concerning the enumeration of a class of subspaces of...
In this contribution, we present some formalizations based on the HOL-Multivariate-Analysis session ...
In this contribution, we present some formalizations based on the HOL-Multivariate-Analysis session ...
Abstract Let V , W be finite dimensional vector spaces over a field K, each with n distin- guished s...
Abstract Let V , W be finite dimensional vector spaces over a field K, each with n distin- guished s...
AbstractWe show that given a computable Banach space X and a finite-dimensional subspace U of X the ...
AbstractIn this note, we find a sharp bound for the minimal number (or in general, indexing set) of ...
AbstractThe central topic of the paper is the learnability of the recursively enumerable subspaces o...
DOI
Add to ORKG