Please use this identifier to cite or link to this item:
http://dx.doi.org/10.25673/123037| Title: | On a new theory of models for formal mathematical systems |
| Author(s): | Kunik, Matthias |
| Issue Date: | 2026 |
| Extent: | 1 Online-Ressource (17 Seiten) |
| Type: | Forschungsbericht |
| Type: | Preprint |
| Language: | English |
| Publisher: | Otto-von-Guericke-Universität Magdeburg, Fakultät für Mathematik, Magdeburg |
| URN: | urn:nbn:de:gbv:ma9:1-1981185920-1249807 |
| Subjects: | Formal mathematical systems Isomorphisms Homomorphisms new model theory |
| Abstract: | 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. |
| Annotations: | Preprint der Fakultät für Mathematik, Otto-von-Guericke-Universität Magdeburg Literaturverzeichnis: Seite 17 Datum der Einreichung: 4.04.2026 |
| URI: | https://opendata.uni-halle.de//handle/1981185920/124980 http://dx.doi.org/10.25673/123037 |
| Open Access: |  Open access publication |
| License: |  (CC BY 4.0) Creative Commons Attribution 4.0 |
| Appears in Collections: | Fakultät für Mathematik (OA) |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| preprint_kunik_Volltext_14.04.2026.pdf | Preprint | 125.76 kB | Adobe PDF | View/Open |