scientific article; zbMATH DE number 440487
From MaRDI portal
Publication:3140644
Recommendations
Cited in
(13)- Conservative fragments of \({{S}^{1}_{2}}\) and \({{R}^{1}_{2}}\)
- The equivalence of theories that characterize ALogTime
- A second-order system for polytime reasoning based on Grädel's theorem.
- Multifunction algebras and the provability of PH
- A theory for Log-Space and NLIN versus co-NLIN
- A note on sharply bounded arithmetic
- Some consequences of cryptographical conjectures for \(S_2^1\) and EF
- Models of replacement schemes
- RSUV isomorphisms for TAC^ i, TNC^ i and TLS
- \(S_{k,\text{exp}}\) does not prove \(\text{NP} = \text{co-NP}\) uniformly
- Some results on cut-elimination, provable well-orderings, induction and reflection
- End extensions of models of linearly bounded arithmetic
- Separations of first and second order theories in bounded arithmetic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3140644)
