Related papers: Principles Weaker than BD-N
Compactness is one of the core notions of analysis: it connects local properties to global ones and makes limits well-behaved. We study the computational properties of the compactness of Cantor space $2^{\mathbb{N}}$ for uncountable covers.…
Vaidman, Phys.Rev. A 87, 052104 (2013), has proposed a weak value criterion for the past of a quantum particle, and applied it to photons in a particular setup of nested Mach-Zehnder interferometers. From his analysis, he draws some…
With the increasing empirical success of distributional models of compositional semantics, it is timely to consider the types of textual logic that such models are capable of capturing. In this paper, we address shortcomings in the ability…
A combinatorial principle CECA is formulated and its equivalence with GCH+ certain weakenings of Box_lambda for singular lambda is proved. CECA is used to show that certain ``almost point- < tau'' families can be refined to point- < tau…
Hidden variables theories for quantum mechanics are usually assumed to satisfy the KS condition. The Bell-Kochen-Specker theorem then shows that these theories are necessarily contextual. But the KS condition can be criticized from an…
Recent improvements to the limit of Delta M_{B_s} imply that pure superweak theories, while not excluded, no longer provide a good fit to the data. A class of general superweak theories is introduced in which all flavor changing…
The rigid relation principle, introduced in this article, asserts that every set admits a rigid binary relation. This follows from the axiom of choice, because well-orders are rigid, but we prove that it is neither equivalent to the axiom…
A compact space is said to be weakly Radon-Nikod\'{y}m (WRN) if it can be weak*-embedded into the dual of a Banach space not containing $\ell_1$. We investigate WRN Boolean algebras, i.e. algebras whose Stone space is WRN compact. We show…
It is well known that in the calculus of variations and in optimization there exist many formulations of the fundamental propositions on the attainment of the infima of sequentially weakly lower semicontinuous coercive functions on…
The structure of a complete lattice formed by closed linear subspaces of a Hilbert space (i.e., a Hilbert lattice) entails some unreasonable consequences from the physical point of view. Specifically, this structure seems to contradict to…
We characterize the weak-star point of continuity property for subspaces of dual spaces with separable predual and we deduce that the weak-star point of continuity property is determined by subspaces with a Schauder basis in the natural…
A number of landmark existence theorems of nonlinear functional analysis follow in a simple and direct way from the basic separation of convex closed sets in finite dimension via elementary versions of the Knaster-Kuratowski-Mazurkiewicz…
Weak measurements have an increasing number of applications in contemporary quantum mechanics. They were originally described as a weak interaction that slightly entangled the translational degrees of freedom of a particle to its spin,…
This paper provides a constructive proof of the weak factorizations of the classical Hardy space $H^1(\mathbb{R}^n)$ in terms of multilinear Riesz transforms. As a direct application, we obtain a new proof of the characterization of ${\rm…
We introduce three general compositionality criteria over operational semantics and prove that, when all three are satisfied together, they guarantee weak bisimulation being a congruence. Our work is founded upon Turi and Plotkin's…
The following dichotomy is established for a normalized weakly null sequence in a Banach space: Either every subsequence admits a convex block subsequence equivalent to the unit vector basis of c, the Banach space of null sequences under…
In this paper, authors prove that if $X$ is a weak Asplund space, then the space $X\times R$ is a weak Asplund space. Thus the author definitely answered an open problem raised by D.G. Larman and R.R. Phelps for 45 years ago (J. London.…
This paper is an overview of results that show the Brouwer fixed-point theorem (BFPT) to be essentially non-constructive and non-computable. The main results, the counter-examples of Orevkov and Baigger, imply that there is no procedure for…
We establish weighted weak-type bounds for the Bergman projection with respect to Bekoll\'e-Bonami characteristics. We present two proofs of an improved quantitative weak-type $(1,1)$ estimate, as well as sharp weak-type $(p,p)$ bounds for…
In this paper we show the weak Banach-Saks property of the Banach vector space $(L_\mu^p)^m$ generated by $m$ $L_\mu^p$-spaces for $1\leq p<+\infty,$ where $m$ is any given natural number. When $m=1,$ this is the famous Banach-Saks-Szlenk…