Related papers: Smooth parameterizations of power-subanalytic sets…

It is proved that each of compact linear groups of one special type admits a polynomial factorization map onto a real vector space. More exactly, the group is supposed to be non-commutative one-dimensional and to have two connected…

In this thesis we construct 3-parameter families $G(p,q,r)$ of embedded arcs with fixed boundary in a 4-manifold. We then analyze these elements of $\pi_3\mathsf{Emb}_\partial(I,M)$ using embedding calculus by studying the induced map from…

A space $G(M, \varPhi)$ of infinitely differentiable functions in ${\mathbb R}^n$ constructed with a help of a family $\varPhi=\{\varphi_m\}_{m=1}^{\infty}$ of real-valued functions $\varphi_m \in~C({\mathbb R}^n)$ and a logarithmically…

We study monitorable sets from a topological standpoint. In particular, we use descriptive set theory to describe the complexity of the family of monitorable sets in a countable space $X$. When $X$ is second countable, we observe that the…

We study the problem of finding the one-dimensional structure in a given data set. In other words we consider ways to approximate a given measure (data) by curves. We consider an objective functional whose minimizers are a regularization of…

We compute the exact Fourier dimension of the set of $\Psi$-well-approximable $m \times n$ matrices (and the set of $\Psi$-well-approximable numbers) in the homogeneous and inhomogeneous cases for any approximation function $\Psi$…

In previous papers on this project a general static logical framework for formalizing and mechanizing set theories of different strength was suggested, and the power of some predicatively acceptable theories in that framework was explored.…

Certifying feasibility in decision-making, critical in many industries, can be framed as a constraint satisfaction problem. This paper focuses on characterising a subset of parameter values from an a priori set that satisfy constraints on a…

Let $G$ be a group containing a nilpotent normal subgroup $N$ with central series $\{N_j\}$, such that each $N_j/N_{j+1}$ is a $\mathbb{F}$-vector space over a field $\mathbb{F}$ and the action of $G$ on $N_j/N_{j+1}$ induced by the…

Using a factorization theorem due to Pasynkov we provide a short proof of the existence and density of parametric Bing and Krasinkiewicz maps. In particular, the following corollary is established: Let $f\colon X\to Y$ be a surjective map…

Let $X$ be a compact metrizable space equipped with a continuous action of a countable amenable group $G$. Suppose that the dynamical system $(X,G)$ is expansive and is the quotient by a uniformly bounded-to-one factor map of a strongly…

Let $\mathfrak{R}$ and $\mathfrak{R}'$ be two associative rings (not necessarily with the identity elements). A bijective map $\varphi$ of $\mathfrak{R}$ onto $\mathfrak{R}'$ is called a \textit{$m$-multiplicative isomorphism} if {$\varphi…

An algebra $\mathcal{A}$ of $n\times n$ complex matrices is said to be \textit{idempotent compressible} if $E\mathcal{A}E$ is an algebra for all idempotents $E\in\mathbb{M}_n(\mathbb{C})$. Analogously, $\mathcal{A}$ is said to be…

A group is said to be C*-simple if its reduced C*-algebra is simple. We establish an intrinsic (group-theoretic) characterization of groups with this property. Specifically, we prove that a discrete group is C*-simple if and only if it has…

For a finite group $G$, the proper power graph $\mathscr{P}^*(G)$ of $G$ is the graph whose vertices are non-trivial elements of $G$ and two vertices $u$ and $v$ are adjacent if and only if $u \neq v$ and $u^m=v$ or $v^m=u$ for some…

It is proved that if X is a compact Hausdorff space of Lebesgue dimension $\dim(X)$, then the squaring mapping $\alpha_{m} \colon (C(X)_{\mathrm{sa}})^{m} \to C(X)_{+}$, defined by $\alpha_{m}(f_{1},..., f_{m}) = \sum_{i=1}^{m} f_{i}^{2}$,…

We introduce matrix algebra of subsets in metric spaces and we apply it to improve results of Yamauchi and Davila regarding Asymptotic Property C. Here is a representative result: Suppose $X$ is an $\infty$-pseudo-metric space and $n\ge 0$…

Subshifts are sets of colorings of $\mathbb{Z}^d$ defined by families of forbidden patterns. In a given subshift, the extender set of a finite pattern is the set of all its admissible completions. Since soficity of $\mathbb{Z}$ subshifts is…

The usual definition of the set of constructible reals is $\Sigma ^1_2$. This set can have a simpler definition if, for example, it is countable or if every real is constructible. H. Friedman asked if the set of constructible reals can be…

A version of the argument principle is established for varieties of holomorphic mappings from the unit disc to $\mathbb C^n,$ parametrized by points of real manifolds. Applications to characterization of CR functions and estimating CR…