Matches in SemOpenAlex for { <https://semopenalex.org/work/W2063072330> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2063072330 abstract "Introduction. The elementary structure theory for finite Boolean algebras is, for our purposes, summarized in the following theorem, (see [1, p. 163], or [2, p. 344]). (*) If B is a finite Boolean algebra, then it is completely characterized by the number of its elements, a number which must be of the form 2n, where n is the number of atoms of B. In this case B is faithfully represented as the Boolean algebra of all subsets of a set with n elements. Moreover, B is a free Boolean algebra if and only if n is itself of the form 2r, in which case B is free on r generators. In particular, a finitely generated Boolean algebra is finite. Recent work of Halmos, Tarski, and others in algebraic logic has engendered interest in the study of more general systems in which the Boolean structure is augmented by introducing certain additional operators. For instance, a closure algebra A is a Boolean algebra with a unary operator 3: A --A satisfying the axioms," @default.
- W2063072330 created "2016-06-24" @default.
- W2063072330 creator A5027785775 @default.
- W2063072330 date "1958-02-01" @default.
- W2063072330 modified "2023-09-26" @default.
- W2063072330 title "Finite monadic algebras" @default.
- W2063072330 cites W1548377147 @default.
- W2063072330 cites W2050527500 @default.
- W2063072330 cites W233773926 @default.
- W2063072330 doi "https://doi.org/10.1090/s0002-9939-1958-0094308-5" @default.
- W2063072330 hasPublicationYear "1958" @default.
- W2063072330 type Work @default.
- W2063072330 sameAs 2063072330 @default.
- W2063072330 citedByCount "20" @default.
- W2063072330 countsByYear W20630723302013 @default.
- W2063072330 countsByYear W20630723302014 @default.
- W2063072330 countsByYear W20630723302016 @default.
- W2063072330 countsByYear W20630723302020 @default.
- W2063072330 countsByYear W20630723302021 @default.
- W2063072330 crossrefType "journal-article" @default.
- W2063072330 hasAuthorship W2063072330A5027785775 @default.
- W2063072330 hasBestOaLocation W20630723301 @default.
- W2063072330 hasConcept C10021369 @default.
- W2063072330 hasConcept C118615104 @default.
- W2063072330 hasConcept C136119220 @default.
- W2063072330 hasConcept C138354692 @default.
- W2063072330 hasConcept C14394260 @default.
- W2063072330 hasConcept C158465420 @default.
- W2063072330 hasConcept C167729594 @default.
- W2063072330 hasConcept C187455244 @default.
- W2063072330 hasConcept C188159880 @default.
- W2063072330 hasConcept C202444582 @default.
- W2063072330 hasConcept C203254541 @default.
- W2063072330 hasConcept C207764348 @default.
- W2063072330 hasConcept C2524010 @default.
- W2063072330 hasConcept C33923547 @default.
- W2063072330 hasConcept C39685927 @default.
- W2063072330 hasConcept C45503250 @default.
- W2063072330 hasConcept C78023250 @default.
- W2063072330 hasConcept C81518389 @default.
- W2063072330 hasConceptScore W2063072330C10021369 @default.
- W2063072330 hasConceptScore W2063072330C118615104 @default.
- W2063072330 hasConceptScore W2063072330C136119220 @default.
- W2063072330 hasConceptScore W2063072330C138354692 @default.
- W2063072330 hasConceptScore W2063072330C14394260 @default.
- W2063072330 hasConceptScore W2063072330C158465420 @default.
- W2063072330 hasConceptScore W2063072330C167729594 @default.
- W2063072330 hasConceptScore W2063072330C187455244 @default.
- W2063072330 hasConceptScore W2063072330C188159880 @default.
- W2063072330 hasConceptScore W2063072330C202444582 @default.
- W2063072330 hasConceptScore W2063072330C203254541 @default.
- W2063072330 hasConceptScore W2063072330C207764348 @default.
- W2063072330 hasConceptScore W2063072330C2524010 @default.
- W2063072330 hasConceptScore W2063072330C33923547 @default.
- W2063072330 hasConceptScore W2063072330C39685927 @default.
- W2063072330 hasConceptScore W2063072330C45503250 @default.
- W2063072330 hasConceptScore W2063072330C78023250 @default.
- W2063072330 hasConceptScore W2063072330C81518389 @default.
- W2063072330 hasLocation W20630723301 @default.
- W2063072330 hasOpenAccess W2063072330 @default.
- W2063072330 hasPrimaryLocation W20630723301 @default.
- W2063072330 hasRelatedWork W1021885806 @default.
- W2063072330 hasRelatedWork W1599847 @default.
- W2063072330 hasRelatedWork W1980490848 @default.
- W2063072330 hasRelatedWork W1986995369 @default.
- W2063072330 hasRelatedWork W2000174133 @default.
- W2063072330 hasRelatedWork W2005021983 @default.
- W2063072330 hasRelatedWork W2051531869 @default.
- W2063072330 hasRelatedWork W2106941449 @default.
- W2063072330 hasRelatedWork W2121190302 @default.
- W2063072330 hasRelatedWork W2140183057 @default.
- W2063072330 hasRelatedWork W2321951810 @default.
- W2063072330 hasRelatedWork W233773926 @default.
- W2063072330 hasRelatedWork W2482277870 @default.
- W2063072330 hasRelatedWork W2498493586 @default.
- W2063072330 hasRelatedWork W2531105734 @default.
- W2063072330 hasRelatedWork W2555814233 @default.
- W2063072330 hasRelatedWork W2808257774 @default.
- W2063072330 hasRelatedWork W2996497805 @default.
- W2063072330 hasRelatedWork W52296964 @default.
- W2063072330 hasRelatedWork W2289946635 @default.
- W2063072330 isParatext "false" @default.
- W2063072330 isRetracted "false" @default.
- W2063072330 magId "2063072330" @default.
- W2063072330 workType "article" @default.