Please use this identifier to cite or link to this item:
http://dx.doi.org/10.25673/115368
Full 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 |