On the downward L\"owenheim-Skolem Theorem for elementary submodels
classification
🧮 math.LO
keywords
formaldefinitiondownwardelementarymodelowenheim-skolemsubmodelssystems
read the original 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\"owenheim-Skolem Theorem for elementary submodels.
This paper has not been read by Pith yet.
Forward citations
Cited by 1 Pith paper
-
On a new theory of models for formal mathematical systems
Extends a previously introduced model theory by defining isomorphic and homomorphic structures for formal languages and adapting reduced set theory to it.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.