scientific article
From MaRDI portal
Publication:3140644
zbMath0792.03041MaRDI QIDQ3140644
Publication date: 26 July 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
The equivalence of theories that characterize ALogTime, RSUV isomorphisms for TAC\(^ i\), TNC\(^ i\) and \(TLS\), Separations of first and second order theories in bounded arithmetic, 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., \(S_{k,\text{exp}}\) does not prove \(\text{NP} = \text{co-NP}\) uniformly, A theory for Log-Space and NLIN versus co-NLIN, Conservative fragments of \({{S}^{1}_{2}}\) and \({{R}^{1}_{2}}\), Multifunction algebras and the provability of \(PH\downarrow\), Some results on cut-elimination, provable well-orderings, induction and reflection, Models of replacement schemes, A note on sharply bounded arithmetic
