Matches in SemOpenAlex for { <https://semopenalex.org/work/W2078805352> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2078805352 abstract "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." @default.
- W2078805352 created "2016-06-24" @default.
- W2078805352 creator A5035502484 @default.
- W2078805352 date "2013-09-17" @default.
- W2078805352 modified "2023-09-23" @default.
- W2078805352 title "Induction in Algebra: a First Case Study" @default.
- W2078805352 cites W116766998 @default.
- W2078805352 cites W1498439614 @default.
- W2078805352 cites W174479171 @default.
- W2078805352 cites W1968504752 @default.
- W2078805352 cites W1972937103 @default.
- W2078805352 cites W1976412162 @default.
- W2078805352 cites W1981652842 @default.
- W2078805352 cites W1982004603 @default.
- W2078805352 cites W1986260727 @default.
- W2078805352 cites W2005065769 @default.
- W2078805352 cites W2010832370 @default.
- W2078805352 cites W2016291981 @default.
- W2078805352 cites W2031104901 @default.
- W2078805352 cites W2041585656 @default.
- W2078805352 cites W2049707341 @default.
- W2078805352 cites W2056216010 @default.
- W2078805352 cites W2074787482 @default.
- W2078805352 cites W2076232585 @default.
- W2078805352 cites W2092169546 @default.
- W2078805352 cites W2124870057 @default.
- W2078805352 cites W2162849813 @default.
- W2078805352 cites W2489738348 @default.
- W2078805352 cites W2911261910 @default.
- W2078805352 cites W34143232 @default.
- W2078805352 cites W41122140 @default.
- W2078805352 cites W77027564 @default.
- W2078805352 doi "https://doi.org/10.2168/lmcs-9(3:20)2013" @default.
- W2078805352 hasPublicationYear "2013" @default.
- W2078805352 type Work @default.
- W2078805352 sameAs 2078805352 @default.
- W2078805352 citedByCount "16" @default.
- W2078805352 countsByYear W20788053522013 @default.
- W2078805352 countsByYear W20788053522015 @default.
- W2078805352 countsByYear W20788053522016 @default.
- W2078805352 countsByYear W20788053522017 @default.
- W2078805352 countsByYear W20788053522018 @default.
- W2078805352 countsByYear W20788053522019 @default.
- W2078805352 countsByYear W20788053522020 @default.
- W2078805352 countsByYear W20788053522021 @default.
- W2078805352 countsByYear W20788053522022 @default.
- W2078805352 crossrefType "journal-article" @default.
- W2078805352 hasAuthorship W2078805352A5035502484 @default.
- W2078805352 hasBestOaLocation W20788053521 @default.
- W2078805352 hasConcept C111472728 @default.
- W2078805352 hasConcept C118615104 @default.
- W2078805352 hasConcept C136119220 @default.
- W2078805352 hasConcept C138885662 @default.
- W2078805352 hasConcept C18903297 @default.
- W2078805352 hasConcept C202444582 @default.
- W2078805352 hasConcept C2776639384 @default.
- W2078805352 hasConcept C2777759810 @default.
- W2078805352 hasConcept C33923547 @default.
- W2078805352 hasConcept C46757340 @default.
- W2078805352 hasConcept C86803240 @default.
- W2078805352 hasConcept C96442724 @default.
- W2078805352 hasConceptScore W2078805352C111472728 @default.
- W2078805352 hasConceptScore W2078805352C118615104 @default.
- W2078805352 hasConceptScore W2078805352C136119220 @default.
- W2078805352 hasConceptScore W2078805352C138885662 @default.
- W2078805352 hasConceptScore W2078805352C18903297 @default.
- W2078805352 hasConceptScore W2078805352C202444582 @default.
- W2078805352 hasConceptScore W2078805352C2776639384 @default.
- W2078805352 hasConceptScore W2078805352C2777759810 @default.
- W2078805352 hasConceptScore W2078805352C33923547 @default.
- W2078805352 hasConceptScore W2078805352C46757340 @default.
- W2078805352 hasConceptScore W2078805352C86803240 @default.
- W2078805352 hasConceptScore W2078805352C96442724 @default.
- W2078805352 hasLocation W20788053521 @default.
- W2078805352 hasLocation W20788053522 @default.
- W2078805352 hasLocation W20788053523 @default.
- W2078805352 hasLocation W20788053524 @default.
- W2078805352 hasLocation W20788053525 @default.
- W2078805352 hasOpenAccess W2078805352 @default.
- W2078805352 hasPrimaryLocation W20788053521 @default.
- W2078805352 hasRelatedWork W1500104164 @default.
- W2078805352 hasRelatedWork W2005900207 @default.
- W2078805352 hasRelatedWork W2032611290 @default.
- W2078805352 hasRelatedWork W2065760089 @default.
- W2078805352 hasRelatedWork W2885318960 @default.
- W2078805352 hasRelatedWork W2964351868 @default.
- W2078805352 hasRelatedWork W2979935371 @default.
- W2078805352 hasRelatedWork W3098866445 @default.
- W2078805352 hasRelatedWork W4249558415 @default.
- W2078805352 hasRelatedWork W4327638682 @default.
- W2078805352 hasVolume "Volume 9, Issue 3" @default.
- W2078805352 isParatext "false" @default.
- W2078805352 isRetracted "false" @default.
- W2078805352 magId "2078805352" @default.
- W2078805352 workType "article" @default.