相关论文: Remarques sur l'expression de la g\'en\'eralit\'e …

We study L\"owenheim-Skolem and Omitting Types theorems in Transition Algebra, a logical system obtained by enhancing many sorted first-order logic with features from dynamic logic. The sentences we consider include compositions, unions,…

We prove an extension of the Regularity Lemma with vertex and edge weights which can be applied for a large class of graphs. The applications involve random graphs and a weighted version of the Erd\H{o}s-Stone theorem. We also provide means…

In this paper we study a group theoretical generalization of the well-known Gauss's formula that uses the generalized Euler's totient function introduced in [11].

The foundations of mathematics have long been considered settled by the Zermelo-Fraenkel-Choice axioms. But set theory abounds in models with different truths and even classical questions such as the measurability of projective sets can…

Let C be an algebraically closed field and X a projective curve over C. Consider an ordinary linear differential equation, or a linear differ- ence equation, with coefficients in the field of rational functions of X, and assume that its…

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)$…

The aim of this work is to illustrate a conditional result involving the exponential sums over primes in short intervals under the assumption that both the Generalized Riemann Hypothesis and the Density Hypothesis for Dirichlet…

Lagrangian formalism is established for differential equations with special functions of mathematical physics as solutions. Formalism is based on either standard or non-standard Lagrangians. This work shows that the procedure of deriving…

We work in the setting of Zermelo-Fraenkel set theory without assuming the Axiom of Choice. We consider sets with the Boolean operations together with the additional structure of comparing cardinality (in the Cantorian sense of injections).…

Many questions in experimental mathematics are fundamentally inductive in nature. Here we demonstrate how Bayesian inference --the logic of partial beliefs-- can be used to quantify the evidence that finite data provide in favor of a…

We address the problem of the foundation of generalized ensembles in statistical physics. The approach is based on Boltzmann's concept of orthodes. These are the statistical ensembles that satisfy the heat theorem, according to which the…

Recently, it was conjectured that the first generalized Stieltjes constant at rational argument may be always expressed by means of Euler's constant, the first Stieltjes constant, the $\Gamma$-function at rational argument(s) and some…

This is an exposition of facts about Arithmetic with an approach via mathematical logic. In Section 1 we present Peano Arithmetic, PA, and the complete theory of $\mathbb{N}$, and we show that $\mathbb{N}$ is a prime model of the theory of…

We give a proof of the inconsistency of PM arithmetic, classical set theory and related systems, incidentally exposing an error in Goedel's own proof of Goedel's Theorems. The inconsistency proof, that formulae of the form R and ~R occur as…

We generalise a result of Hedenmalm to show that if a function $f$ on $\mathbb{R}$ is such that $\int_{\mathbb{R}^2} \bigl|f(x) \, \hat f(y)\bigr| \,e^{\lambda \left|xy\right|} \,dx\,dy = O( (1-\lambda)^{-N} )$ as $\lambda \to 1-$, then $f$…

In this paper we prove Chaitin's ``heuristic principle'', {\it the theorems of a finitely-specified theory cannot be significantly more complex than the theory itself}, for an appropriate measure of complexity. We show that the measure is…

We use duality in the manner of Serre to generalize a theorem of Hedenmalm on solution of the $\bar \partial $ equation with inverse of the weight in H\"ormander $\displaystyle L^{2}$ estimates.\

We construct the general solution of the equation $w_t+\sum\limits_{k=1}^nw_{x_k}\rho^{(k)}(w)=\rho(w)+[w,T\tilde\rho(w)]$, for the $N\times N$ matrix $w$, where $T$ is any constant diagonal matrix, $n, N \in \NN_+$ and $\rho^{(k)}, \rho,…

The study of the global mapping properties of arbitrary Dirichlet L-functions is undertaken. The results are applied to the proof of the Generalized Riemann Hypothesis.

Liouville's theorem in a grand ensemble, that is for situations where a system is in equilibrium with a reservoir of energy and particles, is a subject that, to our knowledge, has not been explicitly treated in literature related to…