Related papers: Life without "Choice"
The Hahn-Banach theorem is an extension theorem for linear functionals which preserves certain properties. Specifically, if a linear functional is defined on a subspace of a real vector space which is dominated by a sublinear functional on…
This article gives a new proof of the fundamental lemma of the "weakly admissible implies admissible" theorem of Colmez-Fontaine that describes the semi-stable p-adic representations. To this end, we introduce the category of spectral…
Given information about which options a decision-maker definitely rejects from given finite sets of options, we study the implications for decision-making with E-admissibility. This means that from any finite set of options, we reject those…
Computational properties of the Hahn-Banach theorem have been studied in computable, constructive and reverse mathematics and in all these approaches the theorem is equivalent to weak K\H{o}nig's lemma. Gherardi and Marcone proved that this…
We discuss how singular can cardinals be in absence of the axiom of choice. We show that, contrasting with known negative consistency results (of Gitik and others), certain positive results are provable. Then we pose some problems.
A {\it weak selection} on $\mathbb{R}$ is a function $f: [\mathbb{R}]^2 \to \mathbb{R}$ such that $f(\{x,y\}) \in \{x,y\}$ for each $\{x,y\} \in [\mathbb{R}]^2$. In this article, we continue with the study (which was initiated in \cite{ag})…
Closed expressions are derived for the quantum measurement statistics of pre-and postselected gaussian particle beams. The weakness of the pre-selection step is shown to compete with the non-orthogonality of post-selection in a transparent…
Functional data often arise as sequential temporal observations over a continuous state-space. A set of functional data with a possible change in its structure may lead to a wrong conclusion if it is not taken in to account. So, sometimes,…
We study some aspects of countably additive vector measures with values in $\ell_\infty$ and the Banach lattices of real-valued functions that are integrable with respect to such a vector measure. On the one hand, we prove that if $W…
Let m>2 be an integer. We show that ZF + "For every integer n, Every countable family of non-empty sets of cardinality at most n has an infinite partial choice function" is not strong enough to prove that every countable set of m-element…
Benyamini and Lindenstrauss mention in their monograph \emph{Geometric nonlinear functional analysis Vol. 1., American Mathematical Society Colloquium Publications, 48. American Mathematical Society, Providence, RI, 2000} that there is no…
In this paper, we introduce the concept of biamenability of Banach algebras and we show that despite the apparent similarities between amenability and biamenability of Banach algebras, they lead to very different, and somewhat opposed,…
We show that the Axiom of Dependent Choices, $\operatorname{DC}$, holds in countably iterable, passive premice $\mathcal{M}$ construced over their reals which satisfy the Axiom of Determinacy, $\operatorname{AD}$, in a…
This paper uses anthropic reasoning to argue for the Non-Arbitrary Existence Hypothesis (NAEH). Nick Bostrom's Self-Sampling Assumption (SSA) combined with NAEH is compared against SSA without such an assumption and also SSA with the…
Quasi-invariant and pseudo-differentiable measures on a Banach space $X$ over a non-Archimedean locally compact infinite field with a non-trivial valuation are defined and constructed. Measures are considered with values in $\bf R$.…
It is observed that a natural analog of the Hahn-Banach theorem is valid for metric functionals but fails for horofunctions. Several statements of the existence of invariant metric functionals for individual isometries and 1-Lipschitz maps…
In this paper, methods of second order and higher order reverse mathematics are applied to versions of a theorem of Banach that extends the Schroeder-Bernstein theorem. Some additional results address statements in higher order arithmetic…
An important consequence of the Hahn-Banach Theorem says that on any locally convex Hausdorff topological space $X$, there are sufficiently many continuous linear functionals to separate points of $X$. In the paper, we establish a `local'…
We investigate how to model exchangeability with choice functions. Exchangeability is a structural assessment on a sequence of uncertain variables. We show how such assessments are a special indifference assessment, and how that leads to a…
We show that when certain statements are provable in subsystems of constructive analysis using intuitionistic predicate calculus, related sequential statements are provable in weak classical subsystems. In particular, if a $\Pi^1_2$…