Related papers: Category analog of sup-measurability problem

Let $X$ be separable metrizable, and let $f\subseteq X^2$ be a non-trivial relation on $X$. For a given partial order $(P,\leq)$, the Mahavier product $M(X,f,P)\subseteq X^P$ (also known as a generalized inverse limit) collects functions…

A language $L$ is said to be ${\cal C}$-measurable, where ${\cal C}$ is a class of languages, if there is an infinite sequence of languages in ${\cal C}$ that ``converges'' to $L$. We investigate the properties of ${\cal C}$-measurability…

It is proved that for any positive number $\lambda$, $1<\lambda<2$; there exists a meromorphic function $f$ with logarithmic order $\lambda$= $\displaystyle\limsup_{r\to+\infty}\frac{\log T(r,f)}{\log\log r}$ such that $f$ has no Julia…

The goal of this note is to construct a uniformly antisymmetric function f:R-> R with a bounded countable range. This answers Problem 1(b) of Ciesielski and Larson. (See also list of problems in Thomson and Problem 2(b) from Ciesielski's…

We study the subsets of metric spaces that are negligible for the infimal length of connecting curves; such sets are called metrically removable. In particular, we show that every totally disconnected set with finite Hausdorff measure of…

Let $f \colon X \rightarrow Y$ be a resolvable-measurable mapping of a metrizable space $X$ to a regular space $Y$. Then $f$ is piecewise continuous. Additionally, for a metrizable completely Baire space $X$, it is proved that $f$ is…

This paper deals with functional equations in the form of $f(x) + g(y) = h(x,y)$ where $h$ is given and $f$ and $g$ are unknown. We will show that if $h$ is a Borel measurable function associated with characterizations of the uniform or…

Let G be a locally compact group, and let U be its unitary representation on a Hilbert space H. Endow the space L(H) of linear bounded operators on H with weak operator topology. We prove that if U is a measurable map from G to L(H) then it…

We give characterizations for the (in ZFC unprovable) sentences ``Every $\Sb{1}{2}$--set is measurable" and ``Every $\Db{1}{2}$--set is measurable" for various notions of measurability derived from well--known forcing partial orderings.

We study $\omega$-categorical $MS$-measurable structures. Our main result is that a class of $\omega$-categorical Hrushovski constructions, supersimple of finite $SU$-rank is not $MS$-measurable. These results complement the work of Evans…

A bounded function $\phi: G\to \C$ on an LCA group $G$ is called Hartman measurable if it can be extended to a Riemann integrable function $\phi^*: X\to \C$ on some group compactification $(\iota_X,X)$, i.e. on a compact group $X$ such that…

By using the space of fuzzy numbers, in e.g. [5] have been considered several complete metric spaces (called here {\bf FN}-type spaces) endowed with addition and scalar multiplication, such that the metrics have nice properties but the…

If ZFC is consistent, then each of the following are consistent with ZFC + 2^{{aleph_0}}= aleph_2 : 1.) X subseteq R is of strong measure zero iff |X| <= aleph_1 + there is a generalized Sierpinski set. 2.) The union of aleph_1 many strong…

Two separated realcompact measurable spaces $(X,\mathcal{A})$ and $(Y,\mathcal{B})$ are shown to be isomorphic if and only if the rings $\mathcal{M}(X,\mathcal{A})$ and $\mathcal{M}(Y,\mathcal{B})$ of all real valued measurable functions…

In this article we explore under which conditions on the interior function the composition of functions is measurable. We also study the sharpness of the result by providing a counterexample for weaker hypotheses.

We prove consistency of the following sentence: ``ZFC + every real function is continuous on a non-meagre set'', answering a question of Fremlin.

We show that for a Suslin ccc forcing notion $\mathbb Q$ adding a Hechler real, ``$\text{ZF}+\text{DC}_{\omega_1}+$all sets of reals are $I_{\mathbb Q,\aleph_0}$-measurable'' implies the existence of an inner model with a measurable…

A semi-process is an analog of the semi-flow for non-autonomous differential equations or inclusions. We prove an abstract result on the existence of measurable semi-processes in the situations where there is no uniqueness. Also, we allow…

Let $(\Omega_i,\mathcal A_i,\mu_i) $ be a measure space with finite measure $\mu_i$, and let $(L_{\log}(\Omega_i, \mathcal A_i,\mu_i), \|\cdot\|_{\log,\mu_i})$ be a $F$-space of all $\log$-integrable functions on $(\Omega_i,\mathcal…

For a separable finite diffuse measure space $\mathcal{M}$ and an orthonormal basis $\{\varphi_n\}$ of $L^2(\mathcal{M})$ consisting of bounded functions $\varphi_n\in L^\infty(\mathcal{M})$, we find a measurable subset…