Proving open properties by induction
type: Item
instance of: scholarly article
title: Proving open properties by induction
zbMATH Open document ID: 0661.04002
DOI: 10.1016/0020-0190(88)90126-3
published in: Information Processing Letters
publication date: 1988-01-01T00:00:00Z
review text: 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).
Mathematics Subject Classification ID: 03E25
Mathematics Subject Classification ID: 06A06
zbMATH DE Number: 4079422
zbMATH Keywords: ordered set
zbMATH Keywords: well-quasi-order
zbMATH Keywords: effective proof
zbMATH Keywords: noetherian induction
zbMATH Keywords: complete partial order
author: Jean Claude Raoult
reviewed by: Ki Hang Kim
describes a project that uses: Open Induction
MaRDI profile type: Publication
full work available at URL: 0020-0190(88)90126-3
OpenAlex ID: W2162849813
cites work: Q5515373
cites work: Q3898534
cites work: Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
cites work: The varieties of arboreal experience
description: scientific article; zbMATH DE number 4079422