Related papers: Jensen's diamond principle and its relatives
We prove that if there is an elementary embedding from the universe to itself, then there is a proper class of measurable successor cardinals.
Viale \cite{Viale_GuessingModel} introduced the notion of Generic Laver Diamond at $\kappa$---which we denote $\Diamond_{\text{Lav}}(\kappa)$---asserting the existence of a single function from $\kappa \to H_\kappa$ that behaves much like a…
A new solvable many-body problem of goldfish type is identified and used to revisit the connection among two different approaches to solvable dynamical systems. An isochronous variant of this model is identified and investigated.…
We show that the notions of "strongly unfoldable cardinals", introduced by Villaveces in his model-theoretic studies of models of set theory, and "shrewd cardinals", introduced by Rathjen in a proof-theoretic context, coincide. We then…
We introduce the split principles and show that they bear tight connections to large cardinal properties such as inaccessibility, weak compactness, subtlety, almost ineffability and ineffability, as well as classical combinatorial objects…
In Phys. Rev. Lett. 96, 035702 (2006) we introduced a class of kinetically constrained models which display a dynamical glass transition. We focused on a particular example: the "knights" model. As correctly pointed out by Jeng and Schwarz…
This paper is a continuation of the paper [Got25] and studies Goldstern's principle, a principle about unions of continuum many null sets, further. The main result is that the Hausdorff measure version of Goldstern's principle for…
Magnet stability and reproducibility have become increasingly important as greater precision and beams with smaller dimension are required for research, medical and other purpose. The observed causes of mechanical and electrical instability…
A strong antidiamond principle (*c) is shown to be consistent with CH. This principle can be stated as a "P-ideal dichotomy": every P-ideal on omega-1 (i.e. an ideal that is sigma-directed under inclusion modulo finite) either has a closed…
New sets (typically found by computer search) with Sidon constant equal to the square root of their cardinalities are given. For each integer $N$ there are only a finite number of groups of prime order containing $N$-element extreme sets.…
The inner model problem for supercompact cardinals, one of the central open problems in modern set theory, asks whether there is a canonical model of set theory with a supercompact cardinal. The problem is closely related to the more…
Suppose that lambda is the successor of a singular cardinal mu whose cofinality is an uncountable cardinal kappa. We give a sufficient condition that the club filter of lambda concentrating on the points of cofinality kappa is not…
We study the general problem of the behaviour of the continuum function in the presence of non-supercompact strongly compact cardinals.
We investigate the possibilities of global versions of Chang's Conjecture that involve singular cardinals. We show some $\mathrm{ZFC}$ limitations on such principles, and prove relative to large cardinals that Chang's Conjecture can…
We introduce a new weak variation of diamond that is meant to only guess the branches of a Kurepa tree. We demonstrate that this variation is considerably weaker than diamond by proving it is compatible with Martin's axiom. We then prove…
After briefly reviewing the good agreement between large-scale observations and the predictions of the now-standard CDM theory and problems with the MOND alternative, I summarize several of the main areas of possible disagreement between…
It is shown that, for open sets in classical potential theory and - more generally - for elliptic harmonic spaces, the set of Jensen measures for a point is a simple union of closed faces of a compact convex set which has been thoroughly…
We formulate and prove (in {\sf ZFC}) a strong coloring theorem which holds at successors of singular cardinals, and use it to answer several questions concerning Shelah's principle $Pr_1(\mu^+,\mu^+,\mu^+,\cf(\mu))$ for singular $\mu$.
We study Medvedev reducibility in the context of set theory -- specifically, forcing and large cardinal hypotheses. Answering a question of Hamkins and Li \cite{HaLi}, we show that the Medvedev degrees of countable ordinals are far from…
This expository and review paper deals with the Diamond Lemma for ring theory, which is proved in the first section of G. M. Bergman, The Diamond Lemma for Ring Theory, Advances in Mathematics, 29 (1978), pp. 178-218. No originality of the…