Matches in SemOpenAlex for { <https://semopenalex.org/work/W1551020939> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1551020939 endingPage "384" @default.
- W1551020939 startingPage "355" @default.
- W1551020939 abstract "For a modal algebra (B,f), there are two natural ways to extend f to an operation on the MacNeille completion of B. The resulting structures are called the lower and upper MacNeille completions of (B,f). In this paper we consider lower and upper MacNeille completions for various varieties of modal algebras. In particular, we characterize the varieties of closure algebras and diagonalizable algebras that are closed under lower and upper MacNeille completions. We also introduce the variety of Sierpinski algebras, and show that although this variety is not closed under lower or upper MacNeille completions, it follows from the axiom of choice that each Sierpinski algebra has a MacNeille completion that is also a Sierpinski algebra, and that this result implies the Boolean ultrafilter theorem." @default.
- W1551020939 created "2016-06-24" @default.
- W1551020939 creator A5031772210 @default.
- W1551020939 creator A5034730206 @default.
- W1551020939 date "2007-01-01" @default.
- W1551020939 modified "2023-09-26" @default.
- W1551020939 title "MACNEILLE COMPLETIONS OF MODAL ALGEBRAS" @default.
- W1551020939 cites W1508875804 @default.
- W1551020939 cites W1547536896 @default.
- W1551020939 cites W1573177660 @default.
- W1551020939 cites W1579494268 @default.
- W1551020939 cites W1964405607 @default.
- W1551020939 cites W1964967513 @default.
- W1551020939 cites W1969285530 @default.
- W1551020939 cites W1974804354 @default.
- W1551020939 cites W1992205482 @default.
- W1551020939 cites W2002442167 @default.
- W1551020939 cites W2007096790 @default.
- W1551020939 cites W2024350733 @default.
- W1551020939 cites W2033831844 @default.
- W1551020939 cites W2033948719 @default.
- W1551020939 cites W2050527500 @default.
- W1551020939 cites W2056531162 @default.
- W1551020939 cites W2062867651 @default.
- W1551020939 cites W2068044462 @default.
- W1551020939 cites W2071467583 @default.
- W1551020939 cites W2137401798 @default.
- W1551020939 cites W2315064349 @default.
- W1551020939 cites W2315807605 @default.
- W1551020939 cites W2321942128 @default.
- W1551020939 cites W233773926 @default.
- W1551020939 hasPublicationYear "2007" @default.
- W1551020939 type Work @default.
- W1551020939 sameAs 1551020939 @default.
- W1551020939 citedByCount "6" @default.
- W1551020939 countsByYear W15510209392012 @default.
- W1551020939 countsByYear W15510209392013 @default.
- W1551020939 countsByYear W15510209392015 @default.
- W1551020939 crossrefType "journal-article" @default.
- W1551020939 hasAuthorship W1551020939A5031772210 @default.
- W1551020939 hasAuthorship W1551020939A5034730206 @default.
- W1551020939 hasConcept C105795698 @default.
- W1551020939 hasConcept C114614502 @default.
- W1551020939 hasConcept C118615104 @default.
- W1551020939 hasConcept C134306372 @default.
- W1551020939 hasConcept C136197465 @default.
- W1551020939 hasConcept C185592680 @default.
- W1551020939 hasConcept C188027245 @default.
- W1551020939 hasConcept C202444582 @default.
- W1551020939 hasConcept C27176706 @default.
- W1551020939 hasConcept C33923547 @default.
- W1551020939 hasConcept C40636538 @default.
- W1551020939 hasConcept C71139939 @default.
- W1551020939 hasConcept C87598191 @default.
- W1551020939 hasConceptScore W1551020939C105795698 @default.
- W1551020939 hasConceptScore W1551020939C114614502 @default.
- W1551020939 hasConceptScore W1551020939C118615104 @default.
- W1551020939 hasConceptScore W1551020939C134306372 @default.
- W1551020939 hasConceptScore W1551020939C136197465 @default.
- W1551020939 hasConceptScore W1551020939C185592680 @default.
- W1551020939 hasConceptScore W1551020939C188027245 @default.
- W1551020939 hasConceptScore W1551020939C202444582 @default.
- W1551020939 hasConceptScore W1551020939C27176706 @default.
- W1551020939 hasConceptScore W1551020939C33923547 @default.
- W1551020939 hasConceptScore W1551020939C40636538 @default.
- W1551020939 hasConceptScore W1551020939C71139939 @default.
- W1551020939 hasConceptScore W1551020939C87598191 @default.
- W1551020939 hasIssue "2" @default.
- W1551020939 hasLocation W15510209391 @default.
- W1551020939 hasOpenAccess W1551020939 @default.
- W1551020939 hasPrimaryLocation W15510209391 @default.
- W1551020939 hasRelatedWork W1508875804 @default.
- W1551020939 hasRelatedWork W1539618905 @default.
- W1551020939 hasRelatedWork W1547536896 @default.
- W1551020939 hasRelatedWork W1992205482 @default.
- W1551020939 hasRelatedWork W2007160239 @default.
- W1551020939 hasRelatedWork W2011700761 @default.
- W1551020939 hasRelatedWork W2015104417 @default.
- W1551020939 hasRelatedWork W2023648368 @default.
- W1551020939 hasRelatedWork W2030780144 @default.
- W1551020939 hasRelatedWork W2033831844 @default.
- W1551020939 hasRelatedWork W2033948719 @default.
- W1551020939 hasRelatedWork W2053648551 @default.
- W1551020939 hasRelatedWork W2137401798 @default.
- W1551020939 hasRelatedWork W2138971738 @default.
- W1551020939 hasRelatedWork W2263967233 @default.
- W1551020939 hasRelatedWork W2610670723 @default.
- W1551020939 hasRelatedWork W2897526535 @default.
- W1551020939 hasRelatedWork W2963277410 @default.
- W1551020939 hasRelatedWork W2963697244 @default.
- W1551020939 hasRelatedWork W2575222808 @default.
- W1551020939 hasVolume "33" @default.
- W1551020939 isParatext "false" @default.
- W1551020939 isRetracted "false" @default.
- W1551020939 magId "1551020939" @default.
- W1551020939 workType "article" @default.