scientific article; zbMATH DE number 4087659

MaRDI QIDQ3816072zbMATH OpenFDO

Authors Gaisi Takeuti

Publication date 1989

zbMATH Keywords

second order systemsbounded consistencysystems of bounded arithmetic

Mathematics Subject Classification ID

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

Recommendations

• \(S^ i_ 3\) and \(\overset\circ V^ i_ 2(BD)\)
• \(\text{SO}(4)\) and \(S^3\)
• Publication:4946189
• scientific article; zbMATH DE number 1455422
• A SAGBI Basis For 𝔽[V₂ ⊕ V₂ ⊕ V₃]^C_p
• \(U(3)_C \times Sp(1)_L \times U(1)_L \times U(1)_R\)
• \(S\)\^{}\{3\}/Z\_{}\{\(n\)\} partition function and dualities
• scientific article; zbMATH DE number 26477
• On the BCH-formula in \(\mathfrak{so}(3)\)

Cited in

(11)

• scientific article; zbMATH DE number 1455422 (Why is no real title available?)
• Gödel sentences of bounded arithmetic
• scientific article; zbMATH DE number 440487 (Why is no real title available?)
• scientific article; zbMATH DE number 4059391 (Why is no real title available?)
• scientific article; zbMATH DE number 4066875 (Why is no real title available?)
• Bounded arithmetic and truth definition
• scientific article; zbMATH DE number 440483 (Why is no real title available?)
• Recursion in second order bounded arithmetic.
• An interpretation of \(S_2^1\) in \(\Sigma_1^b\)-NIA
• Exponentiation and second-order bounded arithmetic
• Finite automata, real time processes and counting problems in bounded arithmetics

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 Q3816072)