相关论文: All meager filters may be null

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…

Let $\Omega \subset \mathbb{R}^d$ be a set with finite Lebesgue measure such that, for a fixed radius $r>0$, the Lebesgue measure of $\Omega \cap B_r (x)$ is equal to a positive constant when $x$ varies in the essential boundary of…

A set of reals $X$ is $\mathfrak{b}$-concentrated if it has cardinality at least $\mathfrak{b}$ and it contains a countable set $D\subseteq X$ such that each closed subset of $X$ disjoint with $D$ has size smaller than $\mathfrak{b}$. We…

Let $X$ be a metric space and $\mu$ an $s$-regular Ahlfors measure. Let $Y$ be a metric space. We prove that for Besov functions $u \in B^r_{q,\infty}(X,\mu;Y)$, every point is a {\it general average Lebesgue point} of $u$ outside a…

In the absence of the Axiom of Choice, necessary and sufficient conditions for a locally compact Hausdorff space to have all non-empty second-countable compact Hausdorff spaces as remainders are given in $\mathbf{ZF}$. Among other…

Let $(A,\mathfrak{m})$ be a Noetherian local ring, $M$ a finite $A$-module and $x_1,...,x_n\in \m$ such that $\lambda (M/\x M)$ is finite. Serre proved that all partial Euler characteristics of $M$ with respect to $\x$ is non-negative. This…

For any countable group $\Gamma$ satisfying the ``weak Rohlin property'', and for any dynamical property, the set of $\Gamma$-actions with that property is either residual or meager. The class of groups with the weak Rohlin property…

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.

The empty set of course contains no computable point. On the other hand, surprising results due to Zaslavskii, Tseitin, Kreisel, and Lacombe assert the existence of NON-empty co-r.e. closed sets devoid of computable points: sets which are…

We give sufficient conditions on the underlying filtration such that all totally inaccessible stopping times have compensators which are absolutely continuous. If a semimartingale, strong Markov process X has a representation as a solution…

We introduce a notion of density point and prove results analogous to Lebesgue's density theorem for various well-known ideals on Cantor space and Baire space. In fact, we isolate a class of ideals for which our results hold. In contrast to…

We show that the Heisenberg group $\mathbb{H}^n$ contains a measure zero set $N$ such that every Lipschitz function $f\colon \mathbb{H}^n \to \mathbb{R}$ is Pansu differentiable at a point of $N$. The proof adapts the construction of small…

We prove the following theorem: For a partially ordered set Q such that every countable subset has a strict upper bound, there is a forcing notion satisfying ccc such that, in the forcing model, there is a basis of the null ideal of the…

It is well known that axiom of choice implies the existence of non-measurable sets for Lebesgue's measure on R as well as the existence of "paradoxical" decompositions of the unit ball of R^3 (Banach-Tarski). This is generally interpreted…

We study the sigma-finite measures in the space of vector-valued distributions on the manifold $X$ with Laplace transform $$\Psi(f)=\exp\{-\theta\int_X\ln||f(x)||dx\}, \theta>0.$$ We also consider the weak limit of Haar measures on the…

Let $(G,\cdot)$ be a Polish group. We say that a set $X \subset G$ is Haar null if there exists a universally measurable set $U \supset X$ and a Borel probability measure $\mu$ such that for every $g, h \in G$ we have $\mu(gUh)=0$. We call…

We prove that under H\"ormander's type conditions on the coefficients of the unobservable component of a partially observable diffusion process the filtering density is infinitely differentiable and can be represented as the integral of an…

In the present article we provide a sufficient condition for a closed set F in R^d to have the following property which we call c-removability: Whenever a function f:R^d->R is locally convex on the complement of F, it is convex on the whole…

For a countable, weakly minimal theory, we show that the Schroeder-Bernstein property (any two elementarily bi-embeddable models are isomorphic) is equivalent to both a condition on orbits of rank 1 types and the property that the theory…

In this paper we study the behaviour of selective separability properties in the class of Frech\'{e}t-Urysohn spaces. We present two examples, the first one given in ZFC proves the existence of a countable Frech\'{e}t-Urysohn (hence…