1 citations · 1 across the 8 of their papers we have counts for
1 paper · 2 filters
Matthias Kunik
We introduce a new definition of a model for a formal mathematical system. The definition is based upon the substitution in the formal systems, which allows a purely algebraic appr…