About the some conditions of the replaceability of the double induction

zbMATH Open1344.03050MaRDI QIDQ2811592FDOQ2811592

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)

Cited In (1)

• Title not available (Why is that?)

   Recommendations

• About the equivalent replaceability of the double induction axiom 👍 👎
• Some new double induction and superinduction principles 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎
• Title not available (Why is that?) 👍 👎

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)