相关论文: BMM is stronger than BSPFA
It is shown the construction of a module structure [2] with universe over a set of a particular kind of mathematical proofs, the base ring of this module will be built on a maximal consistent extension of a set of propositions, this…
We consider the problem of discriminating between states of a specified set with maximum confidence. For a set of linearly independent states unambiguous discrimination is possible if we allow for the possibility of an inconclusive result.…
Recent Tabular Foundation Models (TFMs) have demonstrated state-of-the-art predictive performance, often surpassing Gradient-Boosted Decision Trees (GBDTs). However, the trustworthiness of these models, particularly their uncertainty…
A strong version of the Orlicz maximal operator is introduced and a natural $B_p$ condition for the rectangle case is defined to characterize its boundedness. This fact let us to describe a sufficient condition for the two weight…
Suppose that there is a measurable cardinal. If \aleph_\omega is a strong limit cardinal, but the power of \aleph_\omega is bigger than \aleph_{\omega_1}, then there is an inner model with a Woodin cardinal. Modulo the need of the…
We prove the consistency of: for suitable strongly inaccessible cardinal lambda the dominating number, i.e., the cofinality of ^{lambda}lambda, is strictly bigger than cov_lambda(meagre), i.e. the minimal number of nowhere dense subsets of…
We analyze different ways of constructing binary extended formulations of mixed-integer problems with bounded integer variables and compare their relative strength with respect to split cuts. We show that among all binary extended…
We consider estimation in moment condition models and show that under any bound on identification strength, asymptotically admissible (i.e. undominated) estimators in a wide class of estimation problems must be uniformly continuous in the…
We generically construct a model in which the ${\Pi^1_3}$-uniformization property is true, thus lowering the best known consistency strength from the existence of $M_1^{\#}$ to just $\mathsf{ZFC}$. The forcing construction can be adapted to…
Some properties of the modified Bethe-Weizsacker mass formula (BWM) are discussed. As BWM has no shell effect included, the extra-stability or, magicity in nuclei clearly stands out when experimental mass data are compared with BWM…
We construct a variety of inner models exhibiting features usually obtained by forcing over universes with large cardinals. For example, if there is a supercompact cardinal, then there is an inner model with a Laver indestructible…
Many set theorists point to the linearity phenomenon in the hierarchy of consistency strength, by which natural theories tend to be linearly ordered and indeed well ordered by consistency strength. Why should it be linear? In this paper I…
It is shown that the boldface maximality principle for subcomplete forcing, together with the assumption that the universe has only set-many grounds, implies the existence of a (parameter-free) definable well-ordering of…
The Inner Model Hypothesis (IMH) and the Strong Inner Model Hypothesis (SIMH) were introduced by the first author in ``Internal consistency and the inner model hypothesis'', Bulletin of Symbolic Logic, December 2006. In this article we…
The stability of magnetized strange quark matter (MSQM) is studied in the MIT bag model with the density dependent bag pressure. In the consistent thermodynamic description of MSQM, the quark chemical potentials, the total thermodynamic…
We explore the 1/2 BPS configurations in BMN matrix theory with SO(3) angular momentum of $SO(3)\times SO(6)$ symmetry. The fluctuation analysis of the BPS configurations near the abelian solutions and also the fuzzy two sphere vacua…
The classical bond-fluctuation model (BFM) is an efficient lattice Monte Carlo algorithm for coarse-grained polymer chains where each monomer occupies exclusively a certain number of lattice sites. In this paper we propose a generalization…
We prove that the upper bounds for the consistency strength of certain instances of mutual stationarity considered by Liu-Shelah~\cite{MR1469093} are close to optimal. We also consider some related and, as it turns out, stronger properties.
In this paper, we study the stability and convergence of some general quadratic semimartingales. Motivated by financial applications, we study simultaneously the semimartingale and its opposite. Their characterization and integrability…
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…