Related papers: The consistency strength of NFUB
A version of Woodin's HOD dichotomy is proved assuming the existence of just one strongly compact cardinal.
I show that it is consistent relative to the consistency of a Mahlo cardinal that Martin's axiom holds at $\omega_2$, but the weak Kurepa Hypothesis fails. This answers a question posed by Honzik, Lambie-Hanson and Stejskalov\'a. The…
This paper considers the problem of robust stability for a class of uncertain quantum systems subject to unknown perturbations in the system Hamiltonian. Some general stability results are given for different classes of perturbations to the…
In this paper, a general hybrid fixed point theorem for the contractive mappings in generalized Banach spaces is proved via measure of weak non-compactness and it is further applied to fractional integral equations for proving the existence…
Proving the uniqueness of solutions to multi-species cross-diffusion systems is a difficult task in the general case, and there exist very few results in this direction. In this work, we study a particular system with zero-flux boundary…
This is the second combinatorial proof of the compactness theorem for singular from 1977. In fact it gives a somewhat stronger theorem.
We prove the consistency of $\binom{\mu^+}{\mu}\nrightarrow\binom{\mu^+ \omega_1}{\mu\ \mu}$ where $\mu$ is a strong limit singular cardinal of countable cofinality. This result can be forced at limit of measurable cardinals and at small…
The focus of this paper is the phenomenon of rigidity for measure-preserving actions of countable discrete abelian groups and its interactions with weak mixing and recurrence. We prove that results about $\mathbb{Z}$-actions extend to this…
A countable discrete group is said to be Frobenius stable if every function from the group to unitary matrices that is "almost multiplicative" in the Frobenius norm is "close" to a unitary representation in the Frobenius norm. The purpose…
In this paper, we mainly study the robust stability of linear continuous systems with parameter uncertainties, a more general kind of uncertainties for system matrices is considered, i.e., entries of system matrices are rational functions…
In this paper, we investigate the fractal uncertainty principle (FUP) for discrete Cantor sets, which are determined by an alphabet from a base of digits. Consider the base of M digits and the alphabets of cardinality A such that all the…
We propose a refinement of the maxmin approach to robustness. A mechanism's payoff guarantee over an ambiguity set is \emph{robust} if the guarantee is approximately satisfied at priors near the ambiguity set (in the weak topology). We show…
In this paper $\mathrm{NFU}^{-\mathrm{AC}}$ is used to denote Ronald Jensen's modification of Quine's `New Foundations' Set Theory ($\mathrm{NF}$) fortified with a type-level pairing function but without the Axiom of Choice. The axiom…
This note is a commentary on the model-theoretic interpretation of Grothendieck's double limit characterization of weak relative compactness.
We prove the following version of the Furstenberg-Zimmer structure theorem for stationary actions: Any stationary action of a locally compact second-countable group is a weakly mixing extension of a measure-preserving distal system.
Complementing and extending the Inventiones work of Benson, Grodal, Henke [Group cohomology and control of p-fusion, Invent. Math. 197 (2014), 491--507] we give criteria for a space to have cohomology (strongly) F-isomorphic in the sense of…
We show that if the weak compactness of a cardinal is made indestructible by means of any preparatory forcing of a certain general type, including any forcing naively resembling the Laver preparation, then the cardinal was originally…
We generalise a theorem on the existence of Frobenius isocrystal and Fontaine-Laffaille module structures on rigid flat connections to the non-proper setting. The proof is based on a new strategy of a point-set topological flavour, which…
This note investigate some finiteness properties of the category U of unstable modules. One shows finiteness properties for the injective resolution of finitely generated unstable modules. One also shows a stabilization result under…
Given a cardinal $\kappa$ that is $\lambda$-supercompact for some regular cardinal $\lambda\geq\kappa$ and assuming $\GCH$, we show that one can force the continuum function to agree with any function $F:[\kappa,\lambda]\cap\REG\to\CARD$…