Related papers: The Sharkovsky Theorem
We present here a simple and direct proof of the classic geometric version of Hahn-Banach Theorem from its analitic version, in the real case. The reciprocal implication, and the direct proofs of both versions, are already well kown, but…
This paper's first aim is to prove a modernized Occam's razor beyond a reasonable doubt. To summarize the main argument in one sentence: If we consider all possible, intelligible, scientific models of ever-higher complexity, democratically,…
General acceptance of a mathematical proposition $P$ as a theorem requires convincing evidence that a proof of $P$ exists. But what constitutes "convincing evidence?" I will argue that, given the types of evidence that are currently…
This paper presents a short and simple proof of the Four-Color Theorem that can be utterly checkable by human mathematicians, without computer assistance. The new key idea that has allowed it and the global structure of the proof are…
A great number of articles widen a known scientific result $P(a)$ (such as: a theorem, an inequality, or a math/physics/chemical etc. proposition or formula) by a simple recurrence procedure and using, in the proof, the proposition $P(a)$…
This paper has been withdrawn due to a critical error discovered in Theorem 4.21. Anyone with a historical or pragamatic interest in prior "negative results", however - e.g., failed proof attempts relating to the (in)consistency of ZF or…
We give a new proof of Lucas' Theorem in elementary number theory.
In this paper we study the logical foundations of automated inductive theorem proving. To that aim we first develop a theoretical model that is centered around the difficulty of finding induction axioms which are sufficient for proving a…
The main result of this paper, as previously presented to arxiv, was incorrect. See the full text for details and for reference to the remaining results.
This paper is inspired by Wang, Wang and Zhang's work [ Observability and unique continuation inequalities for the Schr\"odinger equation. J. Eur. Math. Soc. 21, 3513--3572 (2019)], where they present several observability and unique…
In a 1962 paper, Zariski introduced the decomposition theory that now bears his name. Although it arose in the context of algebraic geometry and deals with the configuration of curves on an algebraic surface, we have recently observed that…
We exposit two previously unpublished theorems of Leo Harrington. The first theorem says that there exist arithmetical singletons which are arithmetically incomparable. The second theorem says that there exists a ranked point which is not…
This is a work in progress, far from being in its final form whose purpose is to investigate thoroughly the structure of Berkovich analytic curves and its relation with the semi-stable reduction theorem (of which a new proof is given here,…
In this paper the absolute value or distance from the origin analogue of the classical Khintchine-Groshev theorem is established for a single linear form with a `slowly decreasing' error function.
In this paper we give another proof of the Chudnovsky formula for calculating $\pi$ - a proof in detail with means of basic complex analysis. With the exception of the tenth chapter, the proof is self-contained, with proofs provided for all…
This expository paper, aimed at the reader without much background in set theory or logic, gives an overview of Cohen's proof (via forcing) of the independence of the continuum hypothesis. It emphasizes the broad outlines and the intuitive…
In this paper, we give a new and short proof of a Theorem on k-hypertournament losing scores due to Zhou et al.[7].
We exhibit a single interval map (called universal map) that admits all those orbit patterns which are available in the first Sharkovsky class. An interval map is said to be in the first Sharkovsky class if every periodic point of it is a…
We derive and present a collection of properties about the Steklov averages, including some results about the derivation with respect to spatial variables, and with respect to time, and a form of the fundamental theorem of the calculus.
We derive in this article sufficient conditions in the natural terms for belonging of almost all the trajectories of the certain separable continuous in probability random field to the multivariate Prokhorov-Skorokhod space. We consider…