TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES (Q5107215)
From MaRDI portal
scientific article; zbMATH DE number 7190461
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES |
scientific article; zbMATH DE number 7190461 |
Statements
TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES (English)
0 references
17 April 2020
0 references
interpretability logics
0 references
interpretations
0 references
definable cuts
0 references
weak arithmetics
0 references
formal provability
0 references
arithmetization
0 references
