Related papers: On closed P-sets with ccc in the space omega^*

We prove the non existence of quantum caps of sizes 37 and 39. This completes the spectrum of quantum caps in PG(4, 4). This also implies the non existence of linear [[37,27,4]] and [[39,29,4]]-codes. The problem of the existence of non…

We prove that any polar action on a separable Hilbert space by a connected Hilbert Lie group does not have exceptional orbits. This generalizes a result of Berndt, Console and Olmos in the finite dimensional Euclidean case. As an…

Hurewicz proved completely metrizable Menger spaces are /sigma-compact. We extend this to Cech-complete Menger spaces and consistently to projective Menger metrizable spaces. On the other hand, it is consistent that there is a co-analytic…

We prove that zero sets for distinct Fock spaces are not the same, this is an answer of a question asked by K. Zhu in \cite[Page. 209]{Zhu}.

If $A$ is a $\sigma$-unital $C^*$-algebra and $a$ is a strictly positive element of $A$ then for every compact subset $K$ of the complete regularization $\mathrm{Glimm}(A)$ of $\mathrm{Prim}(A)$ there exists $\alpha > 0$ such that $K\subset…

We show the consistency of ZFC +''there is no NWD-ultrafilter on omega'', which means: for every non principle ultrafilter D on the set of natural numbers, there is a function f from the set of natural numbers to the reals, such that for…

The main result of this paper is that, under PFA, for every {\em regular} space $X$ with $F(X) = \omega$ we have $|X| \le w(X)^\omega$; in particular, $w(X) \le \mathfrak{c}$ implies $|X| \le \mathfrak{c}$. This complements numerous prior…

We prove the undecidability of MSO on $\omega$-words extended with the second-order predicate $U_1(X)$ which says that the distance between consecutive positions in a set $X \subseteq \mathbb{N}$ is unbounded. This is achieved by showing…

We prove that there is no 1-complemented subspace of finite codimension in separable rearrangament-invariant function spaces.

By Hartman--Nirenberg's theorem, any complete flat hypersurface in Euclidean space must be a cylinder over a plane curve. However, if we admit some singularities, there are many non-trivial examples. Flat fronts are flat hypersurfaces with…

Given a set P of points on the plane, a polygon with vertices in P is said to be empty if it contains no element of P in its interior. We show that every set of n points in general position on the plane determines at least…

Enochs' conjecture asserts that each covering class of modules (over any fixed ring) has to be closed under direct limits. Although various special cases of the conjecture have been verified, the conjecture remains open in its full…

For a continuous map f on a compact metric space (X,d), a subset D of X is internally chain transitive if for every x and y in D and every delta > 0 there is a sequence of points {x=x_0,x_1, ...,x_n=y} such that d(f(x_i),x_{i+1}) < delta…

It is known that for any class C closed under union and intersection, the Boolean closure of C, the Boolean hierarchy over C, and the symmetric difference hierarchy over C all are equal. We prove that these equalities hold for any…

We show that all countable subsets of any pseudocompact quasitopological group in the form of a Korovin orbit are closed, discrete, and $C^\ast$-embedded. Consequently, any infinite pseudocompact Korovin orbit is not homeomorphic to a…

We show that the class of 1-exact operator systems is not uniformly definable by a sequence of types. We use this fact to show that there is no finitary version of Arveson's extension theorem. Next, we show that WEP is equivalent to a…

We construct an example showing that the solution map of the Euler equations is not continuous in the H\"older space from $C^{1,\alpha}$ to $L^\infty_tC^{1,\alpha}_x$ for any $0<\alpha<1$. On the other hand we show that it is continuous…

In this paper, we prove some common coupled fixed point theorems for mappings satisfying different contractive conditions in the context of complete $C^*$-algebra-valued metric spaces. Moreover, the paper provides an application to prove…

In this paper we show that it is relatively consistent with ZFC that every gamma-set is countable while not every strong measure zero set is countable. This answers a question of Paul Szeptycki. A set is a gamma-set iff every omega-cover…

We prove that manifold constrained $p(x)$-harmonic maps are $C^{1,\beta}$-regular outside a set of zero $n$-dimensional Lebesgue's measure, for some $\beta \in (0,1)$. We also provide an estimate from above of the Hausdorff dimension of the…