scientific article; zbMATH DE number 1463092

DOI10.1002/(SICI)1521-3870(200005)46:2%3C249::AID-MALQ249%3E3.0.CO;2-RzbMATH Open0954.03064MaRDI QIDQ4487252FDOQ4487252

Authors: Chris Pollett 

Publication date: 5 February 2001

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

Recommendations

• On the scheme of induction for bounded arithmetic formulas
• scientific article; zbMATH DE number 218509
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• Finite automata, real time processes and counting problems in bounded arithmetics
• Exponentiation and second-order bounded arithmetic

zbMATH Keywords

weak arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

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