2000 character limit reached
On the downward Löwenheim-Skolem Theorem for elementary submodels (2406.03860v1)
Published 6 Jun 2024 in math.LO
Abstract: 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.