Related papers: Two infinite quantities and their surprising relat…

In this paper we study two notions of differentiability introduced by P. Cannarsa and G. Da Prato (see [28]) and L. Gross (see [56]) in both the framework of infinite dimensional analysis and the framework of Malliavin calculus.

Using the general notions of finitely presentable and finitely generated object introduced by Gabriel and Ulmer in 1971, we prove that, in any (locally small) category, two sequences of finitely presentable objects and morphisms (or two…

The smooth development of large parts of mathematics hinges on the idea that some sets are `small' or `negligible' and can therefore be ignored for a given purpose. The perhaps most famous smallness notion, namely `measure zero', originated…

We introduce two families of infinite iterated function systems (IFSs) $\mathcal{F}(\mathbf{d}, T)$ and $\mathcal{G}(\mathbf{d}, T)$, parametrized by a sequence of positive real numbers $\mathbf{d}$ and a natural number $T$, and investigate…

Two infinite sets $A$ and $B$ of non-negative integers are called \emph{perfect additive complements of non-negative integers}, if every non-negative integer can be uniquely expressed as the sum of elements from $A$ and $B$. In this paper,…

We extend the concept of "almost indiscernible theory" introduced by Pillay and Sklinos in [Bull. Symb. Log., 2015] (which was itself a modernization and expansion of Baldwin and Shelah [Algebra Universalis, 1983]), to uncountable languages…

Mathematical conception of infinite quantities forms a cornerstone of many disciplines of modern mathematics --- from differential calculus to set theory. In fact, it could be argued that the most significant revolutions in mathematics in…

This is both an expository and research paper where we advocate a systematic study of continuous analogues of finite partially ordered sets, convex polytopes, oriented matroids, arrangements of subspaces, finite simplicial complexes, and…

Entangled linear orders were first introduced by Abraham and Shelah. Todor\v{c}evi\'c showed that these linear orders exist under $\mathsf{CH}$. We prove the following results: (1) If $\mathsf{CH}$ holds, then, for every $n > 0$, there is…

We present a new set of infinitely many shape invariant potentials and the corresponding exceptional (X_{\ell}) Laguerre polynomials. They are to supplement the recently derived two sets of infinitely many shape invariant thus exactly…

According to Cantor, a set is a collection into a whole of defined and separate (we shall say distinct) objects. So, a natural question is ``How to treat as `sets' collections of indistinguishable objects?". This is the aim of quasi-set…

In 1919 A. Einstein suspected first that gravitational fields could play an essential role in the structure of elementary particles. In 1937, P.A.M. Dirac found a miraculous link between the properties of the visible Universe and elementary…

The classical Khintchine--Jarn\'ik Theorem provides elegant criteria for determining the Lebesgue measure and Hausdorff measure of sets of points approximated by rational points, which has inspired much modern research in metric Diophantine…

The study of sums of finite sets of integers has mostly concentrated on sets with very small sumsets (Freiman's theorem and related work) and on sets with very large sumsets (Sidon sets and $B_h$-sets). This paper considers the full range…

A landmark theorem in the metric theory of continued fractions begins this way: Select a non-negative real function $f$ defined on the positive integers and a real number $x$, and form the partial sums $s_n$ of $f$ evaluated at the partial…

Many exponential sums over finite fields, including Gauss sums and Kloosterman sums, arise as the Fourier transform with respect to a character of the trace function of an $\ell$-adic sheaf on a commutative algebraic group. We study the…

Under $\text{CH}$ we construct a partition of Baire space into compact sets, which is indestructible by countably supported iteration and product of Sacks forcing of any length, answering a question of Newelski. Further, we present an…

Throughout our work on the L\^e cycles of an affine hypersurface singularity, our primary algebraic tool consisted of a method for taking the Jacobian ideal of a complex analytic function and decomposing it into pure-dimensional "pieces".…

A finite set X in the d-dimensional Euclidean space is called an s-distance set if the set of Euclidean distances between any two distinct points of X has size s. Larman--Rogers--Seidel proved that if the cardinality of a two-distance set…

In this paper we propose a new treatment about infinite dimensional manifolds, using the language of category and functor. Our definition of infinite dimensional manifolds is a natural generalization of finite dimensional manifolds in the…