Please use this identifier to cite or link to this item:
http://dx.doi.org/10.25673/115368Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Kunik, Matthias | - |
| dc.date.accessioned | 2024-03-18T10:56:51Z | - |
| dc.date.available | 2024-03-18T10:56:51Z | - |
| dc.date.issued | 2024-03 | - |
| dc.date.submitted | 2024-03-14 | - |
| dc.identifier.uri | https://opendata.uni-halle.de//handle/1981185920/117322 | - |
| dc.identifier.uri | http://dx.doi.org/10.25673/115368 | - |
| dc.description.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. | eng |
| dc.language.iso | eng | - |
| dc.publisher | Otto von Guericke University Library, Magdeburg, Germany | - |
| dc.rights.uri | https://creativecommons.org/licenses/by-sa/4.0/ | - |
| dc.subject | Löwenheim-Skolem | ger |
| dc.subject | elementary submodels | eng |
| dc.subject.ddc | 510 | - |
| dc.title | On the downward Löwenheim-Skolem Theorem for elementary submodels | eng |
| dc.type | Preprint | - |
| dc.identifier.urn | urn:nbn:de:gbv:ma9:1-1981185920-1173222 | - |
| local.versionType | submittedVersion | - |
| local.openaccess | true | - |
| local.accessrights.dnb | free | - |
| 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 |