Characteristic classes and bisimulations of generalized Veltman models (Q2718477)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1606606
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Characteristic classes and bisimulations of generalized Veltman models |
scientific article; zbMATH DE number 1606606 |
Statements
26 July 2001
0 references
interpretability logic
0 references
Veltman model
0 references
principle of interpretability
0 references
bisimulation
0 references
0.9434455
0 references
0.93881655
0 references
0.9176158
0 references
0.87154883
0 references
0.8651922
0 references
0.8543625
0 references
Characteristic classes and bisimulations of generalized Veltman models (English)
0 references
The basic interpretability logic IL proposed by Visser has been proved by de Jongh and Veltman to be complete with respect to so-called Veltman models. It is also known that there are several principles of interpretability which are not provable in IL. Among them Svejdar proved that one called W is properly stronger than another called F (of Feferman) on the base of IL but they are semantically equivalent in the framework of Veltman models. Thus the semantics is not sufficient for distinguishing the principles of interpretability. In this paper, the author shows that the generalized Veltman models introduced by de Jongh have indeed better characterizability than Veltman models. The author introduces also a bisimulation between generalized Veltman models and shows its basic properties.
0 references
