Burgess’<i>PV</i>is Robinson’s<i>Q</i> (Q5294028)
From MaRDI portal
scientific article; zbMATH DE number 5170342
Language | Label | Description | Also known as |
---|---|---|---|
English | Burgess’<i>PV</i>is Robinson’s<i>Q</i> |
scientific article; zbMATH DE number 5170342 |
Statements
Burgess’<i>PV</i>is Robinson’s<i>Q</i> (English)
0 references
9 July 2007
0 references
predicative versions of Frege's logic
0 references
arithmetical strength
0 references
Robinson's arithmetic
0 references