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

In this article we establish some properties regarding the solutions of a linear congruence, bases of solutions of a linear congruence, and the finding of other solutions starting from these bases.

We identify a number of decidable and undecidable fragments of first-order concatenation theory. We also give a purely universal axiomatization which is complete for the fragments we identify. Furthermore, we prove some normal-form results.

We generalize the derivation of Leggett-Garg inequalities to systematically treat a larger class of experimental situations by allowing multi-particle correlations, invasive detection, and ambiguous detector results. Furthermore, we show…

In what follows we improve an inequality related to matrix theory. T. Laffey proved (2013) a weaker form of this inequality [2].

In this note we give a detailed proof of a theorem of Aubin.

We establish a Liouville type theorem for some conformally invariant fully nonlinear equations

In this paper, we estabish an analogue of Hardy's theorem and Miyachi's theorem for the Clifford-Fourier transform.

A version of the Lebesgue differentiation theorem is offered, where the $L^p$ norm is replaced with any rearrangement-invariant norm. Necessary and sufficient conditions for a norm of this kind to support the Lebesgue differentiation…

Uniform metastable convergence is a weak form of uniform convergence for a family of sequences. In this paper we explore the way that metastable convergence stratifies into a family of notions indexed by countable ordinals. We give two…

We show in Bishop's constructive mathematics---in particular, using countable choice---that weak K\"{o}nig's lemma implies the uniform continuity theorem.

We present some results concerning the $l^p$ norms of weighted mean matrices. These results can be regarded as analogues to a result of Bennett concerning weighted Carleman's inequalities.

We prove Burkholder inequality using Bregman divergence.

The physical nature of numerous of the nonlinear phenomena in optics is explained by inequality of forward and reversed optical transitions, that corresponds to a principle of time invariance violation in electromagnetic interactions. The…

Let $\mathbb{T}^\omega$ be the infinite-dimensional torus, and $T: \mathbb{T}^\omega\to \mathbb{T}^\omega$ be defined by \[ T: (x_1, x_2, \dots, x_k, \ldots) \mapsto (x_1 + \alpha, x_2 + h(x_1), \dots, x_k + h(x_1 + (k-2)\beta), \dots) \]…

Consider a class of non-homogenous ultraparabolic differential equations with drift terms or lower order terms arising from some physical models, and we prove that weak solutions are H\"{o}lder continuous, which also generalizes the classic…

In this article, we give a proof on the Arnold-Chekanov Lagrangian intersection conjecture on the cotangent bundles and its generalizations.

This paper is concerned with an inverse moving point source problem in electromagnetics. The aim is to reconstruct the moving orbit from the tangential components of magnetic fields taken at a finite number of observation points. The…

Consistency is the theoretical property of a meta learning algorithm that ensures that, under certain assumptions, it can adapt to any task at test time. An open question is whether and how theoretical consistency translates into practice,…

We prove that for every planar convex set $\Omega$, the function $t\in (-r(\Omega),+\infty)\longmapsto \sqrt{|\Omega_t|}h(\Omega_t)$ is monotonically decreasing, where $r$, $|\cdot|$ and $h$ stand for the inradius, the measure and the…

We show that the $\theta=\infty$ conjecture implies the Riemann hypothesis.