On the downward Löwenheim-Skolem Theorem for elementary submodels
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öwenheim-Skolem Theorem for elementary submodels.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2024
- DOI:
- 10.48550/arXiv.2406.03860
- arXiv:
- arXiv:2406.03860
- Bibcode:
- 2024arXiv240603860K
- Keywords:
-
- Mathematics - Logic;
- 03C07;
- 03C62
- E-Print:
- 28 pages