Induction in algebra: a first case study (Q2848365)
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: Induction in algebra: a first case study |
scientific article; zbMATH DE number 6211839
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Induction in algebra: a first case study |
scientific article; zbMATH DE number 6211839 |
Statements
26 September 2013
0 references
constructive algebra
0 references
Hilbert's programme
0 references
intuitionistic logic
0 references
open induction
0 references
Zorn's lemma
0 references
Induction in algebra: a first case study (English)
0 references
This paper investigates the role of induction in constructive algebra and presents many important methods and insights in an accessible way. In addition, it devotes some space to investigating the algorithms conveyed by the proofs and their quality in terms of redundancy and upper bounds. In the follow-up to this ``first case study'', it would be interesting to see how the algorithms conveyed by the proofs compare to previously studied algorithms in the field of algebra.
0 references
