Related papers: Strongly meager sets can be quite big

Quantum Measure Theory (QMT) is a generalization of quantum theory where physical predictions are computed from a matrix known as \emph{decoherence functional} (DF). Previous works have noted that, in its original formulation, QMT exhibits…

For a countable ordinal epsilon we construct a Sigma^0_2 subset of the Cantor space for which one may force aleph_epsilon translations with intersections of size 2i, but such that it has no perfect set of such translations in any ccc…

Consider a measurable space with an atomless finite vector measure. This measure defines a mapping of the $\sigma$-field into an Euclidean space. According to the Lyapunov convexity theorem, the range of this mapping is a convex compactum.…

We study the complexity of the classification problem for countable models of set theory (ZFC). We prove that the classification of arbitrary countable models of ZFC is Borel complete, meaning that it is as complex as it can conceivably be.…

When a linear order has an order preserving surjection onto each of its suborders we say that it is strongly surjective. We prove that the set of countable strongly surjective linear orders is complete for the class of sets which are the…

The structure of the category of matroids and strong maps is investigated: it has coproducts and equalizers, but not products or coequalizers; there are functors from the categories of graphs and vector spaces, the latter being faithful;…

We prove that in a Euclidean space of dimension at least two, there exists a compact set of Lebesgue measure zero such that any real-valued Lipschitz function defined on the space is differentiable at some point in the set. Such a set is…

We give new arguments for sums and products of sufficient numbers of arbitrary central Cantor sets to produce large open intervals. We further discuss the same question for $C^1$ images of such central Cantor sets. This gives another…

It is well known that sets of $p$-capacity zero are removable for bounded $p$-harmonic functions, but on metric spaces there are examples of removable sets of positive capacity. In this paper, we show that this can happen even on unweighted…

This paper is concerned with certain generalizations of meagreness and their combinatorial equivalents. The simplest example, and the one which motivated further study in this area, comes about by considering the following definition: a set…

One of the classical results concerning differentiability of continuous functions states that the set $\mathcal{SD}$ of somewhere differentiable functions (i.e., functions which are differentiable at some point) is Haar-null in the space…

We show that if points of supports of two discrete "not very thick" Fourier transformable measures on LCA groups tend to one another at infinity and the same is true for the masses at these points, then these measures coincide. The result…

Let $M$ be a smooth compact manifold (maybe with boundary, maybe disconnected) of any dimension $d \ge 1$. We consider the set of $C^1$ maps $f:M\to M$ which have no absolutely continuous (with respect to Lebesgue) invariant probability…

Schanuel has pointed out that there are mathematically interesting categories whose relationship to the ring of integers is analogous to the relationship between the category of finite sets and the semi-ring of non-negative integers. Such…

We define a notion of stable and measurable map between cones endowed with measurability tests and show that it forms a cpo-enriched cartesian closed category. This category gives a denotational model of an extension of PCF supporting the…

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…

The formulation of a new analysis on a zero measure Cantor set $C (\subset I=[0,1])$ is presented. A non-archimedean absolute value is introduced in $C$ exploiting the concept of {\em relative} infinitesimals and a scale invariant…

A Kaehler metric $g$ with integral Kaehler form is said to be partially regular if the partial Bergman kernel associated to mg is a positive constant for all integer m sufficiently large. The aim of this paper is to prove that for all n\geq…

Necessary and sufficient conditions for weak and vague convergence of measures are important for a diverse host of applications. This paper aims to give a comprehensive description of the relationship between the two modes of convergence…

Let $X = [0,1]^{n}$, $n \geq1$. We show that the typical (in the sense of Baire category) compact subset of $X$ is not only a zero dimensional Cantor space but it satisfies the property of being strongly microscopic, which is stronger than…