On a new theory of models for formal mathematical systems

TL;DR

This paper introduces a novel model theory for formal mathematical systems, exploring isomorphic and homomorphic structures, with applications to reduced set theory RST.

Contribution

It presents new theoretical frameworks for formal systems, including isomorphic and homomorphic models, and discusses their relation to reduced set theory RST.

Findings

Developed a new model theory for formal systems

Presented results and examples of isomorphic and homomorphic structures

Discussed applications to reduced set theory RST

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.