Related papers: Life without "Choice"
We prove a commutative Gelfand--Naimark type theorem, by showing that the set $C_s(X)$ of continuous bounded (real or complex valued) functions with separable support on a locally separable metrizable space $X$ (provided with the supremum…
Weak measurement has been shown to play important roles in the investigation of both fundamental and practical problems. Anomalous weak values are generally believed to be observed only when post-selection is performed, i.e, only a…
A common assumption in modern microeconomic theory is that choice should be rationalizable via a binary preference relation, which \citeauthor{Sen71a} showed to be equivalent to two consistency conditions, namely $\alpha$ (contraction) and…
We axiomatically define a cardinal social inefficiency function, which, given a set of alternatives and individuals' vNM preferences over the alternatives, assigns a unique number -- the social inefficiency -- to each alternative. These…
In this paper, we establish a suitable version of the Hahn-Banach theorem within the framework of Colombeau spaces, a class of spaces used to model generalized functions. Our approach addresses the case where maps are defined…
A remarkable theorem of R. C. James is the following: suppose that $X$ is a Banach space and $C \subseteq X$ is a norm bounded, closed and convex set such that every linear functional $x^* \in X^*$ attains its supremum on $C$; then $C$ is a…
The paper is devoted to the study of extremal points of $\mathcal{C}$, the family of all two-variate coherent distributions on $[0,1]^2$. It is well-known that the set $\mathcal{C}$ is convex and weak$^*$ compact, and all extreme points of…
We present a proof of Arrow's theorem from social choice theory that uses a fixpoint argument. Specifically, we use Banach's result on the existence of a fixpoint of a contractive map defined on a complete metric space. Conceptually, our…
In this paper, we prove new existence and multiplicity results for critical points of lower semicontinuous functionals in Banach spaces, complementing the nonsmooth critical point theory set forth by Szulkin and avoiding the need of the…
The physical meaning of weak values and measurements can be completely understood with Born rule and the general probability theory. It is known that the weak value of an observable $\hat A$ with post-selection $\langle F|$ may be out of…
Whilst Power Kripke-Platek set theory, KPP, shares many properties with ordinary Kripke-Platek set theory, KP, in several ways it behaves quite differently from KP. This is perhaps most strikingly demonstrated by a result, due to Mathias,…
The famous Michael selection theorem deals with the characterisation of paracompact spaces by continuous selections of lower semi-continuous mappings in Banach spaces. In this paper, we will discuss several equivalent forms of this theorem,…
We work in set-theory without choice $\ZF$. Given a closed subset $F$ of $[0,1]^I$ which is a bounded subset of $\ell^1(I)$ ({\em resp.} such that $F \subseteq \ell^0(I)$), we show that the countable axiom of choice for finite subsets of…
The replacement (or collection or choice) axiom scheme asserts bounded quantifier exchange. We prove the independence of this scheme from various weak theories of arithmetic, sometimes under a complexity assumption.
In this article, we shall explore the constructions of Bernstein sets, and prove that every Bernstein set is nonmeasurable and doesn't have the property of Baire. We shall also prove that Bernstein sets don't have the perfect set property.
A simple proof of (2n)-weak amenability of the triangular Banach algebra T= [(A A) (0 A)] is given where A is a unital C*-algebra.
The core of Heisenberg's heuristic argument for the uncertainty principle, involving the famous $\gamma$-ray microscope $\textit{Gedankenexperiment}$, hinges upon the existence of measurements that irreversibly alter the state of the system…
We investigate which infinite binary sequences (reals) are effectively random with respect to some continuous (i.e., non-atomic) probability measure. We prove that for every n, all but countably many reals are n-random for such a measure,…
We deal with relatives of GCH which are provable. In particular we deal with rank version of the revised GCH. Our motivation was to find such results when only weak versions of the axiom of choice are assumed but some of the results gives…
Let $M$ be a multimeasure defined on a $\sigma$-algebra and taking values in the family of bounded non-empty subsets of a Banach space $X$. We prove that $M$ admits a control measure whenever $X$ contains no subspace isomorphic to…