Reflections on a Proof of Elementarity (1999)
by
Robert Goldblatt
| Venue: | ESSAYS DEDICATED TO JOHAN VAN BENTHEM ON THE OCCASION OF HIS 50TH BIRTHDAY, VOSSIUSPERS |
| Citations: | 4 - 3 self |
BibTeX
@INPROCEEDINGS{Goldblatt99reflectionson,
author = {Robert Goldblatt},
title = {Reflections on a Proof of Elementarity},
booktitle = {ESSAYS DEDICATED TO JOHAN VAN BENTHEM ON THE OCCASION OF HIS 50TH BIRTHDAY, VOSSIUSPERS},
year = {1999},
pages = {5--0},
publisher = {Amsterdam University Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This is an exposition and analysis of van Benthem's original proof, hitherto unpublished, that if the class of structures (frames) validating a modal formula is closed under elementary equivalence, then it is the class of all models of a single first-order sentence.
Citations
| 396 | Model Theory - Chang - 1973 |
| 25 | Slomson, Models and ultraproducts - Bell, B - 1969 |
| 12 | Mathematics of Modality. CSLI Lecture Notes No. 43 - Goldblatt - 1993 |
| 7 | First-order definability in modal logic - Goldblatt - 1975 |
| 4 | A note on modal formulas and relational properties - Benthem - 1975 |
| 2 | Modal formulas are either elementary or not Σ∆-elementary - Benthem - 1976 |
