About the some conditions of the replaceability of the double induction

MaRDI QIDQ2811592zbMATH OpenFDO

Authors Livija Maliaukienė

Publication date 10 June 2016

Published in Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai (Search for Journal in Brave)

zbMATH Keywords

additive arithmeticprovability of the axiom of double inductionsequential variant of the first order predicate calculus

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• About the equivalent replaceability of the double induction axiom
• Some new double induction and superinduction principles
• Publication:3489993
• On a special type of stability of differential equations for induction machines with double squirrel-cage rotor
• The conditions of a matching being induced
• Some problems in testing the double cancellation condition in conjoint measurement
• On the dual of Rauzy induction
• Replacing integral-type conditions by sequence-type ones
• scientific article; zbMATH DE number 4073207

Cited in

(3)

• scientific article; zbMATH DE number 3851081 (Why is no real title available?)
• scientific article; zbMATH DE number 4154439 (Why is no real title available?)
• scientific article; zbMATH DE number 4162875 (Why is no real title available?)

This page was built for publication: About the some conditions of the replaceability of the double induction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2811592)