Related papers: Life without "Choice"
The main aim of this work is to show, in the absence of the Axiom of Choice, fundamental results on $\mathbf{E}$-compact extensions of $\mathbf{E}$-completely regular spaces, in particular, on Hewitt realcompactifications and Banaschewski…
We have derived an expression for the magnetic susceptibility of topologically trivial insulators, however an important consideration for any response tensor is whether it is gauge-invariant. By this we refer to the gauge-freedom in…
We discuss the asymmetric sandwich theorem, a generalization of the Hahn-Banach theorem. As applications, we derive various results on the existence of linear functionals that include bivariate, trivariate and quadrivariate generalizations…
Using the method of forcing we prove that consistently there is a Banach space of continuous functions on a compact Hausdorff space with the Grothendieck property and with density less than the continuum. It follows that the classical…
The aim of this paper is to prove two new uncertainty principles for the Fourier-Bessel transform (or Hankel transform). The first of these results is an extension of a result of Amrein-Berthier-Benedicks, it states that a non zero function…
In this work, new equivalences of topological statements and weaker axioms than ${\bf AC}$ are proven. This equivalences include the use of anti-properties. All this equivalences have been checked with a computer using the theorem proving…
No-Signalling is a fundamental constraint on the probabilistic predictions made by physical theories. It is usually justified in terms of the constraints imposed by special relativity. However, this justification is not as clear-cut as is…
In this paper, we consider certain cardinals in ZF (set theory without AC, the Axiom of Choice). In ZFC (set theory with AC), given any cardinals C and D, either C <= D or D <= C. However, in ZF this is no longer so. For a given infinite…
As artificial agents become increasingly capable, what internal structure is *necessary* for an agent to act competently under uncertainty? Classical results show that optimal control can be *implemented* using belief states or world…
We consider variants on the classical Berz sublinearity theorem, using only DC, the Axiom of Dependent Choices, rather than AC, the Axiom of Choice which Berz used. We consider thinned versions, in which conditions are imposed on only part…
An experiment that would measure non--commuting quantum mechanical observables without collapsing the wave function has been recently proposed by Y Aharonov and J Anandan. These authors argue that this "protected measurement" may give…
It is shown that the existence of a measurable cardinal is equiconsistent to a model of ZFC in which there is no ordinal-definable, stationary, costationary subset of $\omega_1$
Bishop's constructive mathematics school rejects the Law of Excluded Middle, but instead vastly makes use of weaker versions of the Choice. In this paper we pioneer an example, which shows that this road is not consistent, as our example…
We establish several deep existence criteria for conditional expectations on von Neumann algebras, and then apply this theory to develop a noncommutative theory of representing measures of characters of a function algebra. Our main cycle of…
The fact that not all quantum observables are jointly measurable is one of the major differences between quantum and classical theory. In the former, non-commuting observables can only be simultaneously measured with limited precision. We…
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…
We discuss some properties of linear functionals on topological hyperbolic and topological bicomplex modules. The hyperbolic and bicomplex analogues of the uniform boundedness principle, the open mapping theorem, the closed graph theorem…
Nontransitive choices have long been an area of curiosity within economics. However, determining whether nontransitive choices represent an individual's preference is a difficult task since choice data is inherently stochastic. This paper…
Statistical inference for stochastic processes with time-varying spectral characteristics has received considerable attention in recent decades. We develop a nonparametric test for stationarity against the alternative of a smoothly…
It was argued [1] that there can be no extension of quantum mechanics with improved predictive power on a measurement freely chosen, independently of any event that is not in its future light cone. The assumption of measurement choice was…