scientific article; zbMATH DE number 1163362
From MaRDI portal
Publication:4394887
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].
Recommendations
Cited in
(35)- Conditionals, quantification, and strong mathematical induction
- Lifting induction theorems
- The power of some forms of the induction axiom in the multiplicative arithmetic
- A formalization of Brouwer's argument for bar induction
- Well-behaved principles alternative to bounded induction
- First order theories for nonmonotone inductive definitions: Recursively inaccessible and Mahlo
- Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction
- Principles of Solomonoff Induction and AIXI
- scientific article; zbMATH DE number 4202427 (Why is no real title available?)
- Natural numbers, order and mathematical induction
- scientific article; zbMATH DE number 4164162 (Why is no real title available?)
- scientific article; zbMATH DE number 3948262 (Why is no real title available?)
- scientific article; zbMATH DE number 4031681 (Why is no real title available?)
- scientific article; zbMATH DE number 4074451 (Why is no real title available?)
- scientific article; zbMATH DE number 4108748 (Why is no real title available?)
- scientific article; zbMATH DE number 25711 (Why is no real title available?)
- Induction the Hard Way
- scientific article; zbMATH DE number 1296844 (Why is no real title available?)
- scientific article; zbMATH DE number 558391 (Why is no real title available?)
- Universal Induction and True Universal Arithmetic
- A note on induction, abstraction, and Dedekind-finiteness
- scientific article; zbMATH DE number 1061825 (Why is no real title available?)
- scientific article; zbMATH DE number 1107768 (Why is no real title available?)
- scientific article; zbMATH DE number 2063840 (Why is no real title available?)
- scientific article; zbMATH DE number 2063922 (Why is no real title available?)
- An induction principle for consequence in arithmetic universes
- scientific article; zbMATH DE number 1870369 (Why is no real title available?)
- scientific article; zbMATH DE number 860046 (Why is no real title available?)
- Recursion, induction and well-founded orders
- Induction principles for sets
- scientific article; zbMATH DE number 5058824 (Why is no real title available?)
- HARRINGTON’S PRINCIPLE IN HIGHER ORDER ARITHMETIC
- Mathematical induction in ramified type theory
- The definability of the set of natural numbers in the 1925 Principia Mathematica
- The induction principle
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4394887)
