On a new theory of models for formal mathematical systems
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866910193993908224 |
|---|---|
| author | Kunik, Matthias |
| author_facet | Kunik, Matthias |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_12432 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | On a new theory of models for formal mathematical systems Kunik, Matthias Logic 03C07, 03F03, 03C55 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. |
| title | On a new theory of models for formal mathematical systems |
| topic | Logic 03C07, 03F03, 03C55 |
| url | https://arxiv.org/abs/2604.12432 |