RSUV isomorphisms for TAC\(^ i\), TNC\(^ i\) and \(TLS\)

DOI10.1007/BF02390458zbMath0811.03043MaRDI QIDQ1345903

Gaisi Takeuti

Publication date: 1 May 1995

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

bounded arithmeticconservative extensionbounded second-order objectcomputational classesRSUV isomorphism

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35)

Related Items (1)

Frege proof system and TNC°

Cites Work

• Unnamed Item
• Unnamed Item
• On the scheme of induction for bounded arithmetic formulas
• Arithmetizing uniform \(NC\)
• Bounded arithmetic for NC, ALogTIME, L and NL
• \(S^ i_ 3\) and \(\overset\circ V^ i_ 2(BD)\)
• Proof theory

This page was built for publication: RSUV isomorphisms for TAC\(^ i\), TNC\(^ i\) and \(TLS\)