Item request has been placed!
×
Item request cannot be made.
×
Processing Request
About the some conditions of the replaceability of the double induction
Item request has been placed!
×
Item request cannot be made.
×
Processing Request
- Author(s): Livija Maliaukienė
- Source:
Lietuvos Matematikos Rinkinys, Vol 48, Iss proc. LMS (2008)
- Subject Terms:
- Document Type:
article in journal/newspaper
- Language:
English
Lithuanian
- 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
No Comments.