Related papers: A Universal Continuum of Weight aleph

We show that in contrast with the Cohen version of Solovay's model, it is consistent for the continuum to be Cohen-measurable and for every function to be continuous on a non-meagre set.

Consider a complete Riemannian manifold $(M, g)$ and optimal transport problems on it with cost functions of the form $c(x,y) = h(d_{{g}}(x,y))$. We study the absolute continuity of the corresponding generalized Wasserstein barycenters of…

We continue the investigation started in [Sh:1215] about the relation between the Keilser-Shelah isomorphism theorem and the continuum hypothesis. In particular, we show it is consistent that the continuum hypothesis fails and for any given…

In this paper we prove the following: let $\omega(t)$ be a continuous function, increasing in $[0,\infty)$ and $\omega(+0)=0$. Then there exists a series of the form$\sum_{k=-\infty}^\infty C_ke^{ikx}$ with $\sum_{k=-\infty}^\infty C^2_k…

A classical theorem of Hechler asserts that the structure $\left(\omega^\omega,\le^*\right)$ is universal in the sense that for any $\sigma$-directed poset P with no maximal element, there is a ccc forcing extension in which…

Measuring says that for e\-very sequence $(C_\delta)_{\delta<\omega_1}$ with each $C_\delta$ being a closed subset of $\delta$ there is a club $C\subseteq\omega_1$ such that for every $\delta\in C$, a tail of $C\cap\delta$ is either…

In classical model theory, the Keisler--Shelah theorem establishes a fundamental connection between the elementary equivalence of structures and the isomorphism of their ultrapowers. Motivated by this, one may ask whether an analogous…

Assume that $M$ is a c.t.m. of $ZFC+CH$ containing a simplified $(\omega_1,2)$-morass, $P\in M$ is the poset adding $\aleph_3$ generic reals and $G$ is $P$-generic over $M$. In $M$ we construct a function between sets of terms in the…

In a classical paper by Ben-David and Magidor, a model of set theory was exhibited in which $\aleph_{\omega+1}$ carries a uniform ultrafilter that is $\theta$-indecomposable for every uncountable cardinal $\theta<\aleph_\omega$. In this…

The shift map $\sigma$ on $\omega^*$ is the continuous self-map of $\omega^*$ induced by the function $n \mapsto n+1$ on $\omega$. Given a compact Hausdorff space $X$ and a continuous function $f: X \rightarrow X$, we say that $(X,f)$ is a…

In this article we will investigate nonmeasurability with respect to some $\sigma$-ideals in Polish space $X,$ of images of subsets of $X$ by selected mappings defined on the space $X$. Among of them we answer the following question: "It is…

The semi-linear, elliptic PDE $AC_{\varepsilon}(u):=-\varepsilon^2\Delta u+W'(u)=0$ is called the Allen-Cahn equation. In this article we will prove the existence of finite energy solution to the Allen-Cahn equation on certain complete,…

We initiate the study of orthogonal forms on a real C$^*$-algebra. Motivated by previous contributions, due to Ylinen, Jajte, Paszkiewicz and Goldstein, we prove that for every continuous orthogonal form $V$ on a commutative real…

We study isomorphic universality of Banach spaces of a given density and a number of pairwise non-isomorphic models in the same class. We show that in the Cohen model the isomorphic universality number for Banach spaces of density…

A generalized Riemann hypothesis states that all zeros of the completed Hecke $L$-function $L^*(f,s)$ of a normalized Hecke eigenform $f$ on the full modular group should lie on the vertical line $Re(s)=\frac{k}{2}.$ It was shown by Kohnen…

The universal approximation theorem is generalised to uniform convergence on the (noncompact) input space $\mathbb{R}^n$. All continuous functions that vanish at infinity can be uniformly approximated by neural networks with one hidden…

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…

We show that the Proper Forcing Axiom for forcing notions of size $\aleph_1$ is consistent with the continuum being arbitrarily large. In fact, assuming $GCH$ holds and $\kappa\geq\omega_2$ is a regular cardinal, we prove that there is a…

It is shown that there exist such a function g from L^1[0,1] and a weight function 0<u(x)<=1 that g is universal for the weighted space L^1_u[0,1] with respect to signs of its Fourier-Walsh coefficients.

Universal continuous calculi are defined and it is shown that for every finite tuple of pairwise commuting Hermitian elements of a Su*-algebra (an ordered *-algebra that is symmetric, i.e. "strictly" positive elements are invertible, and…