scientific article; zbMATH DE number 4087659

zbMATH Open0665.03041MaRDI QIDQ3816072FDOQ3816072

Authors: Gaisi Takeuti 

Publication date: 1989

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

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

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)

Cited In (11)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Finite automata, real time processes and counting problems in bounded arithmetics
• Exponentiation and second-order bounded arithmetic
• Gödel sentences of bounded arithmetic
• An interpretation of \(S_2^1\) in \(\Sigma_1^b\)-NIA
• Title not available (Why is that?)
• Bounded arithmetic and truth definition
• Title not available (Why is that?)
• Recursion in second order bounded arithmetic.
• Title not available (Why is that?)

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)