arXiv subjects
Publications and source records attributed to Matthias Kunik.
We study a new model theory for formal mathematical systems that we developed in a previous paper. We introduce isomorphic and homomorphic structures for formal languages, present some results and examples and conclude our paper with a discussion about the reduced set theory RST adapted to our new theory.
We introduce a new definition of a model for a formal mathematical system. The definition is based upon the substitution in the formal systems, which allows a purely algebraic approach to model theory. This is very suitable for applications due to a general syntax used in the formal systems. For our models we present a new proof of the downward L\"owenheim-Skolem Theorem for elementary submodels.
The ultra-relativistic Euler equations for an ideal gas are described in terms of the pressure, the spatial part of the dimensionless four-velocity and the particle density. Radially symmetric solutions of these equations are studied in two and three space dimensions. Of particular interest in the solutions are the formation of shock waves and a pressure blow up. For the investigation of these phenomena we develop a one-dimensional scheme using radial symmetry and integral conservation laws. We compare the numerical results with solutions of multi-dimensional high-order numerical schemes for general initial data in two space dimensions. The presented test cases and results may serve as interesting benchmark tests for multi-dimensional solvers.
We present a new fragment of axiomatic set theory for pure sets and for the iteration of power sets within given transitive sets. It turns out that this formal system admits an interesting hierarchy of models with true membership relation and with only finite or countably infinite ordinals. Still a considerable part of mathematics can be formalized within this system.
In the former article "Formal mathematical systems including a structural induction principle" we have presented a unified theory for formal mathematical systems including recursive systems closely related to formal grammars, including the predicate calculus as well as a formal induction principle. In this paper we present some further results and examples in order to illustrate how this theory works.
We present a unified theory for formal mathematical systems including recursive systems closely related to formal grammars, including the predicate calculus as well as a formal induction principle. We introduce recursive systems generating the recursively enumerable relations between lists of terms, the basic objects under consideration. A recursive system consists of axioms, which are special quantifier-free positive horn formulas, and of specific rules of inference. Its extension to formal mathematical systems leads to a formal structural induction with respect to the axioms of the underlying recursive system. This approach provides some new representation theorems without using artificial and difficult interpretation techniques. Within this frame we will also derive versions of Gödel's First and Second Incompleteness Theorems for a general class of axiomatized formal mathematical systems.
The sums $S(x,t)$ of the centered remainders $kt-\lfloor kt\rfloor - 1/2$ over $k \leq x$ and corresponding Dirichlet series were studied by A. Ostrowski, E. Hecke, H. Behnke and S. Lang for fixed real irrational numbers $t$. Their work was originally inspired by Weyl's equidistribution results modulo 1 for sequences in number theory. In a series of former papers we obtained limit functions which describe scaling properties of the Farey sequence of order $n$ for $n \to \infty$ in the vicinity of any fixed fraction $a/b$ and which are independent of $a/b$. We extend this theory on the sums $S(x,t)$ and also obtain a scaling behaviour with a new limit function. This method leads to a refinement of results given by Ostrowski and Lang and establishes a new proof for the analytic continuation of related Dirichlet series. We will also present explicit relations to the theory of Farey sequences.
The ultra-relativistic Euler equations for an ideal gas are described in terms of the pressure $p$, the spatial part $\underline{u} \in \R^3$ of the dimensionless four-velocity and the particle density $n$. Radially symmetric solutions of these equations are studied. Analytical solutions are presented for the linearized system. For the original nonlinear equations we design and analyze a numerical scheme for simulating radially symmetric solutions in three space dimensions. The good performance of the scheme is demonstrated by numerical examples. In particular, it was observed that the method has the capability to capture accurately the pressure singularity formation caused by shock wave reflections at the origin.
This is a textbook about elementary number theory, with emphasis on classical topics around the Euklidean Algorithm.
We use symmetric Poisson-Schwarz formulas for analytic functions $f$ in the half-plane ${Re}(s)>\frac12$ with $\bar{f(\bar{s})}=f(s)$ in order to derive factorisation theorems for the Riemann zeta function. We prove a variant of the Balazard-Saias-Yor theorem and obtain explicit formulas for functions which are important for the distribution of prime numbers. In contrast to Riemann's classical explicit formula, these representations use integrals along the critical line ${Re}(s)=\frac12$ and Blaschke zeta zeroes.