How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q (Q4532626)
From MaRDI portal
scientific article; zbMATH DE number 1749922
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q |
scientific article; zbMATH DE number 1749922 |
Statements
How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q (English)
0 references
6 February 2003
0 references
Robinson's arithmetic Q
0 references
second incompleteness theorem
0 references
semantic tableaux consistency
0 references
