| |
| |
NationMaster - Encyclopedia: Transfinite recursion (Site not responding. Last check: ) |
 | | Transfinite induction is the proof technique of mathematical induction when applied to (large) well-ordered sets, for instance to sets of ordinals or cardinals, or even to the class of all ordinals. |
 | | Transfinite recursion is a notion closely related to transfinite induction, but whereas the latter is a method of proof, the former is a method of definition or construction. |
 | | Relationship to AC There is a popular misconception that transfinite induction, or transfinite recursion, or both, require the axiom of choice. |
| www.nationmaster.com /encyclopedia/Transfinite-recursion (452 words) |
|