|
|
|
|
induction axiom
|
(Definition)
|
|
|
An induction axiom specifies that a theory includes induction, possibly restricted to specific formulas. IND is the general axiom of induction:
 for any formula 
If is restricted to some family of formulas then the axiom is called F-IND, or F induction. For example the axiom
-IND is:
|
"induction axiom" is owned by Henry.
|
|
(view preamble)
| Other names: |
IND, -IND, axiom of induction |
|
|
Cross-references: axiom, formulas, restricted, induction, theory
There are 5 references to this entry.
This is version 4 of induction axiom, born on 2002-08-17, modified 2002-08-17.
Object id is 3306, canonical name is InductionAxiom.
Accessed 5932 times total.
Classification:
| AMS MSC: | 03F35 (Mathematical logic and foundations :: Proof theory and constructive mathematics :: Second- and higher-order arithmetic and fragments) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|