About the equivalent replaceability of the double induction axiom
In this paper the first order predicate calculus with the axioms of additive arithmetic is investigated. The conditions of the equivalent replaceability of a double induction axiom is presented.
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Vilnius University Press
2009-12-01
|
| Series: | Lietuvos Matematikos Rinkinys |
| Subjects: | |
| Online Access: | https://www.journals.vu.lt/LMR/article/view/17973 |