Abstract
In this paper the theory S12 (of Buss) is interpreted in the theory Σb1−NIA (of Ferreira).
Original language | English |
---|---|
Pages (from-to) | 427-450 |
Number of pages | 24 |
Journal | Portugaliae Mathematica |
Volume | 63 |
Issue number | 4 |
Publication status | Published - 26 Jan 2006 |
Keywords
- bounded arithmetic
- interpretability
- polynomial time