scientific article; zbMATH DE number 1163362
From MaRDI portal
Publication:4394887
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)
