No label defined (Q4394887)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1163362
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1163362 |
Statements
11 June 1998
0 references
inductive definitions
0 references
recursion theorem
0 references
axiomatization of natural numbers
0 references
nonstandard models of arithmetic
0 references
0.7611607313156128
0 references
The author considers the principle of mathematical induction in various equivalent forms as well as inductive definitions and the recursion theorem. The second part of the paper is devoted to induction in the axiomatization of natural numbers, to certain formal systems of arithmetic of the first order, and to nonstandard models of arithmetic. Finally, axiomatizations of the second order are considered. For the entire collection see [Zbl 0882.00029].
0 references
