Related papers: On Kuratowski partitions
Metrizable spaces are studied in which every closed set is an $\alpha$-limit set for some continuous map and some point. It is shown that this property is enjoyed by every space containing sufficiently many arcs (formalized in the notion of…
Given a continuous linear cocycle A over a homeomorphism f of a compact metric space X, we investigate its set R of Lyapunov-Perron regular points, that is, the collection of trajectories of f that obey the conclusions of the Multiplicative…
In 1931, Banach proved that, far from being exceptional objects, the Weierstrass functions form a residual set in the space $\mathcal{C}[0,1]$ of continuous functions. Later on, in 1966, V. I. Gurariy showed that, except for zero, there is…
We investigate the Baire classification of mappings $f:X\times Y\to Z$, where $X$ belongs to a wide class of spaces, which includes all metrizable spaces, $Y$ is a topological space, $Z$ is an equiconnected space, which are continuous in…
Let $K$ be the compact Lie group $USp(N/2)$ or $SO(N, R)$. Let $M^K_n$ be the moduli space of framed K-instantons over $S^4$ with the instanton number $n$. By Donaldson (1984), $M^K_n$ is endowed with a natural scheme structure. It is a…
A dichotomy discovered by Solecki says that a Baire class 1 function from a Souslin space into a Polish space either can be decomposed into countably many continuous functions, or else contains one particular function which cannot be so…
Solomonoff unified Occam's razor and Epicurus' principle of multiple explanations to one elegant, formal, universal theory of inductive inference, which initiated the field of algorithmic information theory. His central result is that the…
A locally compact group $G$ has the factorization property if the map $$C^*(G)\odot C^*(G)\ni a\otimes b\mapsto \lambda(a)\rho(b)\in\mathcal B(L^2(G))$$ is continuous with respect to the minimal C*-norm. This paper seeks to initiate a…
Linear differential equations with polynomial coefficients over a field $K$ of positive characteristic $p$ with local exponents in the prime field have a basis of solutions in the differential extension $\mathcal{R}_p=K(z_1, z_2,…
The Kuratowski monoid $\mathbf{K}$ is generated under operator composition by closure and complement in a nonempty topological space. It satisfies $2\leq|\mathbf{K}|\leq14$. The Gaida-Eremenko (or GE) monoid $\mathbf{KF}$ extends…
It is proved that every function of finite Baire index on a separable metric space $K$ is a $D$-function, i.e., a difference of bounded semi-continuous functions on $K$. In fact it is a strong $D$-function, meaning it can be approximated…
For separable metrizable spaces $X,Y$ and a metrizable topological group $Z$ by $S(X\times Y,Z)$ we denote the space of all separately continuous functions $f:X\times Y\to Z$ endowed with the topology of layer-wise uniform convergence,…
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…
The aim of this paper is to prove all well-known metrization theorems using partitions of unity. To accomplish this, we first discuss sufficient and necessary conditions for existence of $\mathcal{U}$-small partitions of unity (partitions…
We want to give a construction as simple as possible of a Borel subset of a product of two Polish spaces. This introduces the notion of potential Wadge class. Among other things, we study the non-potentially closed sets, by proving…
Let $k$ be an arbitrary field, and C be a curve in A^n defined parametrically by x_1=f_1(t),...,x_n=f_n(t), where f_1,...,f_n\in k[t]. A necessary and sufficient condition for the two function fields k(t) and k(f_1,...,f_n) to be same is…
Tarski's Circle Squaring Problem from 1925 asks whether it is possible to partition a disk in the plane into finitely many pieces and reassemble them via isometries to yield a partition of a square of the same area. It was finally resolved…
K\"othe's classical problem posed by G. K\"othe in 1935 asks to describe the rings $R$ such that every left $R$-module is a direct sum of cyclic modules (these rings are known as left K\"othe rings). K\"othe, Cohen and Kaplansky solved this…
In 2002 R. Suter identified a dihedral symmetry on certain order ideals in Young's lattice and gave a combinatorial action on the partitions in these order ideals. Viewing this result geometrically, the order ideals can be seen to be seen…
Solomonoff unified Occam's razor and Epicurus' principle of multiple explanations to one elegant, formal, universal theory of inductive inference, which initiated the field of algorithmic information theory. His central result is that the…