1 citations · 1 across the 8 of their papers we have counts for
1 paper · 2 filters
Matthias Kunik
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…