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

Using a variation of Woodin's $\mathbb{P}_{\mathrm{max}}$ forcing, we force over a model of the Axiom of Determinacy to produce a model of ZFC containing a very strongly increasing sequence of length $\omega_{2}$ consisting of functions…

Assuming $\rm PFA$, we shall use internally club $\omega_1$-guessing models as side conditions to show that for every tree $T$ of height $\omega_2$ without cofinal branches, there is a proper and $\aleph_2$-preserving forcing notion with…

In this note we investigate the problem of determining elements of the Selberg class from their Dirichlet series coefficients at the primes. We show that this is possible when the degree is one, but in general need an additional weak…

Given any collection F of computable functions over the reals, we show that there exists an algorithm that, given any L_F-sentence \varphi containing only bounded quantifiers, and any positive rational number \delta, decides either "\varphi…

In this work we establish some rigidity results for Serrin's overdetermined problem \begin{equation*} \left\{ \begin{array}{cll} - \Delta u=f(u) & \text{in}& \Omega,\newline u > 0& \text{in} & \Omega,\newline u=0 & \text{on} & \partial…

Let K^0_lambda be the class of structures < lambda,<,A>, where A subseteq lambda is disjoint from a club, and let K^1_lambda be the class of structures < lambda,<,A>, where A subseteq lambda contains a club. We prove that if lambda =…

In this paper, we consider the bifurcation problem for fractional Laplace equation \begin{eqnarray*} \begin{array}{ll} (-\Delta)^{s} u = \lambda u + f(\lambda,\,x,\,u)& \mbox{in }\Omega, u = 0 &\mbox{in }\mathbb{R}^n\backslash \Omega,…

Let $\Sigma$ be a codimension one submanifold of an $n$-dimensional Riemannian manifold $M$, $n\geqslant 2$. We give a necessary condition for an isometric immersion of $\Sigma$ into $\mathbb R^q$ equipped with the standard Euclidean…

Let $(M,g)$ be a (complete) Riemannian surface, and let $\Omega\subset M$ be an open subset whose closure is homeomorphic to a disk. We prove that if $\partial\Omega$ is smooth and it satisfies a strong concavity assumption, then there are…

We present a lower bound for a fragmentation norm and construct a bi-Lipschitz embedding $I\colon \mathbb{R}^n\to\mathrm{Ham}(M)$ with respect to the fragmentation norm on the group $\mathrm{Ham}(M)$ of Hamiltonian diffeomorphisms of a…

We show that all finite powers of a Hausdorff space X do not contain uncountable weakly separated subspaces iff there is a c.c.c poset P such that 1_P forces that ``X is a countable union of 0-dimensional subspaces of countable weight.'' We…

We prove that, if \Delta_1 is the Hodge Laplacian acting on differential 1-forms on the (2n+1)-dimensional Heisenberg group, and if m is a Mihlin-H\"ormander multiplier on the positive half-line, with L^2-order of smoothness greater than…

In this paper, we introduce a hierarchy dividing the set $\{\sigma \in \Pi^1_2 : \Pi^1_1$-$\mathsf{CA}_0 \vdash \sigma\}$. Then, we give some characterizations of this set using weaker variants of some principles equivalent to…

We show that many principles of first-order arithmetic, previously only known to lie strictly between $\Sigma_1$-induction and $\Sigma_2$-induction, are equivalent to the well-foundedness of $\omega^\omega$. Among these principles are the…

Let $M$ be a complex manifold. We prove that a compact submanifold $S\subset M$ with splitting tangent sequence (called a splitting submanifold) is rational homogeneous when $M$ is in a large class of rational homogeneous spaces of Picard…

We define a $\sigma$-centered notion of forcing that forces the existence of a Boolean algebra with the Grothendieck property and without the Nikodym property. In particular the existence of such an algebra is consistent with the negation…

Consider a planar, bounded, $m$-connected region $\Omega$, and let $\bord\Omega$ be its boundary. Let $\mathcal{T}$ be a cellular decomposition of $\Omega\cup\bord\Omega$, where each 2-cell is either a triangle or a quadrilateral. From…

We establish an omega theorem for logarithmic derivative of the Riemann zeta function near the 1-line by resonance method. We show that the inequality $\left| \zeta^{\prime}\left(\sigma_A+it\right)/\zeta\left(\sigma_A+it\right) \right|…

We study $\Sigma_1(\omega_1)$-definable sets (i.e. sets that are equal to the collection of all sets satisfying a certain $\Sigma_1$-formula with parameter $\omega_1$) in the presence of large cardinals. Our results show that the existence…

Let $\mathcal R$ be a $\Sigma^1_1$ binary relation and call a set $\mathcal R$-discrete iff no two distinct of its elements are $\mathcal R$-related. We show that in the extension of $\mathbf{L}$ by iterated Sacks forcing, there is a…