scientific article; zbMATH DE number 440487

zbMATH Open0792.03041MaRDI QIDQ3140644FDOQ3140644

Authors: Gaisi Takeuti 

Publication date: 26 July 1994

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4087659
• scientific article; zbMATH DE number 218509
• RSUV isomorphisms for TAC\(^ i\), TNC\(^ i\) and \(TLS\)
• scientific article; zbMATH DE number 440483
• scientific article; zbMATH DE number 440477

zbMATH Keywords

bounded arithmeticcomputable functionsisomorphism of theories

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

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\downarrow\)
• 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)