Proving open properties by induction (Q1112816)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Proving open properties by induction |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proving open properties by induction |
scientific article |
Statements
Proving open properties by induction (English)
0 references
1988
0 references
The author defines a concept of noetherian induction, which generalizes strong induction for natural numbers and transfinite induction, and, in a certain sense, is shown to be the most general type of induction. He also shows that in a complete partial order (every nonempty chain has a least upper bound) for a property which is inductive and open, the set of elements satisfying it is open in the lower topology (in which subsets are closed if they contain the least upper bound of their directed subsets).
0 references
ordered set
0 references
well-quasi-order
0 references
effective proof
0 references
noetherian induction
0 references
complete partial order
0 references
