Related papers: A model in which the Separation principle holds fo…

Under suitable conditions on a family $(I(t))_{t\ge 0}$ of Lipschitz mappings on a complete metric space, we show that up to a subsequence the strong limit $S(t):=\lim_{n\to\infty}(I(t 2^{-n}))^{2^n}$ exists for all dyadic time points $t$,…

Let X be a compact Kahler holomorphic-symplectic manifold, which is deformation equivalent to the Hilbert scheme of length n subschemes of a K3 surface. Let L be a nef line-bundle on X, such that the 2n-th power of c_1(L) vanishes and…

For $\epsilon$-lc Fano type varieties $X$ of dimension $d$ and a given finite set $\Gamma$, we show that there exists a positive integer $m_0$ which only depends on $\epsilon,d$ and $\Gamma$, such that both $|-mK_X-\sum_i\lceil mb_i\rceil…

In the preceding Comment [1] it was claimed that the third-order Hamiltonian obtained in our original paper [2] is not Hermitian for general situations when considering time-dependence and the way of deriving the effective third-order…

We study projective stationary sets. The Projective Stationary Reflection principle is the statement that every projective stationary set contains an increasing continuous $\in$--chain of length $\omega_1$. We show that if Martin's Maximum…

Given positive measures $\nu,\mu$ on an arbitrary measurable space $(\Omega, \mathcal F)$, we construct a sequence of finite partitions $(\pi_n)_n$ of $(\Omega, \mathcal F)$ s.t. $$ \sum_{A\in \pi_n: \mu(A)>0} 1_{A} \frac{\nu(A)}{\mu(A)}…

L-Infinity structures have been a subject of recent interest in physics, where they occur in closed string theory and in gauge theory. This paper provides a class of easily constructible examples of $L_n$ and $L_{\infty}$ structures on…

We prove that there exists a universal constant $D$ such that if $p$ is a prime divisor of the index of the Fitting subgroup of a finite group $G$, then the number of conjugacy classes of G is at least $Dp/log_2 p$. We conjecture that we…

Let $\mathbf{M}$ be the basic set theory that consists of the axioms of extensionality, emptyset, pair, union, powerset, infinity, transitive containment, $\Delta_0$-separation and set foundation. This paper studies the relative strength of…

In real Lie theory, matrices that admit a real logarithm reside in the identity component $\mathrm{GL}_n(\mathbb{R})_+$ of the general linear group $\mathrm{GL}_n(\mathbb{R})$, with logarithms in the Lie algebra…

We study modal separability for fixpoint formulae: given two mutually exclusive fixpoint formulae $\varphi,\varphi'$, decide whether there is a modal formula $\psi$ that separates them, that is, that satisfies…

The classical Bertini theorem on generic intersection of an algebraic set with hyperplanes states the following: \emph{Let X be a nonsingular closed subvariety of $\mathbb{P}^n_k$, where $k$ is an algebraically closed field. Then there…

We study Lie algebroids in positive characteristic and moduli spaces of their modules. In particular, we show a Langton's type theorem for the corresponding moduli spaces. We relate Langton's construction to Simpson's construction of…

Let k be a definable L-cardinal. Then there is a set of reals X, class-generic over L, such that L(X) and L have the same cardinals, X has size k in L(X) and some pi-1-2 formula defines X in all set-generic extensions of L(X). Two…

W. Hurewicz proved that analytic Menger sets of reals are $\sigma$-compact and that co-analytic completely Baire sets of reals are completely metrizable. It is natural to try to generalize these theorems to projective sets. This has…

I consider the class of surfaces $X$ over algebraically closed fields with numerical invariants given in the title. In characteristic zero, this class contains fake projective planes which were introduced by David Mumford. I prove that in…

For a positive integer $n$ let $\mathcal{X}_n$ be either the algebra $M_n$ of $n \times n$ complex matrices, the set $N_n$ of all $n \times n$ normal matrices, or any of the matrix Lie groups $\mathrm{GL}(n)$, $\mathrm{SL}(n)$ and…

This is the final draft, containing very minor proof-reading corrections. Let G in SL(n,\C) be a finite subgroup and \fie: Y -> X = \C^n/G any resolution of singularities of the quotient space. We prove that crepant exceptional prime…

Let $ \nu $ be a probability distribution over the linear semi-group $ \mathrm{End}(E) $ for $ E $ a finite dimensional vector space over a locally compact field. We assume that $ \nu $ is proximal, strongly irreducible and that $…

I introduce a new family of axioms extending ZFC set theory, the $\Sigma_n$-correct forcing axioms. These assert roughly that whenever a forcing name $\dot{a}$ can be forced by a poset in some forcing class $\Gamma$ to have some $\Sigma_n$…