scientific article; zbMATH DE number 440483

zbMATH Open0789.03046MaRDI QIDQ3140640FDOQ3140640

Authors: Alexander Razborov 

Publication date: 5 December 1993

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

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

zbMATH Keywords

bounded domainnatural interpretationssecond order theory of bounded arithmetic

Mathematics Subject Classification ID

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

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}}\)
• Criticality of regular formulas
• The equivalence of theories that characterize ALogTime
• 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
• 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 Q3140640)