Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.25673/115368| Titel: | On the downward Löwenheim-Skolem Theorem for elementary submodels |
| Autor(en): | Kunik, Matthias |
| Erscheinungsdatum: | 2024-03 |
| Art: | Preprint |
| Sprache: | Englisch |
| Herausgeber: | Otto von Guericke University Library, Magdeburg, Germany |
| URN: | urn:nbn:de:gbv:ma9:1-1981185920-1173222 |
| Schlagwörter: | Löwenheim-Skolem elementary submodels |
| Zusammenfassung: | 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-Publikation |
| Nutzungslizenz: |  (CC BY-SA 4.0) Creative Commons Namensnennung - Weitergabe unter gleichen Bedingungen 4.0 International |
| Enthalten in den Sammlungen: | Fakultät für Mathematik (OA) |
Dateien zu dieser Ressource:
| Datei | Beschreibung | Größe | Format | |
|---|---|---|---|---|
| preprint_kunik_14.03.2024.pdf | Preprint | 214.31 kB | Adobe PDF |  Öffnen/Anzeigen |