A finite analog to the löwenheim-Skolem theorem

Studia Logica 53 (4):503 - 532 (1994)
The traditional model theory of first-order logic assumes that the interpretation of a formula can be given without reference to its deductive context. This paper investigates an interpretation which depends on a formula's location within a derivation. The key step is to drop the assumption that all quantified variables must have the same range and to require only that the ranges of variables in a derivation must be related in such way as to preserve the soundness of the inference rules. With each (consistent) derivation there is associated a Buridan-Volpin (orBV) structure [M, {r(x)}] which is simply a Tarski structureM for the language and a map giving the ranger(x) of each variablex in the derivation. IfLK* is (approximately) the classical sequent calculusLK of Gentzen from which the structural contraction rules have been dropped, then our main result reads: If a set of first-ordered formulas has a Tarski modelM, then from any normal derivationD inLK* of can be constructed aBV modelM D=[M, {r(x)}] of where each ranger(x) is finite.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF01057648
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,567
Through your library
References found in this work BETA
Proof Theory.Gaisi Takeuti - 1987 - Elsevier.
A Theory of Truth Based on a Medieval Solution to the Liar Paradox.Richard L. Epstein - 1992 - History and Philosophy of Logic 13 (2):149-177.

View all 6 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles
Added to PP index

Total downloads
21 ( #241,263 of 2,180,802 )

Recent downloads (6 months)
1 ( #299,822 of 2,180,802 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums