The provability of some weak forms of the induction axiom
In this paper the provability of some weak induction axioms in the multiplicative arithmetic is proved.
Saved in:
Main Author: | Livija Maliaukienė |
---|---|
Format: | Article |
Language: | English |
Published: |
Vilnius University Press
2000-12-01
|
Series: | Lietuvos Matematikos Rinkinys |
Online Access: | https://www.zurnalai.vu.lt/LMR/article/view/35146 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
About the possibility of the extension of the additive arithmetic
by: Livija Maliaukienė
Published: (2002-12-01) -
Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules
by: Andrzej Pietruszczak
Published: (2024-06-01) -
Provably secure biometric and PUF-based authentication for roaming service in global mobility network
by: E. Haodudin Nurkifli
Published: (2025-02-01) -
On $\mu^{*}$-$R_{0}$ and $\mu^{*}$-$R_{1}$ Spaces with Separation Axioms
by: Pankaj Chettri, et al.
Published: (2024-07-01) -
D-complete Single Axioms for the Equivalential Calculus with the rules D and R
by: Marcin Czakon
Published: (2024-11-01)