1 citations · 1 across the 8 of their papers we have counts for
9 papers
On a new theory of models for formal mathematical systems
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…
On the downward Löwenheim-Skolem Theorem for elementary submodels
Matthias Kunik
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 appr…
Radially symmetric solutions of the ultra-relativistic Euler equations in several space dimensions
Matthias Kunik, Adrian Kolb, Siegfried Müller +1
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. Radial…
Reduced Set Theory
Matthias Kunik
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 int…
Further results and examples for formal mathematical systems with structural induction
Matthias Kunik
In the former article "Formal mathematical systems including a structural induction principle" we have presented a unified theory for formal mathematical systems including recursiv…
Formal Mathematical Systems including a Structural Induction Principle
Matthias Kunik
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 ind…