On a new theory of models for formal mathematical systems
Logic
2026-05-07 v2
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.
Cite
@article{arxiv.2604.12432,
title = {On a new theory of models for formal mathematical systems},
author = {Matthias Kunik},
journal= {arXiv preprint arXiv:2604.12432},
year = {2026}
}
Comments
17 pages. arXiv admin note: substantial text overlap with arXiv:2406.03860 We have slightly extended our paper and we have fixed an incorrect explanation in Example 3.7