相关论文: On a theorem of Banach and Kuratowski and K-Lusin …

We will show that, consistently, every uncountable set can be continuously mapped onto a non measure zero set, while there exists an uncountable set whose all continuous images into a Polish space are meager.

In this work we investigate the c_0-extension property. This property generalizes Sobczyk's theorem in the context of nonseparable Banach spaces. We prove that a sufficient condition for a Banach space to have this property is that its…

Hindman's celebrated Finite Sums Theorem, and its high-dimensional version due to Milliken and Taylor, are extended from covers of countable sets to covers of arbitrary topological spaces with Menger's classic covering property. The methods…

While numerous extensions of Banach's fixed point theorem typically offer only sufficient conditions for the existence and uniqueness of a fixed point and the convergence of iterative sequences, this study introduces a generalization…

A Banaschewski function on a bounded lattice L is an antitone self-map of L that picks a complement for each element of L. We prove a set of results that include the following: (1) Every countable complemented modular lattice has a…

The uniform Kruskal theorem extends the original result for trees to general recursive data types. As shown by A. Freund, M. Rathjen and A. Weiermann, it is equivalent to $\Pi^1_1$-comprehension, over $\mathsf{RCA_0}$ with the chain…

This paper is devoted to study the existence and uniqueness of solutions of a one parameter family of nonlinear fractional differential equation with mixed boundary value conditions. Riemann-Liouville fractional derivative is considered. An…

A theorem of Delorme states that every unitary representation of a connected Lie group with nontrivial reduced first cohomology has a finite-dimensional subrepresentation. More recently Shalom showed that such a property is inherited by…

Kuratowski proved that a finite graph embeds in the plane if it does not contain a subdivision of either K_5 or K_{3,3}, called Kuratowski subgraphs. A conjectured generalization of this result to all nonorientable surfaces says that a…

Hindman and Leader first introduced the notion of Central sets near zero for dense subsemigroups of $((0,\infty),+)$ and proved a powerful combinatorial theorem about such sets. Using the algebraic structure of the Stone-$\breve{C}$ech…

We construct new models of $ZF$ with an uncountable set of reals that has a unique condensation point. This addresses a question by Sierpi\'{n}ski from 1918.

More than a century ago, G. Kowalewski stated that for each n continuous functions on a compact interval [a,b], there exists an n-point quadrature rule (with respect to Lebesgue measure on [a,b]), which is exact for given functions. Here we…

We extend the well known criteria of reflexivity of Banach lattices due to Lozanovsky and Lotz to the class of finitely generated Banach $C(K)$- modules. Namely we prove that a finitely generated Banach $C(K)$-module is reflexive if and…

We study M-separability as well as some other combinatorial versions of separability. In particular, we show that the set-theoretic hypothesis b=d implies that the class of selectively separable spaces is not closed under finite products,…

In this paper, we provide a combinatorial characterization of the elements of Schur ultrafilters on countable commutative groups. Using this characterization, we construct a free Schur ultrafilter on $\mathbb Z$ that is not infinitary…

The main aim of this work is to show, in the absence of the Axiom of Choice, fundamental results on $\mathbf{E}$-compact extensions of $\mathbf{E}$-completely regular spaces, in particular, on Hewitt realcompactifications and Banaschewski…

Buraczewski et al (2023) proved a functional limit theorem (FLT) and a law of the iterated logarithm (LIL) for a random Dirichlet series $\sum_{k\geq 2}(\log k)^\alpha k^{-1/2-s}\eta_k$ as $s\to 0+$, where $\alpha>-1/2$ and $\eta_1$,…

Assuming ZF and its consistency, we study some topological and geometrical properties of the symmetrized max-plus algebra in the absence of the axiom of choice in order to discuss the minimizing vector theorem for finite products of copies…

We show that the continuum hypothesis implies there exists a Lindelof space X such that X x X is the union of two metrizable subspaces but X is not metrizable. This gives a consistent solution to a problem of Balogh, Gruenhage, and Tkachuk.…

We provide a short proof of the theorem that every real multivariate polynomial has a symmetric determinantal representation, which was first proved in J. W. Helton, S. A. McCullough, and V. Vinnikov, Noncommutative convexity arises from…