FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4295337145> ?p ?o ?g. }

• W4295337145 abstract "The existing topological representation of an orthocomplemented lattice via the clopen orthoregular subsets of a Stone space depends upon Alexander’s Subbase Theorem, which asserts that a topological space X is compact if every subbasic open cover of X admits of a finite subcover. This is an easy consequence of the Ultrafilter Theorem—whose proof depends upon Zorn’s Lemma, which is well known to be equivalent to the Axiom of Choice. Within this work, we give a choice-free topological representation of orthocomplemented lattices by means of a special subclass of spectral spaces; choice-free in the sense that our representation avoids use of Alexander’s Subbase Theorem, along with its associated nonconstructive choice principles. We then introduce a new subclass of spectral spaces which we call upper Vietoris orthospaces in order to characterize up to homeomorphism (and isomorphism with respect to their orthospace reducts) the spectral spaces of proper lattice filters used in our representation. It is then shown how our constructions give rise to a choice-free dual equivalence of categories between the category of orthocomplemented lattices and the dual category of upper Vietoris orthospaces. Our duality combines Bezhanishvili and Holliday’s choice-free spectral space approach to Stone duality for Boolean algebras with Goldblatt and Bimbó’s choice-dependent orthospace approach to Stone duality for orthocomplemented lattices." @default.
• W4295337145 created "2022-09-13" @default.
• W4295337145 creator A5049812206 @default.
• W4295337145 creator A5051300487 @default.
• W4295337145 date "2022-08-07" @default.
• W4295337145 modified "2023-10-06" @default.
• W4295337145 title "Choice-free duality for orthocomplemented lattices by means of spectral spaces" @default.
• W4295337145 cites W1594693608 @default.
• W4295337145 cites W1986583380 @default.
• W4295337145 cites W1989314289 @default.
• W4295337145 cites W2024109696 @default.
• W4295337145 cites W2029827212 @default.
• W4295337145 cites W2047178405 @default.
• W4295337145 cites W2060849503 @default.
• W4295337145 cites W2082077150 @default.
• W4295337145 cites W2084330192 @default.
• W4295337145 cites W2091816659 @default.
• W4295337145 cites W2093397547 @default.
• W4295337145 cites W2108408993 @default.
• W4295337145 cites W2108957938 @default.
• W4295337145 cites W2135503406 @default.
• W4295337145 cites W2140351059 @default.
• W4295337145 cites W2234244214 @default.
• W4295337145 cites W2287405122 @default.
• W4295337145 cites W2315064349 @default.
• W4295337145 cites W2503179873 @default.
• W4295337145 cites W2888854719 @default.
• W4295337145 cites W3126996113 @default.
• W4295337145 cites W31810340 @default.
• W4295337145 cites W4211060194 @default.
• W4295337145 cites W4211144022 @default.
• W4295337145 cites W4237415506 @default.
• W4295337145 cites W4251799386 @default.
• W4295337145 cites W957426456 @default.
• W4295337145 doi "https://doi.org/10.1007/s00012-022-00789-y" @default.
• W4295337145 hasPublicationYear "2022" @default.
• W4295337145 type Work @default.
• W4295337145 citedByCount "3" @default.
• W4295337145 countsByYear W42953371452023 @default.
• W4295337145 crossrefType "journal-article" @default.
• W4295337145 hasAuthorship W4295337145A5049812206 @default.
• W4295337145 hasAuthorship W4295337145A5051300487 @default.
• W4295337145 hasBestOaLocation W42953371452 @default.
• W4295337145 hasConcept C114614502 @default.
• W4295337145 hasConcept C118615104 @default.
• W4295337145 hasConcept C121332964 @default.
• W4295337145 hasConcept C151797676 @default.
• W4295337145 hasConcept C153046414 @default.
• W4295337145 hasConcept C167729594 @default.
• W4295337145 hasConcept C177264268 @default.
• W4295337145 hasConcept C183992945 @default.
• W4295337145 hasConcept C18903297 @default.
• W4295337145 hasConcept C199360897 @default.
• W4295337145 hasConcept C201640847 @default.
• W4295337145 hasConcept C202444582 @default.
• W4295337145 hasConcept C24890656 @default.
• W4295337145 hasConcept C2524010 @default.
• W4295337145 hasConcept C2776230367 @default.
• W4295337145 hasConcept C2777759810 @default.
• W4295337145 hasConcept C2778023678 @default.
• W4295337145 hasConcept C2781204021 @default.
• W4295337145 hasConcept C33923547 @default.
• W4295337145 hasConcept C41008148 @default.
• W4295337145 hasConcept C46757340 @default.
• W4295337145 hasConcept C62520636 @default.
• W4295337145 hasConcept C81332173 @default.
• W4295337145 hasConcept C86803240 @default.
• W4295337145 hasConcept C87598191 @default.
• W4295337145 hasConceptScore W4295337145C114614502 @default.
• W4295337145 hasConceptScore W4295337145C118615104 @default.
• W4295337145 hasConceptScore W4295337145C121332964 @default.
• W4295337145 hasConceptScore W4295337145C151797676 @default.
• W4295337145 hasConceptScore W4295337145C153046414 @default.
• W4295337145 hasConceptScore W4295337145C167729594 @default.
• W4295337145 hasConceptScore W4295337145C177264268 @default.
• W4295337145 hasConceptScore W4295337145C183992945 @default.
• W4295337145 hasConceptScore W4295337145C18903297 @default.
• W4295337145 hasConceptScore W4295337145C199360897 @default.
• W4295337145 hasConceptScore W4295337145C201640847 @default.
• W4295337145 hasConceptScore W4295337145C202444582 @default.
• W4295337145 hasConceptScore W4295337145C24890656 @default.
• W4295337145 hasConceptScore W4295337145C2524010 @default.
• W4295337145 hasConceptScore W4295337145C2776230367 @default.
• W4295337145 hasConceptScore W4295337145C2777759810 @default.
• W4295337145 hasConceptScore W4295337145C2778023678 @default.
• W4295337145 hasConceptScore W4295337145C2781204021 @default.
• W4295337145 hasConceptScore W4295337145C33923547 @default.
• W4295337145 hasConceptScore W4295337145C41008148 @default.
• W4295337145 hasConceptScore W4295337145C46757340 @default.
• W4295337145 hasConceptScore W4295337145C62520636 @default.
• W4295337145 hasConceptScore W4295337145C81332173 @default.
• W4295337145 hasConceptScore W4295337145C86803240 @default.
• W4295337145 hasConceptScore W4295337145C87598191 @default.
• W4295337145 hasIssue "4" @default.
• W4295337145 hasLocation W42953371451 @default.
• W4295337145 hasLocation W42953371452 @default.
• W4295337145 hasOpenAccess W4295337145 @default.
• W4295337145 hasPrimaryLocation W42953371451 @default.
• W4295337145 hasRelatedWork W2064834740 @default.
• W4295337145 hasRelatedWork W3093324353 @default.

• next