Peter M Schuster - Induction in Algebra: a First Case Study

lmcs:959 - Logical Methods in Computer Science, September 17, 2013, Volume 9, Issue 3 - https://doi.org/10.2168/LMCS-9(3:20)2013
Induction in Algebra: a First Case StudyArticle

Authors: Peter M Schuster

    Many a concrete theorem of abstract algebra admits a short and elegant proof by contradiction but with Zorn's Lemma (ZL). A few of these theorems have recently turned out to follow in a direct and elementary way from the Principle of Open Induction distinguished by Raoult. The ideal objects characteristic of any invocation of ZL are eliminated, and it is made possible to pass from classical to intuitionistic logic. If the theorem has finite input data, then a finite partial order carries the required instance of induction, which thus is constructively provable. A typical example is the well-known theorem "every nonconstant coefficient of an invertible polynomial is nilpotent".


    Volume: Volume 9, Issue 3
    Published on: September 17, 2013
    Imported on: March 16, 2013
    Keywords: Computer Science - Logic in Computer Science,Mathematics - Commutative Algebra,Mathematics - Logic

    15 Documents citing this article

    Consultation statistics

    This page has been seen 1006 times.
    This article's PDF has been downloaded 416 times.