Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

About the some conditions of the replaceability of the double induction

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
Read More Add to Saved list
  • Additional Information
    • Publication Information:
      Vilnius University Press
    • Publication Date:
      2008
    • Collection:
      Directory of Open Access Journals: DOAJ Articles
    • Abstract:
      The provability of the axiom of double induction (ADI) with the open induction formula in the additive arithmetic is investigated. The system of additional axioms and theirs provability by ADI is presented.
    • ISSN:
      0132-2818
      2335-898X
    • Relation:
      https://www.journals.vu.lt/LMR/article/view/18109; https://doaj.org/toc/0132-2818; https://doaj.org/toc/2335-898X; https://doaj.org/article/aab9b60239ed4678ba8e664d0dc61e34
    • Accession Number:
      10.15388/LMR.2008.18109
    • Online Access:
      https://doi.org/10.15388/LMR.2008.18109
      https://doaj.org/article/aab9b60239ed4678ba8e664d0dc61e34
    • Accession Number:
      edsbas.14F3916E