相关论文: More on: the revised GCH and middle diamond

Ben-David and Shelah proved that if $\lambda$ is a singular strong-limit cardinal and $2^\lambda=\lambda^+$, then $\square^*_\lambda$ entails the existence of a normal $\lambda$-distributive $\lambda^+$-Aronszajn tree. Here, it is proved…

A previous work gave a combinatorial description of the crystal $B(\infty)$, in terms of certain simple Young tableaux referred to as the marginally large tableaux, for finite dimensional simple Lie algebras. Using this result, we present…

We prove for any mu = mu^{< mu}< theta < lambda, lambda large enough (just strongly inaccessible Mahlo) the consistency of 2^mu = lambda-> [theta]^2_3 and even 2^mu = lambda-> [theta]^2_{sigma,2} for sigma < mu . The new point is that…

We show that one can re-arrange the Heavy Quark Expansion for inclusive weak decays of charmed hadrons in such a way that the resulting expansion is an expansion in $\Lambda_{\rm QCD} / m_c$ and $\alpha_s (m_c)$ with order-one coefficients.…

This paper deals with the reducibility property of semidirect products of the form $\bf V*\bf D$ relatively to graph equation systems, where $\bf D$ denotes the pseudovariety of definite semigroups. We show that, if the pseudovariety $\bf…

In this paper we provide a general tool to prove the consistency of $I1(\lambda)$ with various combinatorial properties at $\lambda$ typical at settings with $2^\lambda>\lambda^+$, that does not need a profound knowledge of the forcing…

Assuming that $GCH$ holds and $\kappa$ is $\kappa^{+3}$-supercompact, we construct a generic extension $W$ of $V$ in which $\kappa$ remains strongly inaccessible and $(\alpha^+)^{HOD} < \alpha^+$ for every infinite cardinal $\alpha <…

Models of dark energy or modified gravity that tries to alleviate the tensions on the Hubble constant ($H_0$) and the matter fluctuation parameter ($\sigma_8$) are usually parameterized as function of either late or early time cosmic…

A cardinal lambda is called omega-inaccessible if for all mu < lambda we have mu^omega<lambda. We show that for every omega-inaccessible cardinal lambda there is a CCC (hence cardinality and cofinality preserving) forcing that adds a…

This reports our recent studies on changes in properties of heavy hadrons containing at least a charm or a bottom quark in nuclear matter, and that the results for the $\Lambda^+_c$ and $\Lambda_b$ hypernuclei are studied quantitatively.…

In this paper we analyze the connection between some properties of partially strongly compact cardinals: the completion of filters of certain size and instances of the compactness of $\mathcal{L}_{\kappa,\kappa}$. Using this equivalence we…

We prove the following two results. Theorem A: Let alpha be a limit ordinal. Suppose that 2^{|alpha|}<aleph_alpha and 2^{|alpha|^+}<aleph_{|alpha|^+}, whereas aleph_alpha^{|alpha|}>aleph_{|alpha|^+}. Then for all n< omega and for all…

Ordinary infinitary languages L_{lambda, kappa} satisfy the Interpolation Theorem only in the case lambda <= {aleph_1}, kappa = {aleph_0}, this include first order logic of course. There are also some pairs of such logics satifying…

We describe a combinatorial realization of the crystals $B(\infty)$ and $B(\lambda)$ using rigged configurations in all symmetrizable Kac-Moody types up to certain conditions. This includes all simply-laced types and all non-simply-laced…

We analyze the notion of guessing model, a way to assign combinatorial properties to arbitrary regular cardinals. Guessing models can be used, in combination with inaccessibility, to characterize various large cardinals axioms, ranging from…

For a regular uncountable cardinal kappa, we discuss the order relationship between the unbounding and dominating numbers on kappa and cardinal invariants of the higher meager ideal M_kappa. In particular, we obtain a complete…

For a real number $0<\lambda<2$, we introduce a transformation $T_\lambda$ naturally associated to expansion in $\lambda$-continued fraction, for which we also give a geometrical interpretation. The symbolic coding of the orbits of…

In a self-contained way, we deal with revised countable support iterated forcing for the reals. We improve theorems on preservation of the property UP, weaker than semi proper, and we hopefully improve the presentation. We continue [Sh:b,…

We give some general criteria, when kappa-complete forcing preserves largeness properties -- like kappa-presaturation of normal ideals on lambda (even when they concentrate on small cofinalities). Then we quite accurately obtain the…

We describe the crystal bases of the modified quantum algebras and give the explicit form of the highest (or lowest) weight vector of its connected component $B_0(\lambda)$ containing the unit element for arbitrary rank 2 cases. We also…