Related papers: Complete nonmeasurability in regular families

This paper generalizes the classification in a paper of Dimitrov and Penkov of Borel subalgebras of gl_infty. Root-reductive Lie algebras are direct limits of finite-dimensional reductive Lie algebras along inclusions preserving the root…

We characterize the structural impediments to the existence of Borel perfect matchings for acyclic locally countable Borel graphs admitting a Borel selection of finitely many ends from their connected components. In particular, this yields…

Let $(S,\cdot)$ be a semigroup and $\mathfrak{m}$ be a $\sigma$-algebra on $S$. We say $(S,\cdot,\mathfrak{m})$ is a measurable semigroup if $\pi:S\times S\longrightarrow S$ by $\pi(x,y)=x\cdot y$ is a measurable function. In this paper ,…

Given any dimension function $h$, we construct a perfect set $E \subseteq \mathbb{R}$ of zero $h$-Hausdorff measure, that contains any finite polynomial pattern. This is achieved as a special case of a more general construction in which we…

We continue the study in Ben-Shimol [1],[2] and consider a Borel subalgebra $\mathfrak{b}$ and its nil radical $\mathfrak{n}$ of the simple Lie algebras of types $G_2$, $F_4$, $C_n$ over arbitrary field. Let $\mathcal{L}\in\{\mathfrak{n},…

A set $X \subseteq 2^\omega$ with positive measure contains a perfect subset. We study such perfect subsets from the viewpoint of computability and prove that these sets can have weak computational strength. Then we connect the existence of…

We provide a comprehensive development of the basics of descriptive set theory for non-separable complete metric spaces whose weight is a singular cardinal $\lambda$ of countable confinality. Somewhat unexpectedly, the resulting theory is…

Measurability with respect to ideals is tightly connected with absoluteness principles for certain forcing notions. We study a uniformization principle that postulates the existence of a uniformizing function on a large set, relative to a…

Let A be an idempotent algebra on a 3-element domain D that omits a G-set for a factor. Suppose A is not \alpha\beta-projective (for some alpha, beta subsets of D) and is not collapsible. It follows that A is switchable. We prove that, for…

Let $X$ be a zero-dimensional space and $C_c(X)$ be the set of all continuous real valued functions on $X$ with countable image. In this article we denote by $C_c^K(X)$ (resp., $C_{c}^{\psi}(X)$) the set of all functions in $C_c(X)$ with…

As a generalization of Hausdorff's extension theorem of metrics, we prove an interpolation theorem of a family of metrics defined on closed subsets of metrizable spaces. As an application, we investigate typicality of subsets of moduli…

The Levi-Civita field $\mathcal{R}$ is the smallest non-Archimedean ordered field extension of the real numbers that is real closed and Cauchy complete in the topology induced by the order. In this paper we develop a new theory of…

We show that the embeddability relations for countable quandles and for countable fields of any given characteristic other than 2 are maximally complex in a strong sense: they are invariantly universal. This notion from the theory of Borel…

We investigate ideals of the form $\{A \subseteq \omega\colon \sum_{n\in A} x_n$ is unconditionally convergent $\}$, where $(x_n)_{n\in\omega}$ is a sequence in a Polish group or in a Banach space. If an ideal on $\omega$ can be seen in…

It is known that for $X$ a nowhere locally compact metric space, the set of bounded continuous, nowhere locally uniformly continuous real-valued functions on $X$ contains a dense $G_\delta$ set in the space $C_b(X)$ of all bounded…

We count the number of strictly positive $B$-stable ideals in the nilradical of a Borel subalgebra and prove that the minimal roots of any $B$-stable ideal are conjugate by an element of the Weyl group to a subset of the simple roots. We…

Let $\pi: Y\rightarrow X$ be a continuous surjection between compact Hausdorff spaces $Y$ and $X$ which is irreducible in the sense that if $F\subsetneq Y$ is closed, then $\pi(F)\neq X$. We exhibit isomorphisms between various Boolean…

For a quantum group, we study those right coideal subalgebras, for which all irreducible representations are one-dimensional. If a right coideal subalgebra is maximal with this property, then we call it a Borel subalgebra. Besides the…

Answering some of the main questions from [MR13], we show that whenever $\kappa$ is a cardinal satisfying $\kappa^{< \kappa} = \kappa > \omega$, then the embeddability relation between $\kappa$-sized structures is strongly invariantly…

We investigate properties of the class of compact spaces on which every regular Borel measure is separable. This class will be referred to as MS. We discuss some closure properties of MS, and show that some simply defined compact spaces,…