scientific article; zbMATH DE number 2174388

MaRDI QIDQ4681891zbMATH OpenFDO

Authors Lev D. Beklemishev

Publication date 8 June 2005

zbMATH Keywords

elementary arithmeticfree function symbolleast element principlequantifier-free induction schema

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• On parameter free induction schemas
• scientific article; zbMATH DE number 1424049
• Maximum Schemes in Arithmetic
• scientific article; zbMATH DE number 1157123
• scientific article; zbMATH DE number 1088194

Cited in

(5)

• Induction and Skolemization in saturation theorem proving
• Die another day
• On parameter free induction schemas
• Maximum Schemes in Arithmetic
• Lemmaless induction in trace logic

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