Related papers: Solovay's inaccessible over a weak set theory with…
The definition and computation of the topological susceptibility in non-abelian gauge theories is complicated by the presence of non-integrable short-distance singularities. Recently, alternative representations of the susceptibility were…
We prove that Solovay's set $\Sigma$ is generic over the ground model via a forcing notion whose order relation $\subseteq$-extends the given order relation.
In the present paper, we study a set that can be treated as a generalised set of subsums for a geometric series. This object was discovered independently in various mathematical aspects. For instance, it is closely related to various…
We show that the set of codes for Ramsey positive analytic sets is $\mathbf{\Sigma}^1_2$-complete. This is a one projective-step higher analogue of the Hurewicz theorem saying that the set of codes for uncountable analytic sets is…
We investigate relationships between versions of derivability conditions for provability predicates. We show several implications and non-implications between the conditions, and we discuss unprovability of consistency statements induced by…
We look at a measure, $\lambda^\infty$, on the infinite-dimensional space, ${\mathbb R}^\infty$, for which we attempt to put forth an analogue of the Lebesgue density theorem. Although this measure allows us to find partial results, for…
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 prove that the upper bounds for the consistency strength of certain instances of mutual stationarity considered by Liu-Shelah~\cite{MR1469093} are close to optimal. We also consider some related and, as it turns out, stronger properties.
We give a constructive proof that any $\sigma$-porous subset of a Hilbert space has Lebesgue measure zero on typical $C^{1}$ curves. Further, we discover that this result does not extend to all forms of porosity; we find that even power-$p$…
It is shown that $SL_2$ Besicovitch sets of measure zero exist in $\mathbb{R}^3$. The proof is constructive and uses point-line duality analogously to Kahane's construction of measure zero Besicovitch sets in the plane. A corollary is that…
In this paper, without the axiom of choice, we show that if a certain downward L\"owenheim-Skolem property holds then all grounds are uniformly definable. We also prove that the axiom of choice is forceable if and only if the universe is a…
We prove (ZF+DC) e.g. : if mu =|H(mu)| then mu^+ is regular non measurable. This is in contrast with the results for mu = aleph_{omega} on measurability see Apter Magidor [ApMg]
We show that every invertible strong mixing transformation on a Lebesgue space has strictly over-recurrent sets. Also, we give an explicit procedure for constructing strong mixing transformations with no under-recurrent sets. This answers…
Let $X$ be a Banach space and $\mu$ a probability measure. A set $K \subseteq L^1(\mu,X)$ is said to be a $\delta\mathcal{S}$-set if it is uniformly integrable and for every $\delta>0$ there is a weakly compact set $W \subseteq X$ such that…
An absolutely convergent double series representation for the density of the supremum of $\alpha$-stable Levy process is given in [3, Theorem 2] for almost all irrational $\alpha$. This result cannot be made stronger in the following sense:…
We propose an AC-independent proof of the existence of a non-measurable set as a consequence of the Hahn-Banach theorem of functional analysis which is known to be strictly weaker than AC.
We prove an analogue of the portmanteau theorem on weak convergence of probability measures allowing measures which are unbounded on an underlying metric space but finite on the complement of any Borel neighbourhood of a fixed element.
Various theorems for the preservation of set-theoretic axioms under forcing are proved, regarding both forcing axioms and axioms true in the Levy-Collapse. These show in particular that certain applications of forcing axioms require to add…
The Raisonnier Filter is a combinatorial object isolated by Jean Raisonnier in order to simplify Shelah's proof that if all $\boldsymbol{\Sigma}^1_3$ sets are Lebesgue-measurable then there is an inner model with an inaccessible cardinal.…
An important, if relatively less well known aspect of the singularity theorems in Lorentzian Geometry is to understand how their conclusions fare upon weakening or suppression of one or more of their hypotheses. Then, theorems with modified…