Related papers: Forcing $\mathbf{\Sigma}^1_1$-Separation on $\omeg…

For any real division algebra A of finite dimension greater than one, the signs of the determinants of left multiplication and right multiplication by a non-zero element are shown to form an invariant of A, called its double sign. The…

Foreman proved the Duality Theorem, which gives an algebraic characterization of certain ideal quotients in generic extensions. As an application he proved that generic supercompactness of $\omega_1$ is preserved by any proper forcing. We…

Given a measure preserving transformation $T$ on a Lebesgue $\sigma$ algebra, a complete $T$ invariant sub $\sigma$ algebra is said to split if there is another complete $T$ invariant sub $\sigma$ algebra on which $T$ is Bernoulli which is…

Let $\rho : G \rightarrow \operatorname{O}(V)$ be a real finite dimensional orthogonal representation of a compact Lie group, let $\sigma = (\sigma_1,\ldots,\sigma_n) : V \to \mathbb R^n$, where $\sigma_1,\ldots,\sigma_n$ form a minimal…

We prove that hereditarily Lindel\"of space which is $F_{\sigma\delta}$ in some compactification is absolutely $F_{\sigma\delta}$. In particular, this implies that any separable Banach space is absolutely $F_{\sigma\delta}$ when equipped…

A topological space $X$ is called strongly $\sigma$-metrizable if $X=\bigcup_{n\in\omega}X_n$ for an increasing sequence $(X_n)_{n\in\omega}$ of closed metrizable subspaces such that every convergence sequence in $X$ is contained in some…

Let $\Omega\subset\mathbb{R}^N$, $N\geq 2$, be an open bounded connected set. We consider the fractional weighted eigenvalue problem $(-\Delta)^s u =\lambda \rho u$ in $\Omega$ with homogeneous Dirichlet boundary condition, where…

In this paper we introduce a modal theory $H_{\sigma}$, which is sound and complete for arithmetical $\Sigma$_1 substitutions in ${\bf HA}$, in other words, we will show that $H_{\sigma}$ is the $\Sigma$_1-provability logic of ${\bf HA}$.…

We prove that for any integers $\alpha, \beta > 1$, the existential fragment of the first-order theory of the structure $\langle \mathbb{Z}; 0,1,<, +, \alpha^{\mathbb{N}}, \beta^{\mathbb{N}}\rangle$ is decidable (where $\alpha^{\mathbb{N}}$…

The determinacy of lightface $\Delta^1_{2n+2}$ and boldface $\boldsymbol{\Pi}^1_{2n+1}$ sets implies the existence of an $(\omega, \omega_1)$-iterable $M_{2n+1}^{\#}$.

We consider general symmetric systems of first order linear partial differential operators on domains $\Omega \subset \mathbb{R}^d$, and we seek sufficient conditions on the coefficients which ensure essential self-adjointness. The…

Let us consider the set $\Omega (\triangle ABC)$ of all tetrahedra $ABCD$ with a given non-degenerate base $ABC$ in $\mathbb{E}^3$ and $D$ lying outside the plane $ABC$. Let us denote by $\Sigma(\triangle ABC)$ the set $\left\{\Bigl(\cos…

Two elements, $x$ and $y$, are separated by a set $S$ if it contains exactly one of $x$ and $y$. We prove that any set of $n$ points in general position in the plane can be separated by $O(n\log\log n/\log n)$ convex sets, and for some…

In the present paper we are interested in properties of forcing notions which measure in a sense the distance between the ground model reals and the reals in the extension. We look at the ways the ``new'' reals can be aproximated by ``old''…

We prove the strong partition property for \delta^2_1 using methods from inner model theory.

Let $\mathfrak{i}$ denote the minimal cardinality of a maximal independent family and let $\mathfrak{a}_T$ denote the minimal cardinality of a maximal family of pairwise almost disjoint subtrees of $2^{<\omega}$. Using a countable support…

This paper studies structural consequences of supercompactness of $\omega_1$ under $\sf{ZF}$. We show that the Axiom of Dependent Choice $(\sf{DC})$ follows from "$\omega_1$ is supercompact". "$\omega_1$ is supercompact" also implies that…

A graph $G$ has a perfect division if its vertex set can be partitioned into two sets $A$, $B$ such that $G[A]$ is perfect and $\omega(G[B]) < \omega(G)$. We call $G$ perfectly divisible if every induced subgraph of $G$ admits a perfect…

Assuming the Continuum Hypothesis, there is a compact first countable connected space of weight aleph_1 with no totally disconnected perfect subsets. Each such space, however, may be destroyed by some proper forcing order which does not add…

We show: There are pairs of universes V_1 subseteq V_2 and there is a notion of forcing P in V_1 such that the change mentioned in the title occurs when going from V_1[G] to V_2[G] for a P-generic filter G over V_2. We use forcing…