scientific article; zbMATH DE number 1463092

DOI10.1002/(SICI)1521-3870(200005)46:2%3C249::AID-MALQ249%3E3.0.CO;2-RMaRDI QIDQ4487252zbMATH OpenFDO

Authors Chris Pollett

Publication date 5 February 2001

zbMATH Keywords

weak arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

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

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)