scientific article; zbMATH DE number 440483

MaRDI QIDQ3140640zbMATH OpenFDO

Authors Alexander Razborov

Publication date 5 December 1993

zbMATH Keywords

bounded domainnatural interpretationssecond order theory of bounded arithmetic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4087659
• Bounded arithmetic and truth definition
• Exponentiation and second-order bounded arithmetic
• scientific article; zbMATH DE number 218509
• scientific article; zbMATH DE number 4059391

Cited in

(9)

• An independence result on weak second order bounded arithmetic
• Quantified propositional calculus and a second-order theory for NC\(^{\text \textbf{1}}\)
• The equivalence of theories that characterize ALogTime
• Criticality of regular formulas
• A second-order system for polytime reasoning based on Grädel's theorem.
• Complexity barriers as independence
• On End‐Extensions of Models of ¬exp
• Tree tribes and lower bounds for switching lemmas
• scientific article; zbMATH DE number 440487 (Why is no real title available?)

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