相关论文: Principles Weaker than BD-N

For $0\leqslant \xi\leqslant \omega_1$, we define the notion of $\xi$-weakly precompact and $\xi$-weakly compact sets in Banach spaces and prove that a set is $\xi$-weakly precompact if and only if its weak closure is $\xi$-weakly compact.…

The Kestelman-Borwein-Ditor Theorem asserts that a non-negligible subset of $\mathbb{R}$ which is Baire (=has the Baire property, BP) or measurable is shift-compact: it contains some subsequence of any null sequence to within translation by…

Argument Unit Recognition and Classification aims at identifying argument units from text and classifying them as pro or against. One of the design choices that need to be made when developing systems for this task is what the unit of…

Varieties of the Fan Theorem have recently been developed in reverse constructive mathematics, corresponding to different continuity principles. They form a natural implicational hierarchy. Some of the implications have been shown to be…

We focus on the persistence principle over weak interpretability logic. Our object of study is the logic obtained by adding the persistence principle to weak interpretability logic from several perspectives. Firstly, we prove that this…

We define and study a pro-$p$ version of Sidki's weak commutativity construction. This is the pro-$p$ group $\mathfrak{X}_p(G)$ generated by two copies $G$ and $G^{\psi}$ of a pro-$p$ group, subject to the defining relators $[g,g^{\psi}]$…

Post-Newtonian theory is considered a reliable effective expansion of General Relativity in the weak-field and slow-motion limit. We argue that such a belief is misplaced. In generic many-body relativistic dynamics, the absence of globally…

Two new Banach space moduli, that involve weak convergent sequences, are introduced. It is shown that if either one of these moduli are strictly less than 1 then the Banach space has Property($K$)

With the advancement of DNNs into safety-critical applications, testing approaches for such models have gained more attention. A current direction is the search for and identification of systematic weaknesses that put safety assumptions…

We study the property of being strongly weakly compactly generated (and some relatives) in projective tensor products of Banach spaces. Our main result is as follows. Let $1<p,q<\infty$ be such that $1/p+1/q\geq 1$. Let $X$ (resp., $Y$) be…

The well-accepted Nelson-Seiberg theorem relates R-symmetries to supersymmetry (SUSY) breaking vacua, and provides a guideline for SUSY model building which is the most promising physics beyond the Standard Model. In the case of Wess-Zumino…

We study classes of Banach spaces where the points of weak$^*$-weak continuity for the identity mapping on the dual unit ball form a weak$^*$-dense and weak$^*$-$G_{\delta}$ set. We also discuss how this property behaves in higher duals of…

We outline a comprehensive and first-principle solution to the wall-crossing problem in D=4 N=2 Seiberg-Witten theories. We start with a brief review of the multi-centered nature of the typical BPS states and recall how the wall-crossing…

We study the notions of weak partial $b$-metric space and weak partial Hausdorff $b$-metric space. Moreover, we intend to generalize Nadler's theorem in weak partial $b$-metric space by using weak partial Hausdorff $b$-metric spaces. A…

The main observation of this paper is that some sequential weak compactness arguments in Hilbert space theory can be replaced by Heine/Borel compactness arguments (for the strong topology). Even though the latter form of compactness fails…

It is shown that if the dual of a separable Banach space has Property($K^*$) then the original space has the weak fixed point property. This is an improvement of previously results.

This paper presents a new general formulation of the Radon-Nikodym theorem in the setting of abstract measure theory. We introduce the notion of weak localizability for a measure and show that this property is both necessary and sufficient…

We will construct an algebraic weak factorisation system on the category of 01 substitution sets such that the R-algebras are precisely the Kan fibrations together with a choice of Kan filling operation. The proof is based on Garner's small…

A Banach space has the weak fixed point property if its dual space has a weak$^*$ sequentially compact unit ball and the dual space satisfies the weak$^*$ uniform Kadec-Klee property; and it has the \fpp if there exists $\epsilon>0$ such…

In [1], systems of weakening of intuitionistic negation logic called Z_n and CZ_n were developed in the spirit of da Costa's approach(c.f. [2]) by preserving, differently from da Costa, its fundamental properties: antitonicity, inversion…