\(S^ i_ 3\) and \(\overset\circ V^ i_ 2(BD)\)

DOI10.1007/BF01621092zbMath0681.03040MaRDI QIDQ1823242

Gaisi Takeuti

Publication date: 1990

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

zbMATH Keywords

systemssecond orderbounded consistencysystems of bounded arithmetic

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)

Related Items (4)

RSUV isomorphisms for TAC\(^ i\), TNC\(^ i\) and \(TLS\) ⋮ Separations of first and second order theories in bounded arithmetic ⋮ Frege proof system and TNC° ⋮ Frege proof system and TNC°

Cites Work

• On the scheme of induction for bounded arithmetic formulas
• Bounded arithmetic and truth definition
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: \(S^ i_ 3\) and \(\overset\circ V^ i_ 2(BD)\)