Related papers: How much sweetness is there in the universe?
We note that some form of the condition "$p_1, p_2$ have a $\leq_{\mathbb{Q}}$-lub in $\mathbb{Q}$" is necessary in some forcing axiom for $\lambda$-complete $\mu^+$-c.c. forcing notions. We also show some versions are really stronger than…
We introduce several properties of forcing notions which imply that their lambda-support iterations are lambda-proper. Our methods and techniques refine those studied in math.LO/9906024, math.LO/0210205, math.LO/0508272 and math.LO/0605067,…
Moriond QCD brings together particle physicists of varied interests. This review and introduction to heavy flavour physics is aimed at those not in the heavy-flavour field to describe the motivation and methodology of precision flavour…
There are infinitely many topological solitons in any given complex affine Toda theories and most of them have complex energy density. When we require the energy density of the solitons to be real, we find that the reality condition is…
After reviewing some of the mathematical foundations and numerical difficulties facing lattice QCD, I review the status of several calculations relevant to experimental high-energy physics. The topics considered are moments of structure…
If T has only countably many complete types, yet has a type of infinite multiplicity then there is a ccc forcing notion Q such that, in any Q --generic extension of the universe, there are non-isomorphic models M_1 and M_2 of T that can be…
It is a well-known result that, after adding one Cohen real, the transcendence degree of the reals over the ground-model reals is continuum. We extend this result for a set $X$ of finitely many Cohen reals, by showing that, in the forcing…
We discuss some highlights of the FCC-ee flavor physics program. It will help to explore various aspects of flavor physics: to test precision calculations, to probe nonperturbative QCD methods, and to increase the sensitivity to physics…
We introduce a new method for building models of CH, together with $\Pi_2$ statements over $H(\omega_2)$, by forcing. Unlike other forcing constructions in the literature, our construction adds new reals, although only $\aleph_1$-many of…
A central theme in set theory is to find universes with extreme, well-understood behaviour. The case we are interested in is assuming GCH and has a strong forcing axiom of higher order than usual. Instead of "for every suitable forcing…
We prove the following theorem: For a partially ordered set Q such that every countable subset has a strict upper bound, there is a forcing notion satisfying ccc such that, in the forcing model, there is a basis of the null ideal of the…
We present a short general overview of the main features of exotic models of neutron stars, focusing on the structural and dynamical predictions derived from them. In particular, we discuss the presence of ``normal'' quark matter and…
It was realized early on that topologies can model constructive systems, as the open sets form a Heyting algebra. After the development of forcing, in the form of Boolean-valued models, it became clear that, just as over ZF any…
Let $\mathcal{SN}$ be the $\sigma$-ideal of the strong measure zero sets of reals. We present general properties of forcing notions that allow to control of the additivity of $\mathcal{SN}$ after finite support iterations. This is applied…
In these proceedings I present a personal perspective of the challenges for new physics (NP) searches in the flavour sector. Since the CKM mechanism of flavour violation has been established to a very high precision, we know that physics…
We strengthen the case that the new logical perspective afforded by topos theory is suitable to the task of describing the physical world around us. In exploring some of the aspects of construction of a simple quantum-mechanical system in a…
In this paper we show that forcings which are strongly proper for stationarily many countable elementary submodels preserve each of the following properties of topological spaces: countably tight; Lindel\"of; Rothberger; Menger; and a…
We know that `our' Universe consists of `known' matter only $\sim$ 4.5\%: our understanding is incomplete seeing directly in neutrino oscillations (never mind about `other' Universes). Charm quarks had great impact on our understanding of…
Based on flavour symmetries only, there are two ways to give rise to an effective description of flavour physics in the quark sector close to the CKM picture: one is based on $U(3)_q\times U(3)_u\times U(3)_d$ (or equivalent) and the other…
Studying heavy flavour physics is driven by multiple motivations: to probe our theoretical control over QCD; enhance our information on gluon and sea quark structure functions; use heavy flavour production as signal for the onset of the…