Please use this identifier to cite or link to this item:
http://dx.doi.org/10.25673/115368| Title: | On the downward Löwenheim-Skolem Theorem for elementary submodels |
| Author(s): | Kunik, Matthias |
| Issue Date: | 2024-03 |
| Type: | Preprint |
| Language: | English |
| Publisher: | Otto von Guericke University Library, Magdeburg, Germany |
| URN: | urn:nbn:de:gbv:ma9:1-1981185920-1173222 |
| Subjects: | Löwenheim-Skolem 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. |
| URI: | https://opendata.uni-halle.de//handle/1981185920/117322 http://dx.doi.org/10.25673/115368 |
| Open Access: |  Open access publication |
| License: |  (CC BY-SA 4.0) Creative Commons Attribution ShareAlike 4.0 |
| Appears in Collections: | Fakultät für Mathematik (OA) |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| preprint_kunik_14.03.2024.pdf | Preprint | 214.31 kB | Adobe PDF |  View/Open |