The power of some forms of the induction axiom in the multiplicative arithmetic (Q1592020): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q114018434, #quickstatements; #temporary_batch_1710199756243 |
Set OpenAlex properties. |
||
| (One intermediate revision by one other user not shown) | |||
| Property / cites work | |||
| Property / cites work: Note on an induction axiom / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4404880 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The provability of certain sequents in additive arithmetic / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/bf02465124 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2089947698 / rank | |||
Normal rank | |||
Latest revision as of 11:16, 30 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The power of some forms of the induction axiom in the multiplicative arithmetic |
scientific article |
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
