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 approach to model theory. This is very suitable for applications due to a general syntax used in the formal systems. For our models we present a new proof of the downward L\"owenheim-Skolem Theorem for elementary submodels.
No takes yet. Share an insight, caveat, or question.
Matthias Kunik (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: