The power of some forms of the induction axiom in the multiplicative arithmetic (Q1592020)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The power of some forms of the induction axiom in the multiplicative arithmetic |
scientific article; zbMATH DE number 1551509
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The power of some forms of the induction axiom in the multiplicative arithmetic |
scientific article; zbMATH DE number 1551509 |
Statements
The power of some forms of the induction axiom in the multiplicative arithmetic (English)
0 references
17 May 2001
0 references
The paper is devoted to the study of the sequential variants of the multiplicative arithmetic with some forms of the induction axiom. Relations between classes of theorems of the introduced systems are considered. Other multiplicative systems with the considered induction axioms (for which the classes of derivable formulas are equivalent) are presented.
0 references
multiplicative arithmetic
0 references
sequential variant
0 references
induction
0 references
