Related papers: A Note on McGee's {\omega}-Inconsistency Result

Bell's theorem is a fundamental result in quantum mechanics: it discriminates between quantum mechanics and all theories where probabilities in measurement results arise from the ignorance of pre-existing local properties. We give an…

We study the observability of the one-dimensional Schr{\"o}dinger equation and of the beam and plate equations by moving or oblique observations. Applying different versions and adaptations of Ingham's theorem on nonharmonic Fourier series,…

The aim of this paper is to provide a proof for a version of Morse inequality for manifolds with boundary. Our main results are certainly known to the experts on Morse theory, nevertheless it seems necessary to write down a complete proof…

This paper studies robustness of multivariable systems with parametric uncertainties, and establishes a multivariable version of Edge Theorem. An illustrative example is presented.

We study Doob's Consistency Theorem and Freedman's Inconsistency Theorem from the vantage point of computable probability and algorithmic randomness. We show that the Schnorr random elements of the parameter space are computably consistent,…

The main purpose of this short note, on the one hand, to is rigorize some part of the proof of Theorem 1.3 in [11] in a simple way, and on the other hand, to give an alternative argument from local inequalities to global ones.

In this paper we show an index theorem for gerbes

In this short note, we shall prove some observations regarding the connection between indestructible $\omega_1$-guessing models and the $\omega_1$-approximation property of forcing notions.

We obtain a generalization of the DeGiorgi Lemma to the infinitely degenerate regime and apply it to obtain continuity of weak solutions to certain infinitely degenerate equations. This reproduces the continuity result obtained in…

G\"odel's argument for the First Incompleteness Theorem is, structurally, a proof by contradiction. This article intends to reframe the argument by, first, isolating an additional assumption the argument relies on, and then, second, arguing…

Many trace inequalities can be expressed either as concavity/convexity theorems or as monotonicity theorems. A classic example is the joint convexity of the quantum relative entropy which is equivalent to the Data Processing Inequality. The…

A result about projections of Gibbs measures from a particular class arising in economic modeling is proved.

A now classical result in the theory of variable Lebesgue spaces due to Lerner [A. K. Lerner, On modular inequalities in variable $L^p$ spaces, Archiv der Math. 85 (2005), no. 6, 538-543] is that a modular inequality for the…

We introduce the $\omega$-Vaught's conjecture, a strengthening of the infinitary Vaught's conjecture. We believe that if one were to prove the infinitary Vaught's conjecture in a structural way without using techniques from higher recursion…

We report an inconsistency found in probability theory (also referred to as measure-theoretic probability). For probability measures induced by real-valued random variables, we deduce an "equality" such that one side of the "equality" is a…

We employ Clarkson's inequality to deduce that each extremal of Morrey's inequality is axially symmetric and is antisymmetric with respect to reflection about a plane orthogonal to its axis of symmetry. We also use symmetrization methods to…

This paper gives a counterexample to the impossibility, by G\"odel's second incompleteness theorem, of proving a formula expressing the consistency of arithmetic in a fragment of arithmetic on the assumption that the latter is consistent.…

It is shown that the results of ref [1] are consistent.

We compute the rate of convergence of forward, backward and central finite difference $\theta$-schemes for linear PDEs with an arbitrary odd order spatial derivative term. We prove convergence of the first or second order for smooth and…

Using the same heuristic argument leading to the Lang-Waldschmidt Conjecture in the theory of linear forms in logarithms, we formulate an effective version of the Linear Independence conjecture for the ordinates of the non-trivial zeros of…