| RUS ENG |
| Full version |
|
|
|
| VIDEO LIBRARY |
|
Workshop on Proof Theory, Modal Logic and Reflection Principles
|
|||
|
|
|||
|
The second incompleteness theorem revisited A. Visser |
|||
|
Abstract: We discuss a number of examples of theories-cum-axiomatizations where the Löb Conditions fail,but where we still have the Second Incompleteness Theorem. E.g., we provide a Language: English |
|||