Related papers: Diamond on Kurepa trees
Assume $\lambda$ is a singular limit of $\eta$ supercompact cardinals, where $\eta \leq \lambda$ is a limit ordinal. We present two forcing methods for making $\lambda^+$ the successor of the limit of the first $\eta$ measurable cardinals…
Main theoretical approaches to weak radiative hyperon decays are briefly reviewed. It is emphasized that only approaches with great predictive power should be seriously considered when seeking a resolution of the puzzle presented by…
In this paper, we introduce a strong property $(A)$ and we study the transfer of property $(A)$ and strong property $(A)$ in trivial ring extensions and amalgamated duplication of a ring along an ideal. We also exhibit a class of rings…
We define a countable antichain condition (ccc) property for partial orderings, weaker than precalibre-$\aleph_1$, and show that Martin's axiom restricted to the class of partial orderings that have the property does not imply Martin's…
The replacement (or collection or choice) axiom scheme asserts bounded quantifier exchange. We prove the independence of this scheme from various weak theories of arithmetic, sometimes under a complexity assumption.
I describe recent developments in quenched chiral perturbation theory (QChPT) and the status of weak matrix elements involving light quarks. I illustrate how, with improved statistical errors, and with calculations of the masses of baryons…
We introduce and study the noncommutative weak Extension Principle, a lifting principle aiming to characterise $^*$-homomorphisms between coronas of nonunital separable $\mathrm{C}^*$-algebras. While this principle fails if the Continuum…
We comment on a recent suggestion for measuring $\gamma$ in $B^0(t)\to K_S\pi^+\pi^-$. A difficulty is pointed out in relating electroweak penguin and tree amplitudes in $B^+\to K^0\pi^+\pi^0$, which is crucial for an implementation of this…
We prove that superhigh sets can be jump traceable, answering a question of Cole and Simpson. On the other hand, we show that such sets cannot be weakly 2-random. We also study the class superhigh$^\Diamond$, and show that it contains some,…
We study weak approximation and the Hilbert property for Campana points, both of importance in recent work on a Manin-type conjecture by Pieropan, Smeets, Tanimoto and Varilly-Alvarado. We show that weak weak approximation implies the…
We explore the possibility of extracting the weak phase $\gamma$ from pure tree decays $\Lambda_b \to \Lambda (D^0, \bar{D^0}, D^0_{CP})$ in a model independent way. The CP violating weak phase $\gamma$ can be determined cleanly, without…
Measurement of the $\gamma 3\pi$ process has revealed a possible conflict with what should be a solid prediction generated by the chiral anomaly. We show that inclusion of appropirate energy-momentum dependence in the matrix element reduces…
In this paper, we propose a weak regularity principle which is similar to both weak K\"onig's lemma and Ramsey's theorem. We begin by studying the computational strength of this principle in the context of reverse mathematics. We then…
The time derivative of a physical property often gives rise to another meaningful property. Since weak values provide empirical insights that cannot be derived from expectation values, this paper explores what physical properties can be…
We define the $\aleph_{1.5}$ chain condition. The corresponding forcing axiom is a generalization of Martin's Axiom and implies certain uniform failures of club--guessing on $\omega_1$ that don't seem to have been considered in the…
We explore the connections between Dickson's lemma and weak Ramsey theory. We show that a weak version of the Paris--Harrington principle for pairs in $c$ colors and miniaturized Dickson's lemma for $c$-tuples are equivalent over…
We define a notion of weak omega-category internal to a model of Martin-L\"of type theory, and prove that each type bears a canonical weak omega-category structure obtained from the tower of iterated identity types over that type. We show…
This paper provides the first description of a weak practical super-martingale phenomenon that can emerge in the test statistic in Shiryaev's Bayesian quickest change detection (QCD) problem. We establish that this super-martingale…
A simple and elementary proof of Butcher's theorem on the order conditions of Runge-Kutta methods is presented. It is based on a recursive definition of rooted trees and avoids combinatorial tools such as labelings and Faa di Bruno's…
The Weak Gravity Conjecture holds that in a theory of quantum gravity, any gauge force must mediate interactions stronger than gravity for some particles. This statement has surprisingly deep and extensive connections to many different…