scientific article; zbMATH DE number 1163362
From MaRDI portal
Publication:4394887
zbMATH Open0906.01021MaRDI QIDQ4394887FDOQ4394887
Authors: Dario Palladino 
Publication date: 11 June 1998
Title of this publication is not available (Why is that?)
Recommendations
recursion theoreminductive definitionsnonstandard models of arithmeticaxiomatization of natural numbers
Cited In (26)
- The power of some forms of the induction axiom in the multiplicative arithmetic
- Lifting induction theorems
- Title not available (Why is that?)
- The induction principle
- First order theories for nonmonotone inductive definitions: Recursively inaccessible and Mahlo
- Title not available (Why is that?)
- Mathematical induction in ramified type theory
- Title not available (Why is that?)
- An induction principle for consequence in arithmetic universes
- Natural numbers, order and mathematical induction
- Universal Induction and True Universal Arithmetic
- A note on induction, abstraction, and Dedekind-finiteness
- Title not available (Why is that?)
- Title not available (Why is that?)
- A formalization of Brouwer's argument for bar induction
- Recursion, induction and well-founded orders
- Title not available (Why is that?)
- Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction
- HARRINGTON’S PRINCIPLE IN HIGHER ORDER ARITHMETIC
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Principles of Solomonoff Induction and AIXI
- Induction principles for sets
- Well-behaved principles alternative to bounded induction
- Title not available (Why is that?)
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)
