2026/04/30 by Matthias Kunik
Mathematics · #math.LO #msc:03C07 #msc:03F03 #msc:03C55
24 pages. arXiv admin note: substantial text overlap with arXiv:2406.03860. We have corrected typos and made minor changes for a better presentation
arxiv created 2026/08/03 · arxiv updated 2026/08/04
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.