Year: 1970
Type: article
Abstract: A modification of the proof procedure described in the appendix to Quine's Methods of Logic (revised edition) yields a simple proof 1 of a strong version of the Lδwenheim-Skolem Theorem:Any interpretation has an elementarily equivalent subinterpretation whose universe is countable.(I is a subinterpretation of J if the universe of I is a subset of that of J, I assigns any (free) variable the same denotation as J, and I assigns any predicate letter the restriction to its own universe of whatever J assigns it.Two interpretations are elementarily equivalent if the same schemata are true under both.)
Author: George S. Boolos
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W2052853497