Related papers: Full reflection of stationary sets below aleph_ome…

We consider the fully nonlinear problem \begin{equation*} \begin{cases} -F(x,D^2u)=|u|^{p-1}u & \text{in $\Omega$}\\ u=0 & \text{on $\partial\Omega$} \end{cases} \end{equation*} where $F$ is uniformly elliptic, $p>1$ and $\Omega$ is either…

We prove a reflection theorem, conjectured by Nakagawa and Ohno, for the number of quartic rings, or pairs of ternary quadratic forms, with a given cubic resolvent. Over $\mathbb{Z}$, our results are unconditional; we also allow the base to…

In the lecture notes it is shown that an ordinal $\psi_{\Omega}(\varepsilon_{\mathbb{S}^{+}+1})$ is an upper bound for the proof-theoretic ordinal of a set theory ${\sf KP}\omega+(M\prec_{\Sigma_{1}}V)$. In this note we show that ${\sf…

In any Coxeter group, the conjugates of elements in the standard minimal generating set are called reflections and the minimal number of reflections needed to factor a particular element is called its reflection length. In this article we…

Let $f(n,\ell)$ be the maximum integer such that every set of $n$ points in the plane with at most $\ell$ collinear contains a subset of $f(n,\ell)$ points with no three collinear. First we prove that if $\ell \leq O(\sqrt{n})$ then…

It is proved that every convex body in the plane has a point such that the union of the body and its image under reflection in the point is convex. If the body is not centrally symmetric, then it has, in fact, three affinely independent…

Let $G=(V,E)$ be an undirected graph without loops and multiple edges. A subset $C\subseteq V$ is called \emph{identifying} if for every vertex $x\in V$ the intersection of $C$ and the closed neighbourhood of $x$ is nonempty, and these…

We show that, under the assumption of the existence of $M_1^{\#}$, there exists a model on which the restricted nonstationary ideal $\hbox{NS} \upharpoonright A$ is $\aleph_2$-saturated, for $A$ a stationary co-stationary subset of…

In this paper we prove that from large cardinals it is consistent that there is a singular strong limit cardinal $\nu$ such that the singular cardinal hypothesis fails at $\nu$ and every collection of fewer than $\mathrm{cf}(\nu)$…

We show that induction over $\Delta(\mathbb R)$-definable well-founded classes is equivalent to the reflection principle which asserts that any true formula of first order set theory with real parameters holds in some transitive set. The…

We study absolute continuity of harmonic measure with respect to surface measure on domains $\Omega$ that have large complements. We show that if $\Gamma\subset \mathbb{R}^{d+1}$ is $d$-Ahlfors regular and splits $ \mathbb{R}^{d+1}$ into…

We investigate reflection of stationary sets in P_kappa lambda and prove a consistency result for the case when lambda is the successor of kappa.

Resonant scattering of plane waves by a periodic slab under conditions close to those that support a guided mode is accompanied by sharp transmission anomalies. For two-dimensional structures, we establish sufficient conditions, involving…

In mathematical logic there are two seemingly distinct kinds of principles called "reflection principles." Semantic reflection principles assert that if a formula holds in the whole universe, then it holds in a set-sized model. Syntactic…

We show that there is always a uniformly antisymmetric f:A-> {0,1} if A subset R is countable. We prove that the continuum hypothesis is equivalent to the statement that there is an f:R-> omega with |S_x| <= 1 for every x in R. If the…

In this note we give a simplified ordinal analysis of first-order reflection. An ordinal notation system $OT$ is introduced based on $\psi$-functions. Provable $\Sigma_{1}$-sentences on $L_{\omega_{1}^{CK}}$ are bounded through…

We show that if $\mathfrak{c} = \aleph_2$ then all covering numbers of Hausdorff measures $\operatorname{cov}(\mathcal{N}^s(\mathbb{R}^d))$ ($0 < s < d, d \in \omega$) are equal and all uniformity numbers…

We establish the existence of positive solutions to a general class of overdetermined semilinear elliptic boundary problems on suitable bounded open sets $\Omega\subset\mathbb{R}^n$. Specifically, for $n\leq 4$ and under mild technical…

We prove that there exists a bivariate function f with f(k,l) = O(l k log k) such that for every naturals k and l, every graph G has at least k vertex-disjoint cycles of length at least l or a set of at most f(k,l) vertices that meets all…

We show the existence of an absolute constant $\alpha>0$ such that, for every $k \geq 3$, $G:=\mathop{\mathrm{Sym}}(k)$, and for every $H \leqslant G$ of index at least $3$, one has $|H/[H,H]| \leq |G:H|^{\alpha/ \log \log |G:H|}$. This…