Related papers: A more reasonable proof of Cobham's theorem

We provide a simple proof of Kamp's theorem.

In this paper, by using analytical methods we obtain a generalization of the famous Kodaira embedding theorem.

This paper provides theorems aimed at shedding light on issues in the foundations of quantum mechanics. These theorems can be used to propose new interpretations to the theory, or to better understand, evaluate and improve current…

We prove a central limit theorem with aassumptions which are many weak than classical conditions

We give a new proof of a lemma by L. Shepp, that was used in connection to random coverings of a circle.

We give new proofs of some well-known results from Invariant Theorey using the Kempf-Ness theorem.

In this paper we develop some new KAM-technique to prove two general KAM theorems for nearly integrable hamiltonian systems without assuming any non-degeneracy condition. Many of KAM-type results (including the classical KAM theorem) are…

We give a proof of Cox's Theorem on the product rule and sum rule for conditional plausibility without assuming continuity or differentiablity of plausibility. Instead, we extend the notion of plausibility to apply to unknowns giving them…

We present a general fixed point theorem which can be seen as the quintessence of the principles of proof for Banach's Fixed Point Theorem, ultrametric and certain topological fixed point theorems. It works in a minimal setting, not…

The assumptions needed to prove Cox's Theorem are discussed and examined. Various sets of assumptions under which a Cox-style theorem can be proved are provided, although all are rather strong and, arguably, not natural.

We prove a limit theorem for quantum stochastic differential equations with unbounded coefficients which extends the Trotter-Kato theorem for contraction semigroups. From this theorem, general results on the convergence of approximations…

If a non-periodic sequence $X$ is the image by a morphism of a fixed point of both a primitive substitution $\sigma$ and a primitive substitution $\tau$, then the dominant eigenvalues of the matrices of $\sigma$ and of $\tau$ are…

We prove a new theorem on additive Levy processes and show that this theorem implies several proved theorems and a hard conjectured theorem.

We prove the theorems which are equivalent to the Roland's results such that a new form of them allows to consider some generalizations. In particular, we give generators of primes more than a fixed prime.

We give a new proof of the Krohn-Rhodes Theorem using local divisors. The proof provides nearly as good a decomposition in terms of size as the holonomy decomposition of Eilenberg, avoids induction on the size of the state set, and works…

The goal of this note is to give a variant of the generic fibration theorem for Waldhausen K-theory without assuming the factorization axiom.

Using nonstandard analysis, an intuitive and very short proof of the Radon-Nikodym theorem is provided

We develop a new method leading to an elementary proof of a generalization of Gromov's theorem about non existence of H\"older embeddings into the Heisenberg group.

I give a proof of the uniform boundedness theorem that is elementary (i.e. does not use any version of the Baire category theorem) and also extremely simple.

A version of the vacuum conservation theorem is proved which does not assume the existence of a time function nor demands stronger properties than the dominant energy condition. However, it is shown that a stronger stable version plays a…