Definability theorems in normal extensions of the provability logic (Q918958)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Definability theorems in normal extensions of the provability logic |
scientific article; zbMATH DE number 4160690
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Definability theorems in normal extensions of the provability logic |
scientific article; zbMATH DE number 4160690 |
Statements
Definability theorems in normal extensions of the provability logic (English)
0 references
1989
0 references
The paper gives necessary and sufficient conditions for the provability in all consistent normal extensions of GL of three different versions of Beth's definability theorem (one of these is provable in all such systems). The method used is basically algebraic.
0 references
provability in all consistent normal extensions of GL
0 references
Beth's definability theorem
0 references
0.91445005
0 references
0.9115571
0 references
0.9089545
0 references
0.90453154
0 references
0 references
0.90150875
0 references
0.89465034
0 references
