Related papers: Critical partition regular functions for compact s…
We axiomatize and generalize Markov's approach to the continuity problem for Type 1 computable functions, i.e. the problem of finding sufficient conditions on a computable topological space to obtain a theorem of the form "computable…
An \textit{ideal} of $N$-tuples of operators is a class invariant with respect to unitary equivalence which contains direct sums of arbitrary collections of its members as well as their (reduced) parts. New decomposition theorems (with…
We consider various collections of functions from the Baire space X into itself naturally arising in (effective) descriptive set theory and general topology, including computable (equivalently, recursive) functions, contraction mappings,…
In a recent paper, hep-th/0509109, Gukov et al. introduced an entropy functional on the moduli space of Calabi-Yau compactifications. The maxima of this functional are then interpreted as "preferred" Calabi-Yau compactifications. In this…
We present forms of the classical Riesz-Kolmogorov theorem for compactness that are applicable in a wide variety of settings. In particular, our theorems apply to classify the precompact subsets of the Lebesgue space $L^2$, Paley-Wiener…
In general, the critical points of the distance function $d_{\mathsf{M}}$ to a compact submanifold $\mathsf{M} \subset \mathbb{R}^D$ can be poorly behaved. In this article, we show that this is generically not the case by listing regularity…
We begin the study of the consequences of the existence of certain infinite matrices. Our present application is to compactness of products of topological spaces.
We investigate the local topological structure of non-metrizable topological groups through the lens of Tukey order and cofinal types. Motivated by recent advances in topological groups admitting an $\omega^\omega$-base, we introduce the…
In this survey, my aim has been to discuss the use of sequences and countable sets in general topology. In this way I have been led to consider five different classes of topological spaces: first countable spaces, sequential spaces, Frechet…
This article is a fundamental study in computable analysis. In the framework of Type-2 effectivity, TTE, we investigate computability aspects on finite and infinite products of effective topological spaces. For obtaining uniform results we…
Every computable function has to be continuous. To develop computability theory of discontinuous functions, we study low levels of the arithmetical hierarchy of nonuniformly computable functions on Baire space. First, we classify…
We introduce the notion of functionally compact sets into the theory of nonlinear generalized functions in the sense of Colombeau. The motivation behind our construction is to transfer, as far as possible, properties enjoyed by standard…
We define and study entanglement of continuous positive definite functions on products of compact groups. We formulate and prove an infinite-dimensional analog of Horodecki Theorem, giving a necessary and sufficient criterion for…
Functions with uniform level sets can represent orders, preference relations or other binary relations and thus turn out to be a tool for scalarization that can be used, e.g., in multicriteria optimization, decision theory, mathematical…
We introduce the notion of compactifiable classes -- these are classes of metrizable compact spaces that can be up to homeomorphic copies ``disjointly combined'' into one metrizable compact space. This is witnessed by so-called compact…
Ideles and adeles can be viewed as a generalization of Minkowski theory, in which embedding of a number field to the Cartesian product of its completions at the archimedean valuation is generalized to an embedding of the Cartesian product…
In this work we study some topological aspects of function spaces arising in Stieltjes differential calculus. Chief among them are compactness results related to the Ascoli-Arzel\`a and Kolmogorov-Riesz theorems, as well as their…
The purpose of this paper is to systematically study compactness and essential norm properties of operators on a very general class of weighted Fock spaces over $\C$. In particular, we obtain rather strong necessary and sufficient…
In this paper, we obtain some results on the relationships between different ideal \linebreak convergence modes namely, $\mathcal{I}^\mathcal{K}$, $\mathcal{I}^{\mathcal{K}^*}$, $\mathcal{I}$, $\mathcal{K}$, $\mathcal{I} \cup \mathcal{K}$…
A new notion of partition-determined functions is introduced, and several basic inequalities are developed for the entropy of such functions of independent random variables, as well as for cardinalities of compound sets obtained using these…