Related papers: Incompatibility of generic hugeness principles
There are several examples in the literature showing that compactness-like properties of a cardinal $\kappa$ cause poor behavior of some generic ultrapowers which have critical point $\kappa$ (Burke \cite{MR1472122} when $\kappa$ is a…
We show that Dependent Choice is a sufficient choice principle for developing the basic theory of proper forcing, and for deriving generic absoluteness for the Chang model in the presence of large cardinals, even with respect to…
This work provides some general theorems about unconditional and conditional weak convergence of empirical processes in the case of Poisson sampling designs. The theorems presented in this work are stronger than previously published…
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 study principles of the form: if a name $\sigma$ is forced to have a certain property $\varphi$, then there is a ground model filter $g$ such that $\sigma^g$ satisfies $\varphi$. We prove a general correspondence connecting these name…
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 explore the notion of approximate global symmetries in quantum field theory and quantum gravity. We show that a variety of conjectures about quantum gravity, including the weak gravity conjecture, the distance conjecture, and the…
In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models. An posible generalization of the Lob's theorem is considered.Main results is: (1) let $k$ be an inaccessible…
Our original aim was, in Abelian group theory to prove the consistency of: lambda is strong limit singular and for some properties of abelian groups which are relatives of being free, the compactness in singular fails. In fact this should…
A classical counterexample due to E. De Giorgi, shows that the weak maximum principle does not remain true for general linear elliptic differential systems. After that, there are some efforts to establish the weak maximum principle for…
Solar-System constraints on a general scalar-tensor theory with generic non-minimal coupling function, non-canonical kinetic function, and scalar potential, are investigated in both the metric and Palatini formalisms. A unified…
The no-supervenience theorem limits the capacity of physicalist theories to provide a comprehensive account of human consciousness. The proof of the theorem is difficult to formalize because it relies on both alethic and epistemic notions…
We derive a forcing axiom from the conjunction of square and diamond, and present a few applications, primary among them being the existence of super-Souslin trees. It follows that for every uncountable cardinal $\lambda$, if $\lambda^{++}$…
We introduce the strongly uplifting cardinals, which are equivalently characterized, we prove, as the superstrongly unfoldable cardinals and also as the almost hugely unfoldable cardinals, and we show that their existence is equiconsistent…
In a previous paper [gr-qc/0104001; Class. Quant. Grav. 18 (2001) 3595-3610] we have shown that the occurrence of curved spacetime ``effective Lorentzian geometries'' is a generic result of linearizing an arbitrary classical field theory…
We study compactness and L\"owenheim-Skolem properties of fragments of the class-sized logic $\mathcal{L}_{\infty \infty}$ and of class-sized versions of second-order and sort logics. In these fragments, certain combinations of infinitary…
It is demonstrated the fundamental role of the equivalence principle in gravity for the Yukawa coupling between scalar and fermion fields. The Kibble-Zurek mechanism for formation of topological defects as vortexes and monopoles breaks down…
Let omega be the first infinite ordinal (or the set of all natural numbers) with the usual order <. In section 1 we show that, assuming the consistency of a supercompact cardinal, there may exist an ultrapower of omega, whose cardinality is…
This paper explores the consistency strength of The Proper Forcing Axiom ($\textsf{PFA}$) and the theory (T) which involves a variation of the Viale-Wei$\ss$ guessing hull principle. We show that (T) is consistent relative to a supercompact…
Causality constrains the gravitational interactions of massive higher spin particles in both AdS and flat spacetime. We explore the extent to which these constraints apply to composite particles, explaining why they do not rule out…