Two series of formalized interpretability principles for weak systems of arithmetic (Q6260464)
From MaRDI portal
scientific article; zbMATH DE number 900243894
Language | Label | Description | Also known as |
---|---|---|---|
English | Two series of formalized interpretability principles for weak systems of arithmetic |
scientific article; zbMATH DE number 900243894 |
Statements
31 March 2015
0 references
math.LO
0 references