相关论文: Remarks on the existence of measurable selectors
We show how the language of Krivine's classical realizability may be used to specify various forms of nondeterminism and relate them with properties of realizability models. More specifically, we introduce an abstract notion of…
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.
Minkowski's question mark function is the distribution function of a singular continuous measure: we study this measure from the point of view of logarithmic potential theory and orthogonal polynomials. We conjecture that it is regular, in…
For any pair of bounded observables $A$ and $B$ with pure point spectra, we construct an associated "joint observable" which gives rise to a notion of a joint (projective) measurement of $A$ and $B$, and which conforms to the intuition that…
A property of a filter, a kind of large cardinal property, suffices for the proof in Liu Shelah [LiSh:484] and is proved consistent as required there. A natural property which looks better, not only is not obtained here, but is shown to be…
It is well known that axiom of choice implies the existence of non-measurable sets for Lebesgue's measure on R as well as the existence of "paradoxical" decompositions of the unit ball of R^3 (Banach-Tarski). This is generally interpreted…
We show that the existence of disintegration for cylindrical measures follows from a general disintegration theorem for countably additive measures.
The Gibbard-Satterthwaite theorem states that every non-dictatorial election rule among at least three alternatives can be strategically manipulated. We prove a quantitative version of the Gibbard-Satterthwaite theorem: a random…
We prove the Decomposability Conjecture for functions of Baire class $2$ on a Polish space to a separable metrizable space. This partially answer an important open problem in descriptive set theory.
We study a classical realizability model (in the sense of J.-L. Krivine) arising from a model of untyped lambda calculus in coherence spaces. We show that this model validates countable choice using bar recursion and bar induction.
This paper presents categorical structures on classical measure spaces and quantum measure spaces in order to deal with canonical maps associated with conditional measures as morphisms. We extend the Riesz-Markov-Kakutani representation…
I provide simplified proofs for each of the following fundamental theorems regarding selection principles: 1. The Quasinormal Convergence Theorem, due to the author and Zdomskyy, asserting that a certain, important property of the space of…
The property of being selectively separable is well-studied and generalizations such as H-separable and wH-separable have also generated much interest. Bardyla, Maesano, and Zdomskyy proved from Martin's Axiom that there are countable…
The main object of this paper is to improve some of the known estimates for classical Kantorovich operators. A quantitative Voronovskaya-type result in terms of second moduli of continuity which improves some previous results is obtained.…
Motivated by ideas from the model theory of metric structures, we introduce a metric set theory, $\mathsf{MSE}$, which takes bounded quantification as primitive and consists of a natural metric extensionality axiom (the distance between two…
We show that the quantum wavefunctional can be seen as a set of classical fields on the 3D space aggregated by a measure. We obtain a complete description of the wavefunctional in terms of classical local beables. With this correspondence,…
The sufficient condition for partial function from the cartesian square of the finite set to the reals to be compatible with some metric on this set is given. It is then shown, that when afforementioned set and function are respectively a…
A serial property is a suitably enumerated sequence $\{F_n\}$ of formulas and is called selector provable in PA if there is a PA-recursive function $s(x)$ such that PA $\vdash \forall x (s(x){:}_{\text{PA}} \ulcorner F_x\urcorner)$ where…
We derive computationally tractable methods to select a small subset of experiment settings from a large pool of given design points. The primary focus is on linear regression models, while the technique extends to generalized linear models…
The paper proves that a bound on the averaged Jones' square function of a measure implies an upper bound on the measure. Various types of assumptions on the measure are considered. The theorem is a generalization of a result due to A. Naber…