Related papers: Life without "Choice"
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 non-Archimedean…
We apply an inductive argument to three theorems of Cantor on (1) the uncountability of infinite binary sequences, (2) the uncountability of real numbers, and (3) the non-equinumerosity of sets with their powersets. This technique proves…
It is often claimed that analysis with infinitesimals requires more substantial use of the Axiom of Choice than traditional elementary analysis. The claim is based on the observation that the hyperreals entail the existence of nonprincipal…
We prove the following version of the Kreps-Yan theorem. For any norm closed convex cone $C\subset L^\infty$ such that $C\cap L_+^\infty=\{0\}$ and $C\supset -L_+^\infty$, there exists a strictly positive continuous linear functional, whose…
This paper proposes an experiment designed to distinguish between competing interpretations of quantum mechanics: those that involve wave function collapse and those that assume purely unitary evolution. The experiment tests whether an…
We introduce the post-processing preorder and equivalence relations for general measurements on a possibly infinite-dimensional general probabilistic theory described by an order unit Banach space $E$ with a Banach predual. We define the…
We give an example of a countable theory T such that for every cardinal lambda >= aleph_2 there is a fully indiscernible set A of power lambda such that the principal types are dense over A, yet there is no atomic model of T over A. In…
We prove a central limit theorem with aassumptions which are many weak than classical conditions
Schauder's theorem asserts that a bounded linear operator between Banach spaces is compact if ad only if its adjoint is. We give a new proof of this result, which is both short and completely elementary in the sense that it does not depend…
In previous papers, we studied the asymptotic behaviour of $S_N(A,X)=(2N+1)^{-d/2}\sum_{n \in A_N} X_n,$ where $X$ is a centered, stationary and weakly dependent random field, and $A_N=A \cap [-N,N]^d$, $A \subset \mathbb{Z}^d$. This leads…
In this note we give an example of a nonmeasurable set in the probability space for an infinite sequence of coin flips. The example arises naturally from the notion of an equivariant function, and serves as a pedagogical illustration of the…
We present a relatively simple description of binary, definable subsets of models of weakly quasi-o-minimal theories. In particular, we closely describe definable linear orders and prove a weak version of the monotonicity theorem. We also…
We conjecture that whenever $M$ is a metric space of density at most continuum, then the space of Lipschitz functions is $w^*$-separable. We prove the conjecture for several classes of metric spaces including all the Banach spaces with a…
We give a short proof of the most general version of the Nullstellensatz without using the Axiom of Choice.
The AAV effect is the well-known phenomenon where a weak measurement followed by post-selection leads to a pointer shift proportional to the weak value of the measured observable. The effect is usually derived by considering a perturbative…
An alternative mathematics based on qualitative plurality of finiteness is developed to make non-standard mathematics independent of infinite set theory. The vague concept "accessibility" is used coherently within finite set theory whose…
The proposal of Reshef et al. (2011) is an interesting new approach for discovering non-linear dependencies among pairs of measurements in exploratory data mining. However, it has a potentially serious drawback. The authors laud the fact…
In this paper, we study a class of Banach spaces, called \phi-spaces. In a natural way, we associate a measure of weak compactness in such spaces and prove an analogue of Sadovskii fixed point theorem for weakly sequentially continuous…
A brief proof of the statement that the zero-set of a nontrivial real-analytic function in $d$-dimensional space has zero measure is provided.
Recently Tomasz Natkaniec in [On lineability of families of non-measurable functions of two variable. Rev. R. Acad. Cienc. Exactas F\'is. Nat. Ser. A Mat. RACSAM, 115(1):Paper No. 33, 10, 2021] studied the lineability problem for several…