Related papers: Friedman's $ \mathsf{WD} $ is not parameter-free s…
Harvey Friedman shows that, over Peano Arithmetic, the consistency statement for a finitely axiomatised theory $A$ can be characterised as the weakest statement $C$ over Peano Arithmetic such that ${\sf PA}+C$ interprets $A$. We study which…
It is shown that Vop\v{e}nka's Principle (VP) can restore almost the entire ZF over a weak fragment of it. Namely, if EST is the theory consisting of the axioms of Extensionality, Empty Set, Pairing, Union, Cartesian Product,…
I provide additional arguments for refuting Vaidmans weak value analysis of the path of a particle in a nested Mach-Zehnder interferometer. The argument uses sequential weak values to supplement my previous analysis according to which even…
We discuss the abstract structure of sequential weak measurement (WM) of general observables. In all orders, the sequential WM correlations without post-selection yield the corresponding correlations of the Wigner function, offering direct…
In the context of $\mathsf{ZF}$, we analyze a version of Hindman's finite unions theorem on infinite sets, which normally requires the Axiom of Choice to be proved. We establish the implication relations between this statement and various…
It is well-known that the square principle $\square_\lambda$ entails the existence of a non-reflecting stationary subset of $\lambda^+$, whereas the weak square principle $\square^*_\lambda$ does not. Here we show that if…
We investigate Hindman- and Owings-type Ramsey-theoretic statements in Zermelo-Fraenkel set theory without the Axiom of Choice, with some occasional extra assumptions (such as the Axiom of Dependent Choice and/or the Axiom of Determinacy).…
A weakly consecutive sequence (WCS) is a permutation $\sigma$ of $\{1, \ldots, k\}$ such that if an integer $d$ divides $\sigma(i)$, then $d$ also divides $\sigma(i \pm d)$ insofar as these are defined. The structure of weakly consecutive…
For substructural logics with contraction or weakening admitting cut-free sequent calculi, proof search was analyzed using well-quasi-orders on $\mathbb{N}^d$ (Dickson's lemma), yielding Ackermannian upper bounds via controlled bad-sequence…
The Suslin hypothesis states that there are no nonseparable complete dense linear orderings without endpoints which have the countable chain condition. $\mathsf{ZF + AD^+ + V = L(\mathscr{P}(\mathbb{R}))}$ proves the Suslin hypothesis. In…
Weak Feller property of controlled and control-free Markov chains lead to many desirable properties. In control-free setups this leads to the existence of invariant probability measures for compact spaces and applicability of numerical…
It is well-known that a finite axiomatization of Zermelo-Fraenkel set theory (ZF) is not possible in the same first-order language. In this note we show that a finite axiomatization is possible if we extent the language of ZF with the new…
Matthias Schr\"oder has asked the question whether there is a weakest discontinuous problem in the continuous version of the Weihrauch lattice. Such a problem can be considered as the weakest unsolvable problem. We introduce the…
In this paper, we introduce the new class of continua; weakly infinite-dimensional closed set-aposyndetic continua. With this notion, we show that there exists a non-D-continuum such that each positive Whitney level of the hyperspace of the…
This paper examines the construction of confidence sets for parameters defined as linear functionals of a function of W and X whose conditional mean given Z and X equals the conditional mean of another variable Y given Z and X. Many…
We study the distribution of Durbin-Wu-Hausman (DWH) and Revankar-Hartley (RH) tests for exogeneity from a finite-sample viewpoint, under the null and alternative hypotheses. We consider linear structural models with possibly non-Gaussian…
The higher-order nonlinear Schrodinger equation (Dysthe's equation in the context of water-waves) models the time evolution of the slowly modulated amplitude of a wave-packet in dispersive partial differential equations (PDE). These…
Vaidman, Phys.Rev. A 87, 052104 (2013), has proposed a weak value criterion for the past of a quantum particle, and applied it to photons in a particular setup of nested Mach-Zehnder interferometers. From his analysis, he draws some…
This work advances floating-point program verification by introducing Augmented Weak-Distance (AWD), a principled extension of the Weak-Distance (WD) framework. WD is a recent approach that reformulates program analysis as a numerical…
The quantum mechanical weak value $A_w=\left\langle \phi|A|\psi \right \rangle / \left\langle \phi | \psi \right\rangle$ of an observable $A$ is a measurable quantity associated with an observable $A$ and pre- and post-selected states…