Publication:3140644
From MaRDI portal
zbMath0792.03041MaRDI QIDQ3140644
Publication date: 26 July 1994
03F30: First-order arithmetic and fragments
Related Items
A theory for Log-Space and NLIN versus co-NLIN, Conservative fragments of \({{S}^{1}_{2}}\) and \({{R}^{1}_{2}}\), The equivalence of theories that characterize ALogTime, \(S_{k,\text{exp}}\) does not prove \(\text{NP} = \text{co-NP}\) uniformly, Some results on cut-elimination, provable well-orderings, induction and reflection, A note on sharply bounded arithmetic, RSUV isomorphisms for TAC\(^ i\), TNC\(^ i\) and \(TLS\), End extensions of models of linearly bounded arithmetic, Some consequences of cryptographical conjectures for \(S_2^1\) and EF, A second-order system for polytime reasoning based on Grädel's theorem., Multifunction algebras and the provability of \(PH\downarrow\), Separations of first and second order theories in bounded arithmetic, Models of replacement schemes