Related papers: Reflection principles, generic large cardinals, an…
We strengthen a result of Bagaria and Magidor~\cite{MR3152715} about the relationship between large cardinals and torsion classes of abelian groups, and prove that (1) the \emph{Maximum Deconstructibility} principle introduced in…
We improve the upper bound for the consistency strength of stationary reflection at successors of singular cardinals.
We introduce the notion of $\mathcal{C}$-system of filters, generalizing the standard definitions of both extenders and towers of normal ideals. This provides a framework to develop the theory of extenders and towers in a more general and…
In two recent papers (math.LO/0003164 and math.LO/0003165) we answered a question raised in the book by Eklof and Mekler (p. 455, Problem 12) under the set theoretical hypothesis of diamondsuit_{aleph_1} which holds in many models of set…
Let kappa be a regular uncountable cardinal and lambda >=kappa^+ . The principle of stationary reflection for P_kappa lambda has been successful in settling problems of infinite combinatorics in the case kappa=omega_1. For a greater kappa…
It is proved to be consistent relative to a measurable cardinal that there is a uniform ultrafilter on the real numbers which is generated by fewer than the maximum possible number of sets. It is also shown to be consistent relative to a…
While large language models (LLMs) are proficient at question-answering (QA), it is not always clear how (or even if) an answer follows from their latent "beliefs". This lack of interpretability is a growing impediment to widespread use of…
Assuming the existence of a Mahlo cardinal, we produce a generic extension of G\"{o}del's constructible universe $L$, in which the transfer principles $(\aleph_2, \aleph_0) \to (\aleph_3, \aleph_1)$ and $(\aleph_3, \aleph_1) \to (\aleph_2,…
We show that the Abraham-Rubin-Shelah Open Coloring Axiom is consistent with a large continuum, in particular, consistent with $2^{\aleph_0}=\aleph_3$. This answers one of the main open questions from the 1985 paper of Abraham-Rubin-Shelah.…
It is known that the assumption that ``GCH first fails at \aleph_{\omega}'' leads to large cardinals in ZFC. Gitik and Koepke have demonstrated that this is not so in ZF: namely there is a generic cardinal-preserving extension of L (or any…
We propose a reflection principle for holomorphic objects in ${\Bbb C}^n$. Our construction generalizes the classical principle of H.Lewy, S.Pinchuk and S.Webster.
Given a Woodin cardinal $\delta$, I show that if $F$ is any Easton function with $F"\delta\subseteq\delta$ and $\GCH$ holds, then there is a cofinality-preserving forcing extension in which $2^\gamma= F(\gamma)$ for each regular cardinal…
In this paper it is introduced a generic large cardinal akin to I0, and its consequences are analyzed in the case that $\aleph_\omega$ is such a generic large cardinal. In this case $\aleph_\omega$ is J\'{o}nsson, and in a choiceless inner…
A property of a filter, a kind of large cardinal property, suffices for the proof in Liu Shelah [LiSh:484] and is proved consistent as required there. A natural property which looks better, not only is not obtained here, but is shown to be…
Exacting and ultraexacting cardinals are large cardinal numbers compatible with the Zermelo-Fraenkel axioms of set theory, including the Axiom of Choice. In contrast with standard large cardinal notions, their existence implies that the…
We establish the Schwarz Reflection Principle for $J$-complex discs attached to a real analytic $J$-totally real submanifold of an almost complex manifold with real analytic $J$. We also prove the precise boundary regularity and derive the…
We study continuum percolation of overlapping circular discs of two sizes. We propose a phenomenological scaling equation for the increase in the effective size of the larger discs due to the presence of the smaller discs. The critical…
We study reflection principles of Peano Arithmetic PA which are based on both proof and provability. Any such reflection principle in PA is equivalent to either $\Box P\!\rightarrow\! P$ ($\Box P$ stands for `$P$ is provable') or $\Box^k…
A set of general physical principles is proposed as the structural basis for the theory of complex systems. First the concept of harmony is analyzed and its different aspects are uncovered. Then the concept of reflection is defined and…
The categoricity spectrum of a class of structures is the collection of cardinals in which the class has a single model up to isomorphism. Assuming that cardinal exponentiation is injective (a weakening of the generalized continuum…