相关论文: Comments on a Theorem by Ancona
We adapt a construction taken from `L. Motto Ros and B. Semmes, A new proof of a theorem of Jayne and Rogers, Real Anal. Exchange 35(1) (2009/2010), 195-204' in order to correct a mistake contained in the first part of the same paper. As a…
In this note, we present an improvement on the large orbit result of Halasi and Podoski, and then answer an open question raised by Chen, Cossey, Lewis, and Tong-Viet.
This paper reports on an exploration of Boolos' Curious Inference, using higher-order automated theorem provers (ATPs). Surprisingly, only suitable shorthand notations had to be provided by hand for ATPs to find a short proof. The…
The consistency of a second-order version of a theorem of Morley on the number of countable models was proved in arXiv:2107.07636 with the aid of large cardinals. We here dispense with them.
This talk is a sneak preview of the project, 'proof theory for theories of ordinals'. Background, aims, survey and furture works on the project are given. Subsystems of second order arithmetic are embedded in recursively large ordinals and…
It is demonstrated that remarks and criticism in work [1] (arXiv:1005.2436 nucl-th) have resulted from inattentive reading of work [2] (Phys. Rev.C 81, 035501 (2010)) or just some misunderstanding and do not influence conclusions of work…
Most of the assertions in the theory of well ordered sets are quite simple. However, one of its central statements, Zermelo's theorem, stands out of this rule, for its well-known proofs are rather complicated. The aim of the current paper…
About 160 years ago, the Italian mathematician Fa\`a di Bruno published two notes dealing about the now eponymous formula giving the derivative of any order of a composition of two functions. We reproduce here the two original notes, Fa\`a…
We generalize the Arzel\`a-Ascoli theorem to the setting of matrix order unit spaces, extending the work of Antonescu-Christensen on unital C*-algebras. This gives an affirmative answer to a question of Antonescu and Christensen.
The note is dedicated to refining a theorem by Diaconis, Evans, and Graham concerning successions and fixed points of permutations. This refinement specifically addresses non-adjacent successions, predecessors, excedances, and drops of…
I observe that, as the physics side of the OPERA-anomaly story is apparently unfolding, there can still be motivation for philosophy of science to analyze the six months of madness physicists spent chasing the dream of a new…
I use mechanized verification to examine several first- and higher-order formalizations of Anselm's Ontological Argument against the charge of begging the question. I propose three different but related criteria for a premise to beg the…
After reviewing Bertini's life story, a fascinating drama, we make a critical examination of the old statements and proofs of Bertini's two fundamental theorems, the theorem on variable singular points and the theorem on reducible linear…
The $\alpha$-Bernstein operators were initially introduced in the paper by Chen, X., Tan, J., Liu, Z., Xie, J. (2017) titled "Approximation of Functions by a New Family of Generalized Bernstein Operators" (Journal of Mathematical Analysis…
In this paper, we give a refinement of a theorem by Franks, which answers two questions raised by Kang.
In this note we rectify the proof of Theorem 3.11 in [arXiv:2403.02876]. We also present a set of examples at the end discussing various cases.
We put a new conjecture on primes from the point of view of its binary expansions and make a step towards justification.
In the paper it is demonstrated that Bells theorem is an unprovable theorem.
A new understanding of the notion of regularizer is proposed. It is argued that this new notion is more realistic than the old one and better fits the practical computational needs. An example of the regularizer in the new sense is given. A…
This note is an exposition of the proof of Thom's conjecture by Kronheimer and Mrowka, using the new Seiberg-Witten invariants.