Related papers: The consistency strength of NFUB
We prove the consistency of a strong polarized relation for a cardinal and its successor, using pcf and forcing
In this article we investigate which compact spaces remain compact under countably closed forcing. We prove that, assuming the Continuum Hypothesis, the natural generalizations to $\omega_1$-sequences of the selection principle and…
In this note we observe that Webb and co-workers' observation of an evolving fine structure constant has since been reconfirmed. We also confirm Kuhne's contention that this implies a cosmological constant and exhibit a cosmological…
A countable discrete group $\Gamma$ is said to be Frobenius stable if a function from the group that is "almost multiplicative" in the point Frobenius norm topology is "close" to a genuine unitary representation in the same topology. The…
This is a sequel to the paper "Frobenius amplitude and strong vanishing theorems for vector bundles" (math.AG/0202129). We introduce a more elementary variant of the notion of F-amplitude from the earlier paper which we call amplitude. This…
Discussion of the constancy, or otherwise, of the various so-called universal constants which abound in physics has continued for many years. However, relatively recent observations, which appear to indicate a variation in the value of the…
We study the strength of well-founded ultrafilters on ordinals above choiceless large cardinals and their associated Prikry forcings. Gabriel Goldberg showed that all but boundedly many regular cardinals above a rank Berkeley cardinal carry…
We answer a question of Woodin by showing that assuming an inaccessible cardinal $\kappa$ which is a limit of ${<}\kappa$-supercompact cardinals exists, there is a stationary set preserving forcing $\mathbb{P}$ so that $V^{\mathbb…
This paper exposes a contradiction in the Zermelo-Fraenkel set theory with the axiom of choice (ZFC). While Godel's incompleteness theorems state that a consistent system cannot prove its consistency, they do not eliminate proofs using a…
It is well known that strong monoidal functors preserve duals. In this short note we show that a slightly weaker version of functor, which we call "Frobenius monoidal", is sufficient.
We show, assuming the consistency of one measurable cardinal, that it is consistent for there to be exactly kappa+ many normal measures on the least measurable cardinal kappa. This answers a question of Stewart Baldwin. The methods…
We consider random perturbations of discrete-time dynamical systems. We give sufficient conditions for the stochastic stability of certain classes of maps, in a strong sense. This improves the main result in J. F. Alves, V. Araujo, Random…
The derived category of coherent systems is an interesting triangulated category associated with a smooth, projective curve $C$. These categories admit Bridgeland stability conditions, as recently shown by Feyzbakhsh and Novik. Their…
The authors show, by means of a finitary version square^{fin}_{lambda,D} of the combinatorial principle square^{b^*}_{lambda}, the consistency of the failure, relative to the consistency of supercompact cardinals, of the following: for all…
This paper is the concise addition to the foregoing work "Inconsistency of Inaccessibility", containing the presentation of main theorem proof (in ZF) about inaccessible cardinals nonexistence. Here some refinement of this presentation is…
We present a new, scalable alternative to the structured singular value, which we call $\nu$, provide a convex upper bound, study their properties and compare them to $\ell_1$ robust control. The analysis relies on a novel result on the…
A criterion is given for a type in a finite rank stable theory to be (almost) internal to a given nonmodular minimal type. The motivation comes from results of Campana which give criteria for compact complex analytic spaces to be algebraic…
This paper continues the author's previous study \cite{Kura20}, showing that several weak principles inspired by non-normal modal logic suffice to derive various refined forms of the second incompleteness theorem. Among the main results of…
The compactness phenomenon is one of the featured aspects of structuralism in mathematics. In simple and broad words, a compactness property holds in a structure if a related property is satisfied by sufficiently many substructures of that…
We consider the uniqueness of equilibrium states for dynamical systems that satisfy certain weak, non-uniform versions of specification, expansivity, and the Bowen property at a fixed scale. Following Climenhaga-Thompson's approach which…