{"id":"arxiv/2604.12432","url":"https://arxiv.org/abs/2604.12432","tags":["math.LO"],"score":0,"title":"On a new theory of models for formal mathematical systems","domain":"math.LO","source":"arxiv","authors":["Matthias Kunik"],"reviews":0,"subject":"math.LO","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-14","reactions":{}}