Related papers: Life without "Choice"
Recently, [{arXiv:0810.3134}] is accepted and published. We present ultimate version of no-hidden-variables theorem. We derive a proposition concerning the quantum theory under the existence of the Bloch sphere in a single spin-1/2 system.…
We introduce a new inner model $C(aa)$ arising from stationary logic. We show that assuming a proper class of Woodin cardinals, or alternatively $MM^{++}$, the regular uncountable cardinals of $V$ are measurable in the inner model $C(aa)$,…
A strong submeasure on a compact metric space X is a sub-linear and bounded operator on the space of continuous functions on X. A strong submeasure is positive if it is non-decreasing. By Hahn-Banach theorem, a positive strong submeasure is…
Under certain hypotheses on the Banach space $X$, we prove that the set of analytic functions in $\mathcal{A}_u(X)$ (the algebra of all holomorphic and uniformly continuous functions in the ball of $X$) whose Aron-Berner extensions attain…
Conventional quantum mechanics describes a pre- and post-selected system in terms of virtual (Feynman) paths via which the final state can be reached. In the absence of probabilities, a weak measurement (WM) determines the probability…
This paper shows that testability of reverse causality is possible even in the absence of exogenous variation, such as in the form of instrumental variables. Instead of relying on exogenous variation, we achieve testability by imposing…
We consider (not self-similar) Cantor sets defined by a sequence of piecewise linear functions. We prove that the dimension of the harmonic measure on such a set is strictly smaller than its Hausdorff dimension. Some Hausdorff measure…
Problems in econometrics, insurance, reliability engineering, and statistics quite often rely on the assumption that certain functions are non-decreasing. To satisfy this requirement, researchers frequently model the underlying phenomena…
Weak values are the fundamental values for observables in a pre- and post-selected system. Weak values are typically measured by weak measurement, in which weak values appear in the change of not the pre- and post-selected system but the…
Arrow's Impossibility Theorem states that any constitution which satisfies Transitivity, Independence of Irrelevant Alternatives (IIA) and Unanimity is a dictatorship. Wilson derived properties of constitutions satisfying Transitivity and…
In the absence of empirical confirmation, scientists may judge a theory's chances of being viable based on a wide range of arguments. The paper argues that such arguments can differ substantially with regard to their structural similarly to…
The classical Baldwin-Lachlan characterization of uncountably categorical theories is known to fail in continuous logic in that not every inseparably categorical theory has a strongly minimal set. Here we investigate these issues by…
Outer measures can be used for statistical inference in place of probability measures to bring flexibility in terms of model specification. The corresponding statistical procedures such as Bayesian inference, estimators or hypothesis…
Along the lines of Janssen's and Pfanzagl's work the testing theory for statistical functionals is further developed for non-parametric one-sample problems. Efficient tests for the one-sided and two-sided problems are derived for…
Prediction with the possibility of abstention (or selective prediction) is an important problem for error-critical machine learning applications. While well-studied in the classification setup, selective approaches to regression are much…
A classical theorem of Lusin states that all analytic sets are Lebesgue-measurable. In this article we established the reverse mathematical strength of Lusin's theorem, which depends on how precisely it is formalized. By doing so, we answer…
We prove that the following problem is decidable: given a finite set of relations, decide whether this set admits a near-unanimity function.
A combinatorial characterization of measurable filters on a countable set is found. We apply it to the problem of measurability of the intersection of nonmeasurable filters.
We provide a formal, simple and intuitive theory of rational decision making including sequential decisions that affect the environment. The theory has a geometric flavor, which makes the arguments easy to visualize and understand. Our…
We consider the Banach space $H^\infty_{\mathrm{ap}}(\mathbb{C}_0)$ of bounded analytic functions on the open right half-plane $\mathbb{C}_0$ that are almost periodic on some smaller half-plane, as well as the subspace…