相关论文: Was Sierpinski right? IV

We show that the consistency strength of $\kappa$ being $2^\kappa$-square compact is at least weak compact and strictly less than indescribable. This is the first known improvement to the upper bound of strong compactness obtained in 1973…

Viability of the \mu-\tau interchange symmetry imposed as an approximate symmetry (1) on the neutrino mass matrix {\cal M}_{\nu f} in the flavour basis (2) simultaneously on the charged lepton mass matrix M_l and the neutrino mass matrix…

An approximate Z_3 family symmetry is proposed for leptons which results in a neutrino mass matrix with sin^2 2 theta_atm = 1 and tan^2 theta_sol = 0.5, but the latter value could easily be smaller. A generic requirement of this approach is…

We prove (ZF+DC) e.g. : if mu =|H(mu)| then mu^+ is regular non measurable. This is in contrast with the results for mu = aleph_{omega} on measurability see Apter Magidor [ApMg]

We consider the Sobolev critical Schr\"{o}dinger equation with combined nonlinearities \begin{equation*} \begin{cases} -\Delta u=\lambda u+|u|^{2^*-2}u+\mu|u|^{q-2}u,\ \ x\in\mathbb{R}^{N},\\ u\in H^1(\mathbb{R}^N),\…

Given a $\Pi^{\mu}_2$ formula of the modal $\mu$ calculus, it is decidable whether it is equivalent to a $\Sigma^{\mu}_2$ formula.

The structure constants $N_{\lambda, \mu}^{\mu+\nu}$ of the $sl_2$ Verlinde algebra as functions of $\mu$ either vanish or can be expressed after a change of variable as the weight function of an irreducible representation of $sl_2$. We…

The paper gives several sufficient conditions on the paracompactness of box products with an arbitrary number of many factors and boxes of arbitrary size. The former include results on generalised metrisability and Sikorski spaces. Of…

Characteristic earlier results were of the form CON$(2^{\aleph_0} \to [\lambda]^2_{n, 2})$, with $2^{\aleph_0} $ an ex-large cardinal, in the best case the first weakly Mahlo cardinal. Characteristic new results are CON$((2^{\aleph_0} =…

We determine the large cardinal consistency strength of the existence of a $\lambda$-supercompact cardinal $\kappa$ such that GCH fails at $\lambda$. Indeed, we show that the existence of a $\lambda$-supercompact cardinal $\kappa$ such that…

We prove the consistency of $\binom{\mu^+}{\mu}\nrightarrow\binom{\mu^+ \omega_1}{\mu\ \mu}$ where $\mu$ is a strong limit singular cardinal of countable cofinality. This result can be forced at limit of measurable cardinals and at small…

We prove that the upper bounds for the consistency strength of certain instances of mutual stationarity considered by Liu-Shelah~\cite{MR1469093} are close to optimal. We also consider some related and, as it turns out, stronger properties.

We obtain a rigidity result of symplectic translating solitons via the complex phase map. It indicates that we can remove the bounded second fundamental form assumption for symplectic translating solitons in [13].

The relations M(kappa,lambda,mu)->B [resp. B(sigma)] meaning that if A subset [kappa]^lambda with |A|=kappa is mu-almost disjoint then A has property B [resp. has a sigma-transversal] had been introduced and studied under GCH by Erdos and…

Let $F$ be a non-archimedean local field of characteristic zero. We study theta correspondence for (complex) representations of symplectic--even orthogonal dual reductive pairs over $F;$ more specifically, the big theta lifts. We prove…

We prove that for every (infinite cardinal) lambda there is a T_3-space X with clopen basis, 2^mu points where mu = 2^lambda, such that every closed subspace of cardinality <|X| has cardinality < lambda .

We prove that if $\mu$ is a finitely supported measure on $\text{SL}_2(\mathbb{R})$ with positive Lyapunov exponent but not uniformly hyperbolic, then the Lyapunov exponent function is not $\alpha$-H\"older around $\mu$ for any $\alpha$…

Let M be an almost Hermitian manifold of dimension greater or equal to 6. The following theorems are proved: Theorem 1. If M is of pointwise constant {\theta}-holomorphic sectional curvature for a number {\theta} in (0,{\pi}/2) then M is of…

We formulate and prove the analogue of Moser's stability theorem for locally conformally symplectic structures. As special cases we recover some results previously proved by Banyaga.

We try to build, provably in ZFC, for a first order T a model in which any isomorphism between two Boolean algebras is definable. The problem, compared to [Sh:384], is with pseudo-finite Boolean algebras. A side benefit is that we do not…