Related papers: High dimensional countable compactness and ultrafi…
We study two related quantities which generalize the concept of upper Banach density of a set to two measurable subsets of the plane. The first of them allows us to generalize a classic result on sufficiently large distances realized in a…
We study the compactness problem for moduli spaces of holomorphic supercurves which, being motivated by supergeometry, are perturbed such as to allow for transversality. We give an explicit construction of limiting objects for sequences of…
We show that in the $\mathbb{P}_{\max}$ extension of a certain Chang-type model of determinacy, if $\kappa\in\{\omega_1, \omega_2, \omega_3\}$, then the restriction of the club filter on $\kappa\cap\mathrm{Cof}(\omega)$ to HOD is an…
Turing's famous 'machine' framework provides an intuitively clear conception of 'computing with real numbers'. A recursive counterexample to a theorem shows that the theorem does not hold when restricted to computable objects. These…
We investigate connections between resolvability and different forms of tightness. This study is adjacent to [1,2]. We construct a non-regular refinement $\tau^*$ of the natural topology of the real line $\mathbb{R}$ with properties such…
High-dimensional data sets are commonly collected in many contemporary applications arising in various fields of scientific research. We present two views of finite samples in high dimensions: a probabilistic one and a nonprobabilistic one.…
In 1990, Comfort asked: is there, for every cardinal number $\alpha \leq 2^{\mathfrak{c}}$, a topological group $G$ such that $G^\gamma$ is countably compact for all cardinals $\gamma<\alpha$, but $G^\alpha$ is not countably compact? A…
This is an overview about a method of constructing ccc forcings: Suppose first that a continuous, commutative system of complete embeddings between countable forcings indexed along $\omega_1$ is given. Then its direct limit satisfies ccc by…
We study free filters and their maximal extensions on the set of natural numbers. We characterize the limit of a sequence of real numbers in terms of the Frechet filter, which involves only one quantifier as opposed to the three…
We argue that the finiteness of quantum gravity amplitudes in fully compactified theories (at least in supersymmetric cases) leads to a bottom-up prediction for the existence of non-trivial dualities. In particular, finiteness requires 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…
A set of sequences is said to converge simultaneously if there exists an infinite subset $H$ of the index set $\omega$ such that all sequences converge when restricted to $H$. We discuss simultaneous convergence of sequences in the same or…
The main question studied in this article may be viewed as a nonlinear analogue of Dvoretzky's theorem in Banach space theory or as part of Ramsey theory in combinatorics. Given a finite metric space on n points, we seek its subspace of…
Detecting and measuring repetitiveness of strings is a problem that has been extensively studied in data compression and text indexing. However, when the data are structured in a non-linear way, like in the context of two-dimensional…
We consider a six-dimensional $U(1)$ gauge theory compactified on two-dimensional manifolds. The number of chiral fermions is determined by the flux quantization number on the two-dimensional compact manifolds. Using the Swampland…
The idea of convex sets and various related results in 2-Probabilistic normed spaces were established in [HR]. In this paper, We obtain the concepts of convex series closedness, convex series compactness, boundedness and their…
The use of high-dimensional features has become a normal practice in many computer vision applications. The large dimension of these features is a limiting factor upon the number of data points which may be effectively stored and processed,…
An ultrafilter $p$ on $\omega$ is said to be discrete if, given any function $f\colon \omega \to X$ to any completely regular Hausdorff space, there is an $A \in p$ such that $f(A)$ is discrete. Basic properties of discrete ultrafilters are…
Diversities have recently been developed as multiway metrics admitting clear and useful notions of hyperconvexity and tight span. In this note we consider the analytic properties of diversities, in particular the generalizations of uniform…
Evaluating the channel capacity is one of many key problems in information theory. In this work we derive rather-mild sufficient conditions under which the capacity is finite and achievable. These conditions are derived for generic,…